Cover Image

Design and Analysis of Distributed Embedded Systems : IFIP 17th World Computer Congress - TC10 Stream on Distributed and Parallel Embedded Systems (DIPES 2002) August 25-29, 2002, Montréal, Québec, Canada /

Design and Analysis of Distributed Embedded Systems is organized similar to the conference. Chapters 1 and 2 deal with specification methods and their analysis while Chapter 6 concentrates on timing and performance analysis. Chapter 3 describes approaches to system verification at different levels o...

Full description

Bibliographic Details
Main Author:	Kleinjohann, Bernd
Corporate Author:	SpringerLink (Online service)
Other Authors:	Kim, K. H., Kleinjohann, Lisa, Rettberg, Achim
Format:	eBook
Language:	English
Published:	Boston, MA : Springer US, 2002.
Series:	IFIP — The International Federation for Information Processing ; 91.
Subjects:	Computer science. Computer Communication Networks. Computer-aided design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Architecture and Design of Distributed Embedded Systems : IFIP WG10.3/WG10.4/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES 2000) October 18-19, 2000, Schloß Eringerfeld, Germany /
by: Kleinjohann, Bernd
Published: (2001)

Distributed and Parallel Embedded Systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October 5-6, 1998, Schlo€ Eringerfeld, Germany /
by: Rammig, Franz J.
Published: (1999)

Design and analysis of distributed embedded systems : IFIP 17th World Computer Congress : TC10 stream on distributed and parllel embedded systems (DIPES 2002), August 25-29, 2002, Montréal, Québec, Canada /
Published: (2002)

Advanced Techniques for Embedded Systems Design and Test /
by: López, Juan Carlos
Published: (1998)

Behavioral Intervals in Embedded Software : Timing and Power Analysis of Embedded Real-Time Software Processes /
by: Wolf, Fabian
Published: (2002)

Data Access and Storage Management for Embedded Programmable Processors /
by: Catthoor, Francky
Published: (2002)

Code Optimization Techniques for Embedded Processors : Methods, Algorithms, and Tools /
by: Leupers, Rainer
Published: (2000)

Computer-Aided Architectural Design. INTERCONNECTIONS: Co-computing Beyond Boundaries : 20th International Conference, CAAD Futures 2023, Delft, The Netherlands, July 5-7, 2023, Selected Papers /
Published: (2023)

Computer-Aided Architectural Design. Design Imperatives: The Future is Now : 19th International Conference, CAAD Futures 2021, Los Angeles, CA, USA, July 16-18, 2021, Selected Papers /
Published: (2022)

Custom Memory Management Methodology : Exploration of Memory Organisation for Embedded Multimedia System Design /
by: Catthoor, Francky
Published: (1998)

Java Microarchitectures /
by: Narayanan, Vijaykrishnan
Published: (2002)

Computer Aided Design : Fundamentals and System Architectures /
by: Encarnação, José Luis
Published: (1983)

Open System Architecture for CIM.
Published: (1989)

System Design Automation : Fundamentals, Principles, Methods, Examples /
by: Merker, Renate
Published: (2001)

Design of Dependable Computing Systems /
by: Geffroy, Jean-Claude
Published: (2002)

Communication Systems : The State of the Art IFIP 17th World Computer Congress - TC6 Stream on Communication Systems: The State of the Art August 25-30, 2002, Montréal, Québec, Canada /
by: Chapin, A. Lyman
Published: (2002)

Advances in Production Management Systems. Smart Manufacturing for Industry 4.0 : IFIP WG 5.7 International Conference, APMS 2018, Seoul, Korea, August 26-30, 2018, Proceedings, Part II /
Published: (2018)

Distributed and parallel embedded systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98), October 5-6, 1999, Schlo† Eringerfeld, Germany /
Published: (1999)

Computer Aided Optimal Design: Structural and Mechanical Systems /
by: Mota Soares, Carlos A.
Published: (1987)

Interactive System Identification: Prospects and Pitfalls /
by: Bohlin, Torsten
Published: (1991)

Design methods and applications for distributed embedded systems : IFIP 18th World Computer Congress : TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2004), 22-27 August 2004, Toulouse, France /
Published: (2004)

Principles of VLSI System Planning : a Framework for Conceptual Design /
by: Dewey, Allen M.
Published: (1990)

CAD Systems Development : Tools and Methods /
by: Roller, Dieter
Published: (1997)

Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits /
by: Michael, Christopher, Dr
Published: (1993)

CAST Methods in Modelling : Computer Aided Systems Theory for the Design of Intelligent Machines /
by: Pichler, Franz, Dr
Published: (1992)

Advances in Computer Technology and Applications in Japan /
by: Murthy, T. K. S.
Published: (1991)

Power Aware Computing /
by: Graybill, Robert
Published: (2002)

Analog Circuit Design : Operational Amplifiers, Analog to Digital Convertors, Analog Computer Aided Design /
by: Huijsing, Johan H., 1938-
Published: (1993)

Distributed embedded systems : design, middleware and resources : IFIP 20th World Computer Congress, TC10 Working Conference on Distributed and Parallel Embedded Systems (DIPES 2008), September 7-10, 2008, Milano, Italy /
Published: (2008)

Embedded, everywhere : a research agenda for networked systems of embedded computers.
Published: (2001)

CAM : Developments in Computer-Integrated Manufacturing /
by: Kochan, D.
Published: (1985)

Computer Vision: Theory and Industrial Applications /
by: Torras, Carme
Published: (1992)

Advances on Intelligent Informatics and Computing : Health Informatics, Intelligent Systems, Data Science and Smart Computing /
Published: (2022)

Geometric Modelling /
by: Brunnett, G. (Guido)
Published: (2001)

Logic Minimization Algorithms for VLSI Synthesis /
by: Brayton, Robert K.
Published: (1984)

Relaxation Techniques for the Simulation of VLSI Circuits /
by: White, Jacob K.
Published: (1986)

Product Data Interfaces in CAD/CAM Applications : Design, Implementation and Experiences /
by: Encarnação, José Luis
Published: (1986)

Introduction to Analog VLSI Design Automation /
by: Ismail, Mohammed
Published: (1990)

Yield Simulation for Integrated Circuits /
by: Walker, Duncan Moore Henry
Published: (1987)

IDDQ Testing of VLSI Circuits /
by: Gulati, Ravi K.
Published: (1993)