Abstract is missing.
- Challenges of Building a Dependable National Information Infrastructure (Panel)Timothy C. K. Chou, Jack Goldberg, David E. Morgan, Louis Scerbo. 2-3
- Effects of Resource Utilization Monitoring in Fault RecoveryTushar R. Sarnaik, Arun K. Somani. 6-15
- Analysis of a Fault-Tolerant Multiprocessor Scheduling AlgorithmDaniel Mossé, Rami G. Melhem, Sunondo Ghosh. 16-25
- Replication and Allocation of Task Modules in Distributed Real-Time SystemsChao-Ju Hou, Kang G. Shin. 26-35
- Algorithm-Based Fault Location and Recovery for Matrix ComputationsAmber Roy-Chowdhury, Prithviraj Banerjee. 38-47
- Diagnosos of Processor ArraysLaura Baldelli, Piero Maestrini. 48-54
- Analysis and Experimental Evaluation of Comparison-Based System-Level Diagnosis for Multiprocessor SystemsHongying Wang, Douglas M. Blough, Leon Alkalaj. 55-64
- Fault Injection into VHDL Models: The MEFISTO ToolEric Jenn, Jean Arlat, Marcus Rimén, Joakim Ohlsson, Johan Karlsson. 66-75
- On Microprocessor Error Behaviour ModelingMarcus Rimén, Joakim Ohlsson, Jan Torin. 76-85
- Device-Level Transient Fault ModelingGregory L. Ries, Gwan S. Choi, Ravishankar K. Iyer. 86-94
- Concurrent Error Detection in Self-Timed VLSIDavid A. Rennels, Hyeongil Kim. 96-105
- SEU-Tolerant SRAM Design Based on Current MonitoringF. L. Vargas, Michael Nicolaidis. 106-115
- On Codeword Testing of Two-Rail and Parity TSC CheckersSudhakar M. Reddy, Irith Pomeranz, Rahul Jain. 116-125
- Concurrent Error-Detection and Modular Fault-tolerance in a 32-bit Processing Core for Embedded Space Flight ApplicationsJiri Gaisler. 128-130
- Automatic Verifying Approach for Product Specification using FTATetsuji Fukaya, Masayuki Hirayama, Yukihiro Mihara. 131-133
- Implementation of High Availability Mechanisms in the Air Traffic Control SIR-S SystemE. Amadio, P. Iaboni, M. La Manna, P. Mariano. 134-136
- Modeling and Analysis of System Dependability Using the System Availability EstimatorAlvin M. Blum, Ambuj Goyal, Philip Heidelberger, Stephen S. Lavenberg, Marvin K. Nakayama, Perwez Shahabuddin. 137-141
- Checking Mergeable Priority QueuesJonathan D. Bright, Gregory F. Sullivan. 144-153
- Systematic Incorporation of Efficient Fault Tolerance in Systems of Cooperating Parallel ProgramsI-Ling Yen, Farokh B. Bastani. 154-163
- Roll-Forward and Rollback Recovery: Performance-Reliability Trade-OffDhiraj K. Pradhan, Nitin H. Vaidya. 186-195
- A Service Policy for Real-Time Customers with (::::m, k, ::::)-Firm DeadlinesMoncef Hamdaoui, Parameswaran Ramanathan. 196-205
- A SEC-BED-DED Code with Byte Plus Bit Error DetectionLarry A. Dunning. 208-211
- Balanced Codes for Noise Reduction in VLSI SystemsLuca G. Tallini, L. Merani, Bella Bose. 212-218
- Towards Effective Integration of Fault Tolerance and Real Time (Panel)Jack Goldberg, Hermann Kopetz, Binay Sugla, Chris J. Walter. 230
- Do Commercial MPPs Need Fault Tolerance? (Panel)Tilak Agerwala, W. Donald Frazer, Bernard Traversat, Dennis Young. 232
- The Performance of Two-phase Commit Protocols in the Presence of Site FailuresM. L. Liu, Divyakant Agrawal, Amr El Abbadi. 234-243
- Implementing Fault Tolerance with an Attribute and Functional Based ModelMasato Suzuki, Takuya Katayama, Richard D. Schlichting. 244-253
- Architectural Timing Verification and Test for Super Scalar ProcessorsPradip Bose. 256-265
- Efficient Algorithmic Circuit Verification Using Indexed BDDsJames R. Bitner, Jawahar Jain, Magdy S. Abadir, Jacob A. Abraham, Donald S. Fussell. 266-275
- A Cache Protocol for Error Detection and Recovery in Fault-Tolerant Computing SystemsChung-Ho Chen, Arun K. Somani. 278-287
- Faster Checkpointing with ::::N::::+1 ParityJames S. Plank, Kai Li. 288-297
- On the Use and Implementation of Message LoggingE. N. Elnozahy, Willy Zwaenepoel. 298-307
- A Study of Throughput Degradation Following Single Node Failure in a Data Sharing SystemNicholas S. Bowen, Amber Roy-Chowdhury. 310-319
- Identifying Software Problems Using SymptomsInhwan Lee, Ravishankar K. Iyer, Abhay Metha. 320-329
- The Impact of Fault Expansion on the Interval Estimate for Fault Detection CoverageWei Wang, Kishor S. Trivedi, Babubhai V. Shah, Joseph A. Profeta III. 330-337
- On Latching Probability of Particle Induced Transients in Combinational NetworksPeter Lidén, Peter Dahlgren, Rolf Johansson, Johan Karlsson. 340-349
- Experimental Evaluation of the Fail-Silent Behaviour in Computers Without Error MaskingHenrique Madeira, João Gabriel Silva. 350-359
- Training Techniques to Obtain Fault-Tolerant Neural NetworksChing-Tai Chiu, Kishan Mehrotra, Chilukuri K. Mohan, Sanjay Ranka. 360-369
- Connectivity and Fault Tolerance of Multiple-Bus SystemsHung-Kuei Ku, John P. Hayes. 372-381
- Fault-Tolerant Routing Strategy in Hypercube SystemsGe-Ming Chiu, Shui-Pao Wu. 382-391
- Optimal Fault-Tolerant Leader Election in Chordal RingsBernard Mans, Nicola Santoro. 392-401
- Highly Available Cluster: A Case StudyAlain Azagury, Danny Dolev, Gera Goft, John M. Marberg, Julian Satran. 404-413
- Durable Memory RS/6000 System DesignM. Abbott, David Har, Lorraine Herger, M. Kauffmann, Ken Mak, J. Murdock, Charles O. Schulz, T. Basil Smith, R. Brett Tremaine, D. Yeh, L. Wong. 414-423
- Checkpoint/Rollback in a Distributed System Using Coarse-Grained DataflowDavid Cummings, Leon Alkalaj. 424-433
- Behavioral Synthesis of Testable DesignsAshutosh Mujumdar, Rajiv Jain, Kewal K. Saluja. 436-445
- Dynamic State and Objective Learning for Sequential Circuit Automatic Test Generation Using Decomposition EquivalenceXinghao Chen, Michael L. Bushnell. 446-455