Abstract is missing.
- Availability of Commercial Parallel SystemsJen-Yao Chung, Nicholas S. Bowen, Mei-Chen Hsueh, Ravishankar K. Iyer, Mitsuhiro Kishimoto, Luiz A. Laranjeira. 2-4
- Reconfiguration and Transient Recovery in State Machine ArchitecturesJohn M. Rushby. 6-15
- Recoverable Mobile Environment: Design and Trade-Off AnalysisDhiraj K. Pradhan, P. Krishna, Nitin H. Vaidya. 16-25
- A Fault Simulation Method for Crosstalk Faults in Synchronous Sequential CircuitsNoriyoshi Itazaki, Yasutaka Idomoto, Kozo Kinoshita. 38-43
- Random Pattern Testing for Sequential Circuits RevisitedLama Nachman, Kewal K. Saluja, Shambhu J. Upadhyaya, Robert Reuse. 44-52
- Dynamic Test Compaction for Synchronous Sequential Circuits using Static Compaction TechniquesIrith Pomeranz, Sudhakar M. Reddy. 53-61
- FT-NFS: An Efficient Fault-Tolerant NFS Server Designed for Off-the-Shelf WorkstationsNadine Peyrouze, Gilles Muller. 64-73
- Design and Evaluation of Fault-Tolerant Shared File System for Cluster SystemsShinji Sumimoto. 74-83
- Multiple Fault Diagnosis in Sequential Circuits Using Sensitizing Sequence PairsNobuhiro Yanagida, Hiroshi Takahashi, Yuzo Takamatsu. 86-95
- Fault Diagnosis Using State InformationVamsi Boppana, Ismed Hartanto, W. Kent Fuchs. 96-103
- Modeling the Dependability of CAUTRA, a Subset of the French Air Traffic Control SystemKarama Kanoun, Marie Borrel, Thierry Morteveille, Alain Peytavin. 106-115
- A New Methodology for Calculating Distributions of Reward Accumulated During a Finite IntervalMuhammad A. Qureshi, William H. Sanders. 116-125
- Algebraic Techniques for the Optimization of Control Flow CheckingGuevara Noubir, Berthe Y. Choueiry. 128-137
- Executable Assertions and Timed Traces for On-Line Software Error DetectionChristophe Rabéjac, Jean-Paul Blanquart, Jean-Pierre Queille. 138-147
- Dependability of Railway Control SystemsJean Arlat, Nobuyasu Kanekawa, Arturo M. Amendola, Jean-Luis Dufour, Yuji Hirao, Joseph A. Profeta III. 150-155
- A Multiple Bus Broadcast Protocol Resilient to Non-Cooperative Byzantine FaultsKlaus Echtle, Asif Masum. 158-167
- Consensus Service: A Modular Approach for Building Agreement Protocols in Distributed SystemsRachid Guerraoui, André Schiper. 168-177
- Optimal Two-Level Unequal Error Control Codes for Computer SystemsTepparit Ritthongpitak, Masato Kitakami, Eiji Fujiwara. 190-199
- Symbol Error Correctin Codes for Memory ApplicationsC. L. Chen. 200-207
- Limitations of VLSI Implementation of Delay-Insensitive CodesVenkatesh Akella, Nitin H. Vaidya, G. Robert Redinbo. 208-217
- Verification of Fault Tolerance and Real TimeZhiming Liu, Mathai Joseph. 220-229
- A Framework for Conformance Testing of Systems Communicating through RendezvousQ. M. Tan, Alexandre Petrenko, Gregor von Bochmann. 230-238
- Mitigating Operator-Induced Unavailability by Matching Imprecise QueriesRoy A. Maxion, Philip A. Syme. 240-249
- Supporting Nondeterministic Execution in Fault-Tolerant SystemsJ. Hamilton Slye, E. N. Elnozahy. 250-259
- Reliable Broadcasting in Product Networks with Byzantine FaultsFeng Bao, Yoshihide Igarashi. 262-271
- Hardware-Efficient and Highly-Reconfigurable 4- and 2-Track: Fault-Tolerant Designs for Mesh-Connected MulticomputersNihar R. Mahapatra, Shantanu Dutt. 272-281
- Spare Processor Allocation for Fault Tolerance in Torus-Based MulticomputersMyung M. Bae, Bella Bose. 282-291
- A Comparative Analysis of Event Tupling SchemesMichael F. Buckley, Daniel P. Siewiorek. 294-303
- Generation of Error Set that Emulates Software Faults Based on Field DataJörgen Christmansson, Ram Chillarege. 304-313
- An Approach towards Benchmarking of Fault-Tolerant Commercial SystemsTimothy K. Tsai, Ravishankar K. Iyer, Doug Jewitt. 314-323
- The Design of Totally Self-Checking Checkers for Classes of Hadamard CodesNaoki Wakita, Ken-ich Takagi, Yoshihiro Iwadare. 326-335
- Behavioral Synthesis of Fault Secure Controller?Datapaths using Aliasing Probability AnalysisGanesh Lakshminarayana, Anand Raghunathan, Niraj K. Jha. 336-345
- Efficient Service of Rediscovered Software ProblemsInhwan Lee, Gilbert Pitt, Ravishankar K. Iyer. 348-352
- Formal Methods for the Validation of Fault Tolerance in Autonomous SpacecraftS. Ayache, Eric Conquet, Philippe Humbert, Carlos Rodriguez, Joseph Sifakis, R. Gerlich. 353-357
- Compiler-Assisted Generation of Error-Detecting Parallel ProgramsAmber Roy-Chowdhury, Prithviraj Banerjee. 360-369
- Highly Available Directory Services in DCEB. Acevedo, L. Bahler, E. N. Elnozahy, V. Ratan, M. E. Segal. 387-391
- Experimental Evaluation of the Fail-Silent Behaviour in Programs with Consistency ChecksMário Zenha Rela, Henrique Madeira, João Gabriel Silva. 394-403
- Testing of Fault-Tolerant and Real-Time Distributed Systems via Protocol Fault InjektionScott Dawson, Farnam Jahanian, Todd Mitton, Teck-Lee Tung. 404-414
- Experimental Assessment of Parallel SystemsJoão Gabriel Silva, Joao Carreira, Henrique Madeira, Diamantino Costa, Francisco Moreira. 415-424
- Self-Checking and Fail-Safe LSIs by Intra-Chip RedundancyNobuyasu Kanekawa, Makoto Nohmi, Yoshimichi Satoh, Hiroshi Satoh. 426-430
- Technologies for Designing Dependable A/D ConvertersKyoya Kawamura, Takashi Matsubara, Yoshiaki Koga. 431-435
- Two Error-Detecting and Correcting Circuits for Space ApplicationsRolf Johansson. 436-439