|
" Dependable computing--EDCC-1 : "
Klaus Echtle, Dieter Hammer, David Powell, eds.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
737468
|
| Doc. No
|
:
|
b557337
|
| Main Entry
|
:
|
Klaus Echtle, Dieter Hammer, David Powell, eds.
|
| Title & Author
|
:
|
Dependable computing--EDCC-1 : : first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings\ Klaus Echtle, Dieter Hammer, David Powell, eds.
|
| Publication Statement
|
:
|
Berlin ; New York: Springer-Verlag, ©1994.
|
| Series Statement
|
:
|
Lecture notes in computer science, 852.
|
| Page. NO
|
:
|
xvii, 618 pages : illustrations ; 24 cm
|
| ISBN
|
:
|
0387584269
|
|
|
:
|
: 3540584269
|
|
|
:
|
: 9780387584263
|
|
|
:
|
: 9783540584261
|
| Contents
|
:
|
A model for adaptive fault-tolerant systems.- Designing secure and reliable applications using fragmentation-redundancy-scattering: an object-oriented approach.- A fault-tolerant mechanism for simple controllers.- Formal semantics for Ward & Mellor's transformation schemas and the specification of fault-tolerant systems.- Formal reasoning on fault coverage of fault tolerant techniques: A case study.- On performability modeling and evaluation of software fault tolerance structures.- Optimal design of fault-tolerant soft-real-time systems with imprecise computations.- Computational restrictions for SPN with generally distributed transition times.- Test generation for digital systems based on alternative graphs.- The Configuration Ratio: A model for simulating CMOS intra-gate bridge with variable logic thresholds.- Coverage of delay faults: When 13% and 99% mean the same.- RIFLE: A general purpose pin-level fault injector.- On single event upset error manifestation.- Injecting faults into environment simulators for testing safety critical software.- On statistical structural testing of synchronous data flow programs.- Hierarchical test analysis of VLSI circuits for random BIST.- Zero aliasing compression based on groups of weakly independent outputs in circuits with high complexity for two fault models.- Systematic and design diversity - Software techniques for hardware fault detection.- Detection of permanent hardware faults of a floating point adder by pseudoduplication.- MLDD(Multi-Layered Design Diversity) architecture for achieving high design fault tolerance capabilities.- Reconfiguration and checkpointing in massively parallel systems.- An approach for hierarchical system level diagnosis of massively parallel computers combined with a simulation-based method for dependability analysis.- Hierarchical checking of multiprocessors using watchdog processors.- Dependability: The challenge for the future of computing and communication technologies.- Position paper.- Position paper.- Position paper.- Some lessons from the SW2000 workshop.- Dependable computing and its industrial use.- An effective reconfiguration process for fault-tolerant VLSI/WSI array processors.- Concurrent error detection in fast FNT networks.- Feasible regions quantify the configuration power of arrays with multiple fault types.- Software reliability analysis of three successive generations of a Switching System.- Performance of consistent checkpointing in a modular operating system: Results of the FTM experiment.- Ring-banyan network: A fault tolerant multistage interconnection network and its fault diagnosis.- Reconfiguration of faulty hypercubes.- Fault-tolerance on boolean n-cube architectures.- Relative signatures for fault tolerance and their implementation.- GatoStar: A fault tolerant load sharing facility for parallel applications.- A hierarchical membership protocol for synchronous distributed systems.
|
| Abstract
|
:
|
This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications;
|
| Subject
|
:
|
Electronic digital computers -- Reliability -- Congresses.
|
| Subject
|
:
|
Fault-tolerant computing -- Congresses.
|
| Subject
|
:
|
Tolérance aux fautes (Informatique) -- Congrès.
|
| LC Classification
|
:
|
QA76.9.F38K538 1994
|
| Added Entry
|
:
|
D Hammer
|
|
|
:
|
David Powell
|
|
|
:
|
Klaus Echtle
|
| Parallel Title
|
:
|
EDCC-1
|
| |