Table of Contents

• A Flexible ServerNet-based Fault-Tolerant ArchitectureWilliam E. Baker, Robert W. Horst, David P. Sonnier, William J. Watson. 2-11
• Efficient Failure Recovery in Multi-Disk Multimedia ServersHarrick M. Vin, Prashant J. Shenoy, Sriram Rao. 12-21
• Checkpointing and Its ApplicationsYi-Min Wang, Yennun Huang, Kiem-Phong Vo, Pi-Yu Chung, Chandra M. R. Kintala. 22-31
• Synthesis for Testability by Sequential Redundancy Removal Using RetimingHiroyuki Yotsuyanagi, Seiji Kajihara, Kozo Kinoshita. 33-40
• Synthesizing Finite State Machines for Minimum Length Synchronizing Sequence Using Partial ScanNing Jiang, Richard M. Chou, Kewal K. Saluja. 41-49
• Optimal Recovery Point Insertion for High-Level Synthesis of Recoverable MicroarchitecturesDouglas M. Blough, Fadi J. Kurdahi, Seong Yong Ohm. 50-59
• The Totem SystemLouise E. Moser, P. M. Melliar-Smith, Deborah A. Agarwal. 61-66
• Fault-Tolerance for Off-The-Shelf Applications and HardwareMark Russinovich, Zary Segall. 67-71
• Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting FactorStefan Poledna. 73-82
• Optimal Resiliency against Mobile FaultsHarry Buhrman, Juan A. Garay, Jaap-Henk Hoepman. 83-88
• Interactive Consistency Algorithms based on Voting and Error-correcting CodesThijs Krol. 89-98
• Systematic Validation of Pipeline Interlock for Superscalar MicroarchitecturesTrung A. Diep, John Paul Shen. 100-109
• LOCSTEP: A Logic Simulation Based Test Generation ProcedureIrith Pomeranz, Sudhakar M. Reddy. 110-119
• OBDD-based Optimization of Input Probabilities for Weighted Random Pattern GenerationRolf Krieger, Bernd Becker, Can Ökmen. 120-129
• Dependability Modelling in a Prototype Development FrameworkJulian M. Bass, Sylvain Metge, Adrian Browne, Peter R. Croll, Peter J. Fleming. 131-136
• ARMOR: Analyzer for Reducing Module Operational RiskMichael R. Lyu, Jinsong S. Yu, Elaine Keramidas, Siddhartha R. Dalal. 137-142
• Self-Stabilizing Mutual Exclusion in the Presence of Faulty NodesRichard W. Buskens, Ronald P. Bianchini Jr.. 144-153
• Fault-Tolerant Clock Synchronization for Distributed Systems Using Continuous Synchronization MessagesAlan Olson, Kang G. Shin, Bruno J. Jambor. 154-163
• A Fault-Tolerant Protocol for Location Directory Maintenance in Mobile NetworksSampath Rangarajan, Karunaharan Ratnam, Anton T. Dahbura. 164-173
• Process Allocation for Load Distribution in Fault-Tolerant MulticomputersJong Kim, Heejo Lee, Sunggu Lee. 174-183
• Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection MethodJens Güthoff, Volkmar Sieh. 196-206
• A Switch-level Algorithm for Simulation of Transients in Combinational LogicPeter Dahlgren, Peter Lidén. 207-216
• Implicit Signature CheckingJoakim Ohlsson, Marcus Rimén. 218-227
• Towards Totally Self-Checking Delay-Insensitive SystemsStanislaw J. Piestrak, Takashi Nanya. 228-237
• Feasibility and Effectiveness of the Algorithm for Overhead Reduction in Analog CheckersYingquan Zhou, Mike W. T. Wong, Yinghua Min. 238-247
• Componentwise Decomposition for an Efficient Reliability Computation of Systems with Repairable ComponentsMeera Balakrishnan, Kishor S. Trivedi. 259-268
• Availability and Performance Evaluation of Database Systems under Periodic CheckpointsReinaldo Vallejos Campos, Edmundo de Souza e Silva. 269-277
• Reduced Overhead Logging for Rollback Recovery in Distributed Shared MemoryGaurav Suri, Bob Janssens, W. Kent Fuchs. 279-288
• A Recoverable Distributed Shared Memory Integrating Coherence and RecoverabilityAnne-Marie Kermarrec, Gilbert Cabillic, Alain Gefflaut, Christine Morin, Isabelle Puaut. 289-298
• Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared MemoryAndreas Savva, Takashi Nanya. 299-308
• A Class of Optimal Fixed-Byte Error Protection Codes for Computer SystemsEiji Fujiwara, Masato Kitakami. 310-319
• Node Covering, Error Correcting Codes and Multiprocessors with Very High Average Fault ToleranceShantanu Dutt, Nihar R. Mahapatra. 320-329
• A New Diagnosis Approach for Short Faults in InterconnectsChao Feng, Wei-Kang Huang, Fabrizio Lombardi. 331-339
• Fault Simulation of::::I::DDQ:::::: Tests for Bridging Faults in Sequential CircuitsPaul J. Thadikaran, Sreejit Chakravarty, Janak H. Patel. 340-349
• Algorithm-Based Diskless Checkpointing for Fault Tolerant Matrix OperationsJames S. Plank, Youngbae Kim, Jack Dongarra. 351-360
• Completely Asynchronous Optimistic Recovery with Minimal RollbacksSean W. Smith, David B. Johnson, J. D. Tygar. 361-370
• Design Fault Tolerance in Operating Systems Based on a Standarization ProjectAki Watanabe, Ken Sakamura. 372-380
• Software Rejuvenation: Analysis, Module and ApplicationsYennun Huang, Chandra M. R. Kintala, Nick Kolettis, N. Dudley Fulton. 381-390
• On-line Error Monitoring for Several Data StructuresJonathan D. Bright, Gregory F. Sullivan. 392-401
• Checking the Integrity of TreesJonathan D. Bright, Gregory F. Sullivan, Gerald M. Masson. 402-411
• VAX/VMS Event Monitoring and AnalysisMichael F. Buckley, Daniel P. Siewiorek. 414-423
• Measurement of Failure Rate in Widely Distributed SoftwareRam Chillarege, Shriram Biyani, Jeanette Rosenthal. 424-433
• Evaluation of Software Dependability Based on Stability Test DataDong Tang, Myron Hecht. 434-443
• Stopping Rules for the Operational Testing of Safety-Critical SoftwareBev Littlewood, David Wright. 444-451
• The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with DiversityHeinz Kantz, Christian Koza. 453-458
• Why Optimistic Message Logging Has Not Been Used In Telecommunications SystemsYennun Huang, Yi-Min Wang. 459-463
• Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor SystemNirmal R. Saxena, Chien Chen, Ravi Swami, Hideki Osone, Shalesh Thusoo, David Lyon, David Chang, Anand Dharmaraj, Niteen Patkar, Yizhi Lu, Ben Chia. 464-471
• Design Verification of a Super-Scalar RISC ProcessorBabu Turumella, Aiman Kabakibo, Manjunath Bogadi, Karakunakara Menon, Shaleah Thusoo, Long Nguyen, Nirmal R. Saxena, Michael Chow. 472-477
• Software Schemes of Reconfiguration and Recovery in Distributed Memory Multicomputers Using the Actor ModelMichael Peercy, Prithviraj Banerjee. 479-488
• Implementing Fault Tolerant Applications using Reflective Object-Oriented ProgrammingJean-Charles Fabre, Vincent Nicomette, Tanguy Pérennou, Robert J. Stroud, Zhixue Wu. 489-498
• Fault Tolerance in Concurrent Object-Oriented Software Through Coordinated Error RecoveryJie Xu, Brian Randell, Alexander B. Romanovsky, Cecília M. F. Rubira, Robert J. Stroud, Zhixue Wu. 499-508
• On the Development of Fault-Tolerant On-Board Control Software and its Evaluation by Fault InjectionTullio Vardanega, P. David, J.-F. Chane, W. Mader, R. Messaros, Jean Arlat. 510-515
• Measuring Robustness of a Fault Tolerant Aerospace SystemChristopher P. Dingman, Joe Marshall, Daniel P. Siewiorek. 522-527
• Depenability at the User InterfaceRoy A. Maxion, Aimee L. deChambeau. 528-535
• Dependability of Commercial SystemsRavishankar K. Iyer, Daniel Lenoski, Joe Hingston, Angelo Pruscino, Jim Shaffer, Eric Scott. 537-540
• Dependability of Medical ComputingHirokazu Ihara, Ekkehard Blanz, Daniel J. Valentino, Lynn Elliott, Thomas L. Lincoln. 541