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