عنوان

Dependable computing--EDCC-1 :

شابک

0387584269

شابک

3540584269

شابک

9780387584263

شابک

9783540584261

شماره

b557337

عنوان اصلي

Dependable computing--EDCC-1 :

نام عام مواد

[Book]

ساير اطلاعات عنواني

first European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994 : proceedings

نام نخستين پديدآور

Klaus Echtle, Dieter Hammer, David Powell, eds.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1994.

نام خاص و کميت اثر

xvii, 618 pages : illustrations ; 24 cm

عنوان فروست

Lecture notes in computer science, 852.

متن يادداشت

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.

متن يادداشت

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;

عنوان اصلي به زبان ديگر

EDCC-1

موضوع مستند نشده

Electronic digital computers -- Reliability -- Congresses.

موضوع مستند نشده

Fault-tolerant computing -- Congresses.

موضوع مستند نشده

Tolérance aux fautes (Informatique) -- Congrès.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Klaus Echtle, Dieter Hammer, David Powell, eds.

مستند نام اشخاص تاييد نشده

D Hammer

مستند نام اشخاص تاييد نشده

David Powell

مستند نام اشخاص تاييد نشده

Klaus Echtle

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y