Abstract is missing.
- Protecting Processing Elements in Communication SatellitesG. Robert Redinbo. 8-17
- Replicated Distributed Process in ManethoE. N. Elnozahy, Willy Zwaenepoel. 18-27
- Active Replication in Delta-4Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron. 28-37
- Design for Fault-Tolerance in System ES/9000 Model 900Lisa Spainhower, Jack Isenberg, Ram Chillarege, Joseph Berding. 38-47
- Dynamic Reconfiguration of CSP Programs for Fault TolerancePankaj Jalote. 50-56
- Compiler-Assisted Static Checkpoint InsertionJunsheng Long, W. Kent Fuchs, Jacob A. Abraham. 58-65
- Branch Recovery with Compiler-Assisted Multiple Instruction RetryNeal J. Alewine, Shyh-Kwei Chen, Chung-Chi Jim Li, W. Kent Fuchs, Wen-mei W. Hwu. 66-73
- Transis: A Communication Subsystem for High AvailabilityYair Amir, Danny Dolev, Shlomo Kramer, Dalia Malki. 76-84
- Fault-Tolerant Real-Time Communication in Distributed Computing SystemsQin Zheng, Kang G. Shin. 86-93
- Design of Fully Exercised SFS/SCD Logic NetworksTakashi Nanya, Shin ichi Hatakenaka, Ryuichi Onoo. 96-103
- Design of Static CMOS Self-Checking Circuits using Built-In Current SensingJien-Chung Lo, James C. Daly, Michael Nicolaidis. 104-111
- Multiple Signature Analysis: A Framework for Built-In Self-DiagnosticMark G. Karpovsky, Saeed M. Chaudhry, Lev B. Levitin. 112-119
- Design and Analysis of Multibus Systems Using Projective GeometryDov Bulka, Joanne Bechta Dugan. 122-129
- Uniformization and Exponential Transformation: Techniques for Fast Simulation of Highly Dependable Non-Markovian SystemsVictor F. Nicola, Philip Heidelberger, Perwez Shahabuddin. 130-139
- Design and Modeling of Clustered RAIDArif Merchant, Philip S. Yu. 140-149
- Fast Simulation of Markovian Reliability/Availability Models with General Repair PoliciesSandeep Juneja, Perwez Shahabuddin. 150-159
- Free Dimensions - An Effective Approach to Achieving Fault Tolerance in HypercubesC. S. Raghavendra, Pei-Ji Yang, Sing-Ban Tien. 170-177
- Optimal Ring Embedding in Hypercubes with Faulty LinksShahram Latifi, Si-Qing Zheng, Nader Bagherzadeh. 178-184
- Routing in Modular Fault Tolerant Multiprocessor SystemsM. Sultan Alam, Rami G. Melhem. 185-193
- Performance Bounds in List Scheduling of Redundant Tasks on Multi-ProcessorsDar-Tzen Peng. 196-203
- Scheduling Message Processing for Reducing Rollback PropagationYi-Min Wang, W. Kent Fuchs. 204-211
- Reliability Modeling of Large Fault-Tolerant SystemsNeeraj Suri, M. M. Hugue, Chris J. Walter. 212-220
- Models for Time Coalescence in Event LogsJeffery P. Hansen, Daniel P. Siewiorek. 221-227
- A Divide-And-Conquer Approach to Test Generation for Large Synchronous Sequential CircuitsIrith Pomeranz, Sudhakar M. Reddy. 230-237
- Finite State Machine Testing Based on Growth and Dissappearance FaultsMandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal. 238-245
- An Efficient Test Generation Algorithm Based on Search State DominanceTakayuli Fujino, Hideo Fujiwara. 246-253
- Testing with Correlated Test VectorsSilvio Bou-Ghazale, Peter N. Marinos. 254-262
- Removal of Redundancy in Logic Circuits under Classification of Undetectable FaultsSeiji Kajihara, Haruko Shiba, Kozo Kinoshita. 263-270
- Incorporating Testability Considerations in High-Level SysthesisAshutosh Mujumdar, Kewal K. Saluja, Rajiv Jain. 272-279
- Synthesis of Multi-Level Combinational Circuits for Complete Robust Path Delay Fault TestabilityNiraj K. Jha, Irith Pomeranz, Sudhakar M. Reddy, Robert J. Miller. 280-287
- A Structural Technique For Fault-Protection in Asynchronous InterfacesAlexandre Yakovlev. 288-295
- On Combining Off-Line BIST and On-Line Control Flow CheckingBernhard Eschermann. 298-305
- Direct Methods for Synthesis of Self-Monitoring State MachinesScott H. Robinson, John Paul Shen. 306-315
- A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in WatchdogJoakim Ohlsson, Marcus Rimén, Ulf Gunneflo. 316-325
- Two Software Techniques for On-line Error DetectionGhassem Miremadi, Johan Karlsson, Ulf Gunneflo, Jan Torin. 328-335
- FERRARI: A Tool for The Validation of System Dependability PropertiesGhani A. Kanawati, Nasser A. Kanawati, Jacob A. Abraham. 336-344
- Fault Injection for the Formal Testing of Fault ToleranceDimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet. 345-354
- A New Statistical Approach for Fault-Tolerant VLSI SystemsCharles H. Stapper. 356-365
- Chip Test Optimization Using Defect Clustering InformationAdit D. Singh, C. Mani Krishna. 366-373
- Wafer Testing with Pairwise ComparisonsKaiyuan Huang, Vinod K. Agarwal, Laurence E. LaForge. 374-383
- Failure Mode Assumptions and Assumption CoverageDavid Powell. 386-395
- Closure and Convergence: A Formulation of Fault-Tolerant ComputingAnish Arora, Mohamed G. Gouda. 396-403
- Optimal Algorithms for Exact, Inexact, and Approval VotingBehrooz Parhami. 404-411
- Fault Tolerant Neural Networks in Optimization ProblemsYoichi Koyanagi, Yoshihiro Tohma. 412-418
- More Robust Tests in Algorithm-Based Fault-Tolerant Matrix MultiplicationFikri T. Assaad, Shantanu Dutt. 430-439
- Efficient Utilization of Spare Capacity for Fault Detection and Location in Multiprocessor SystemsSrinivasan Tridandapani, Arun K. Somani. 440-447
- Design and Analysis of Software Reconfiguration Strategies for Hypercube Multicomputers under Multiple FaultsMichael Peercy, Prithviraj Banerjee. 448-455
- Outage Times in Fault-Tolerant SystemsAndrew L. Reibman. 458-462
- Latent Design Faults in the Development of Multiflow s TRACE/200Robert P. Colwell. 468-474
- Unordered Error-Correcting Codes and their ApplicationsMario Blaum, Jehoshua Bruck. 468-493
- A Comparison of Software Defects in Database Management Systems and Operating SystemsMark Sullivan, Ram Chillarege. 475-484
- Single ::::b::::-Bit Byte Error Correcting and Double Bit Error Detecting Codes for High-Speed Memory SystemsEiji Fujiwara, Mitsuru Hamada. 494-501
- Efficient Multiple Unidirectional Byte Error-Detecting Codes for Computer Memory SystemsT. R. N. Rao, Gui Liang Feng, Mahadev S. Kolluru. 502-509
- Improved Construction Methods for Error Correcting Constant Weight CodesSulaiman Al-Bassam, Gowri Ramanathan, Bella Bose. 510-517
- Scheduling with Rollback Constraints in High-Level Synthesis of Self-Recovering ASICsRamesh Karri, Alex Orailoglu. 519-526
- A ::::posteriori:::: Agreement for Fault-Tolerant Clock Synchronization on Broadcast NetworksPaulo Veríssimo, Luís Rodrigues. 527-536