Cover Image

Design of Dependable Computing Systems /

Show other versions (1)

Today computing systems are more and more complex and they assume more and more responsibilities in all sectors of human activity. Unfortunately, many faults can harm the development or the use of these products. Destructive mechanisms transform faults into errors and finally failures altering the d...

Full description

Bibliographic Details
Main Author:	Geffroy, Jean-Claude
Corporate Author:	SpringerLink (Online service)
Other Authors:	Motet, G.
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2002.
Subjects:	Computer science. Software engineering. Computer-aided design. Computer engineering. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Retargetable Code Generation for Digital Signal Processors /
by: Leupers, Rainer
Published: (1997)

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

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

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

Information Management for Engineering Design /
by: Katz, Randy H.
Published: (1985)

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

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

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

Multi-Level Simulation for VLSI Design /
by: Hill, Dwight D.
Published: (1986)

Testing and Reliable Design of CMOS Circuits /
by: Jha, Niraj K.
Published: (1990)

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

Unified low-power design flow for data-dominated multi-media and telecom applications : Based on selected partner contributions of the European Low Power Initiative for Electronic System Design of the European Community ESPRIT4 programme /
by: Catthoor, Francky
Published: (2000)

Integrating Functional and Temporal Domains in Logic Design : the False Path Problem and Its Implications /
by: McGeer, Patrick C.
Published: (1991)

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

Intelligent CAD Systems I : Theoretical and Methodological Aspects /
by: Hagen, Paul J. W.
Published: (1987)

Analog CMOS Filters for Very High Frequencies /
by: Nauta, Bram
Published: (1993)

The Boundary-Scan Handbook /
by: Parker, Kenneth P.
Published: (1992)

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

Neural Models and Algorithms for Digital Testing /
by: Chakradhar, Srimat T.
Published: (1991)

Application-Driven Architecture Synthesis /
by: Catthoor, Francky
Published: (1993)

Reasoning in Boolean Networks : Logic Synthesis and Verification using Testing Techniques /
by: Kunz, Wolfgang
Published: (1997)

Hierarchical Modeling for VLSI Circuit Testing /
by: Bhattacharya, Debashis
Published: (1990)

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

Field-Programmable Gate Arrays /
by: Brown, Stephen D.
Published: (1992)

Assessing Fault Model and Test Quality /
by: Butler, Kenneth M.
Published: (1992)

A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems /
by: Powell, David
Published: (2001)

Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems /
by: Thoen, Filip
Published: (2000)

Specification of a CAD * I Neutral File for CAD Geometry : Wireframes, Surfaces, Solids Version 3.2 /
by: Schlechtendahl, E. G.
Published: (1987)

Specification of a CAD * I Neutral File for CAD Geometry : Wireframes, Surfaces, Solids Version 3.3 /
by: Schlechtendahl, E. G.
Published: (1988)

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)

The Annealing Algorithm /
by: Otten, R. H. J. M.
Published: (1989)

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

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

Intelligent CAD Systems III : Practical Experience and Evaluation /
by: Hagen, Paul J. W.
Published: (1991)

Towards One-Pass Synthesis /
by: Drechsler, Rolf
Published: (2002)

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

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

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

Model Based Fuzzy Control : Fuzzy Gain Schedulers and Sliding Mode Fuzzy Controllers /
by: Palm, Rainer
Published: (1997)