FTCS-23: Digest of Papers : the Twenty-third International Symposium on Fault-Tolerant Computing, June 22-24, 1993, Toulouse, France |
Contents
Application Transparent Fault Management in FaultTolerant Mach | 10 |
Faults Symptoms and Software Fault Tolerance in the Tandem GUARDIAN90 Operating System | 20 |
Tuesday June | 22 |
Copyright | |
58 other sections not shown
Common terms and phrases
ABAP adder algorithm application architecture array assume behavior benchmark buffer byte C-testable checkpoint circuit codeword components consider correct coverage cycle data items defined denote diagnosis disk disk arrays distributed entry error detection estimate evaluation example execution EXOP failure fault coverage fault detection fault free fault injection fault management fault model fault tolerance fault-free node fault-tolerant systems faultless faulty nodes function graph hardware IEEE IEEE Trans implementation input latency logic machine Markov chain matrix memory message logging mode module multicast node operating system output overhead packet parameters parity performance probability Proc processor propagation protocol recovery redundant reliability replicas routing scheme Section sequence simulation software fault space specification stuck-at faults supergates Table techniques test set Theorem tion transient transient fault transition tree Unix validation variables vector virtual channels