Abstract is missing.
- Vision for High-Availability of the Global Infrastructure (Panel)Ram Chillarege, Robert W. Horst, Clifford B. Meltzer, Angelo Pruscino, Dalibor F. Vrsalovic. 2-4
- A Hierarchical Approach for Dependability Analysis of a Commercial Cache-Based RAID Storage ArchitectureMohamed Kaâniche, Luigi Romano, Zbigniew Kalbarczyk, Ravishankar K. Iyer, Richard M. Karcich. 6-15
- Proving Correctness of a Controller Algorithm for the RAID Level 5 SystemMandana Vaziri, Nancy A. Lynch, Jeannette M. Wing. 16-25
- Practical Issues in the Use of ABFT and a New Failure ModelJoão Gabriel Silva, Paula Prata, Mário Zenha Rela, Henrique Madeira. 26-35
- Experimental Assessment of Workstation Failures and Their Impact on Checkpointing SystemsJames S. Plank, Wael R. Elwasif. 48-57
- RENEW: A Tool for Fast and Efficient Implementation of Checkpoint ProtocolsNuno Neves, W. Kent Fuchs. 58-67
- Supporting Multiple Levels of CriticalityEric Totel, Jean-Paul Blanquart, Yves Deswarte, David Powell. 70-79
- Conceptual Models for the Reliability of Diverse Systems - New ResultsPeter T. Popov, Lorenzo Strigini. 80-89
- Improving System Reliability with Automatic Fault Tree GenerationPeter Liggesmeyer, Martin Rothfelder. 90-99
- Cyber Threats (Panel)Wendy Bartlett, Peter B. Ladkin, Derek Long, Brian Randell. 104-106
- The SunSCALR Framework for Internet ServersAshish Singhai, Swee Boon Lim, Sanjay R. Radia. 108-117
- Design, Implementation, and Evaluation of Highly Available Distributed Call Processing SystemsKazutaki Murakami, Richard W. Buskens, Ramachandran Ramjee, Yow-Jian Lin, Thomas F. La Porta. 118-127
- TFT: A Software System for Application-Transparent Fault ToleranceThomas C. Bressoud. 128-137
- The Timed Asynchronous Distributed System ModelFlaviu Cristian, Christof Fetzer. 140-149
- Fault-Tolerant Broadcasts in CANJosé Rufino, Paulo Veríssimo, Guilherme Arroz, Carlos Almeida, Luís Rodrigues. 150-159
- A Technique for Automated Validation of Fault Tolerant Designs Using Laser Fault Injection (LFI)John R. Samson Jr., Wilfrido A. Moreno, Fernando J. Falquez. 162-167
- MEFISTO-L: A VHDL-Based Fault Injection Tool for the Experimental Assessment of Fault ToleranceJérome Boué, Philippe Pétillon, Yves Crouzet. 168-173
- Strong Partitioning Protocol for a Multiprocessor VME SystemMohamed F. Younis, Jeffrey X. Zhou, Mohamed Aboutabl. 176-185
- Fault-Tolerant Communication Algorithms in Toroidal NetworksBader Almohammad, Bella Bose. 186-194
- Fault Detection and Recovery Coverage Improvement by Clock Synchronized Duplicated Systems with Optimal Time DiversityNobuyasu Kanekawa, Takayuki Meguro, Kyosuke Isono, Yosuke Shima, Naoto Miyazaki, Shinichiro Yamaguchi. 196-200
- Fault Tolerance Via N-Modular Software RedundancyTimothy K. Tsai. 201-206
- Communication-Induced Determination of Consistent SnapshotsJean-Michel Hélary, Achour Mostéfaoui, Michel Raynal. 208-217
- Avoiding the Babbling-Idiot Failure in a Time-Triggered Communication SystemChristopher Temple. 218-227
- Automated Robustness Testing of Off-the-Shelf Software ComponentsNathan P. Kropp, Philip J. Koopman Jr., Daniel P. Siewiorek. 230-239
- How Fail-Stop are Faulty Programs?Subhachandra Chandra, Peter M. Chen. 240-249
- Optimal Replica Control Protocols Exhibit Symmetric Operation AvailabilitiesOliver E. Theel, Henning Pagnia. 252-261
- A Fault-Tolerant Algorithm for Decentralized On-line Quorum AdaptationMark Bearden, Ronald P. Bianchini Jr.. 262-271
- A Generalized Test Generation Procedure for Path Delay FaultsIrith Pomeranz, Sudhakar M. Reddy. 274-283
- A Comparison of Simulation Based and Scan Chain Implemented Fault InjectionPeter Folkesson, Sven Svensson, Johan Karlsson. 284-293
- From Dependable Computing Systems to Computing for Integrated Dependable Systems? (Panel)Karl-Erwin Großpietsch, Jacob A. Abraham, Johannes Maier, Hans-Dieter Kochs, Michel Renovell. 296-301
- Reliability Modeling of Hard Real-Time SystemsHagbae Kim, Allan L. White, Kang G. Shin. 304-313
- Modelling Software Operational Reliability via Input Domain-Based Reliability Growth ModelYinong Chen. 314-323
- Rare Events in Stochastic Dynamical Systems and Failures in Ultra-Reliable Reactive ProgramsA. Galves, Marie-Claude Gaudel. 324-333
- Software Exploitation of a Fault-Tolerant Computer with a Large MemoryFrank Eskesen, Michel Hack, Arun Iyengar, Richard P. King, Nagui Halim. 336-345
- Improving Software Robustness with Dependability CasesRoy A. Maxion, Robert T. Olszewski. 346-355
- How Safe is Probabilistic Checkpointing?E. N. Elnozahy. 358-363
- Avoiding Checkpoint Contamination in Parallel SystemsLuís Moura Silva, João Gabriel Silva. 364-369
- A Survivable Avionics System for Space ApplicationsGerd Urban, Hans-Joachim Kolinowitz, Jan Peleska. 372-381
- Validation of the Fault/Error Handling Mechanisms of the Teraflops SupercomputerCristian Constantinescu. 382-389
- On the Use of Formal Techniques for ValidationNeeraj Suri, Purnendu Sinha. 390-399
- Fault-Tolerance of Spaceborne Semiconductor Mass MemoriesT. Fichna, M. Gärtner, Fritz Gliem, F. Rombeck. 408-413
- Fault-Tolerant Computer for the Automated Transfer VehicleR. Roques, A. Corrégé, C. Boléat. 414-419
- The Design and Architecture of the Microsoft Cluster Service - A Practical Approach to High-Availability and ScalabilityWerner Vogels, Dan Dumitriu, Kenneth P. Birman, Rod Gamache, Mike Massa, Rob Short, John Vert, Joe Barrera, Jim Gray. 422-431
- G4: A Fault-Tolerant CMOS MainframeLisa Spainhower, Thomas A. Gregg. 432-440
- NCAPS: Application High Availability in UNIX Computer ClustersLuiz A. Laranjeira. 441-450
- Stable Memory in Substation Automation: A Case StudyGeert Deconinck, Oliver Botti, Flavio Cassinari, Vincenzo De Florio, Rudy Lauwereins. 452-457
- Verification of a Safety-Critical Railway Interlocking System with Real-Time ConstraintsVicky Hartonas-Garmhausen, Sérgio Vale Aguiar Campos, Alessandro Cimatti, Edmund M. Clarke, Fausto Giunchiglia. 458-463