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

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

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

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)

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

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

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)

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

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

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

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

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

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

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

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

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

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.3 /
by: Schlechtendahl, E. G.
Published: (1988)

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

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)

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

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

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

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

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

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

Signal Processing and Pattern Recognition in Nondestructive Evaluation of Materials /
by: Chen, C. H.
Published: (1988)