E-Books durchsuchen

Foundations of Dependable Computing [1994]

1
Adaptive System-Level Diagnosis in Real-Time
2
Refinement for Fault-Tolerance: An Aircraft Hand-off Protocol
3
Language Support for Fault-Tolerant Parallel and Distributed Programming
4
Design and Analysis of Algorithm-Based Fault Tolerant Multiprocessor Systems
5
Fault-Tolerance and Efficiency in Massively Parallel Algorithms
6
Use of Imprecise Computation to Enhance Dependability of Real-Time Systems
7
Analytic Redundancy for Software Fault-Tolerance In Hard Real-Time Systems
3
A Consensus-Based Framework and Model for the Design of Responsive Computing Systems
3
Self-Checking and Self-Exercising Design for Hierarchic Long-Life Fault-Tolerant Systems
23
A Methodology for Adapting to Patterns of Faults
35
Design of Self-Checking Processors Using Efficient Berger Check Prediction Logic
63
Military Fault Tolerant Requirements
71
Network Fault Detection and Recovery in the Chaos Router
77
Derivation and Use of Deadline Information in Real-Time Control Systems
87
Real-Time Fault-Tolerant Communication in Distributed Computing Systems
113
Software-Implemented Fault Injection of Transient Hardware Errors
135
Speculative Execution and Compiler-Assisted Multiple Instruction Recovery
159
Compiler Assisted Synthesis of Algorithm-Based Checking in Multiprocessors1
169
REACT: An Integrated Tool for the Design of Dependable Computing Systems
195
Measurement-Based Dependability Evaluation of Operational Computer Systems
215
Application Transparent Fault Management in Fault Tolerant Mach
235
Modeling and Evaluation of Opto-Electronic Computing Systems
243
Constructing Dependable Distributed Systems Using Consul
265
Enhancing Fault Tolerance of Real-Time Systems through Time Redundancy
Feedback