+612 9045 4394
 
CHECKOUT
$7.95 Delivery per order to Australia and New Zealand
100% Australian owned
Over a hundred thousand in-stock titles ready to ship
Dependable Computing - Edcc-1 : First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings - Klaus Echtle

Dependable Computing - Edcc-1

First European Dependable Computing Conference, Berlin, Germany, October 4-6, 1994. Proceedings

By: Klaus Echtle (Editor), Darrell P. Hammer (Editor), David Powell (Editor)

Paperback Published: 21st September 1994
ISBN: 9783540584261
Number Of Pages: 625

Share This Book:

Paperback

$181.29
or 4 easy payments of $45.32 with Learn more
Ships in 15 business days

Earn 363 Qantas Points
on this Book

This book presents the proceedings of the First European Dependable Computing Conference (EDCC-1), held in Berlin, Germany, in October 1994. EDCC is the merger of two former European events on dependable computing.
The volume comprises 34 refereed full papers selected from 106 submissions. The contributions address all current aspects of dependable computing and reflect the state of the art in dependable systems research and advanced applications; among the topics covered are hardware and software reliability, safety-critical and secure systems, fault-tolerance and detection, verification and validation, formal methods, hardware and software testing, and parallel and distributed systems.

A Model for Adaptive Fault-Tolerant Systemsp. 3
Designing Secure and Reliable Applications using Fragmentation-Redundancy-Scattering: An Object-Oriented Approachp. 21
A Fault-Tolerant Mechanism for Simple Controllersp. 39
Formal Semantics for Ward and Mellor's Transformation Schemas and the Specification of Fault-Tolerant Systemsp. 59
Formal Reasoning on Fault Coverage of Fault Tolerant Techniques: a Case Studyp. 77
On Performability Modeling and Evaluation of Software Fault Tolerance Structuresp. 97
Optimal Design of Fault-Tolerant Soft-Real-Time Systems with Imprecise Computationsp. 115
Computational Restrictions for SPN with Generally Distributed Transition Timesp. 131
Test Generation for Digital Systems Based on Alternative Graphsp. 151
The Configuration Ratio: A Model for Simulating CMOS Intra-Gate Bridge with Variable Logic Thresholdsp. 165
Coverage of Delay Faults: When 13% and 99% Mean the Samep. 178
RIFLE: A General Purpose Pin-level Fault Injectorp. 199
On Single Event Upset Error Manifestationp. 217
Injecting Faults into Environment Simulators for Testing Safety Critical Softwarep. 235
On Statistical Structural Testing of Synchronous Data Flow Programsp. 250
Hierarchical Test Analysis of VLSI Circuits for Random BISTp. 271
Zero Aliasing Compression Based on Groups of Weakly Independent Outputs in Circuits with High Complexity for Two Fault Modelsp. 289
Systematic and Design Diversity - Software Techniques for Hardware Fault Detectionp. 309
Detection of Permanent Hardware Faults of a Floating Point Adder by Pseudoduplicationp. 327
MLDD (Multi-Layered Design Diversity) Architecture for Achieving High Design Fault Tolerance Capabilitiesp. 336
Reconfiguration and Checkpointing in Massively Parallel Systemsp. 353
An Approach for Hierarchical System Level Diagnosis of Massively Parallel Computers Combined with a Simulation-Based Method for Dependability Analysisp. 371
Hierarchical Checking of Multiprocessors Using Watchdog Processorsp. 386
An Effective Reconfiguration Process for Fault-Tolerant VLSI/WSI Array Processorsp. 421
Concurrent Error Detection in Fast FNT Networksp. 439
Feasible Regions Quantify the Configuration Power of Arrays with Multiple Fault Typesp. 453
Software Reliability Analysis of Three Successive Generations of a Switching Systemp. 473
Performance of Consistent Checkpointing in a Modular Operating System: Results of the FTM Experimentp. 491
Ring-Banyan Network: A Fault Tolerant Multistage Interconnection Network and its Fault Diagnosisp. 511
Reconfiguration of Faulty Hypercubesp. 529
Fault-Tolerance on Boolean n-Cube Architecturesp. 546
Relative Signatures for Fault Tolerance and their Implementationp. 563
GATOSTAR: A Fault Tolerant Load Sharing Facility for Parallel Applicationsp. 581
A Hierarchical Membership Protocol for Synchronous Distributed Systemsp. 599
Author Indexp. 617
Table of Contents provided by Blackwell. All Rights Reserved.

ISBN: 9783540584261
ISBN-10: 3540584269
Series: Lecture Notes in Computer Science
Audience: General
Format: Paperback
Language: English
Number Of Pages: 625
Published: 21st September 1994
Publisher: Springer-Verlag Berlin and Heidelberg Gmbh & Co. Kg
Country of Publication: DE
Dimensions (cm): 23.39 x 15.6  x 3.3
Weight (kg): 0.89

Earn 363 Qantas Points
on this Book