Table of Contents

• Algorithm Based Fault Tolerance versus Result-Checking for Matrix ComputationsPaula Prata, João Gabriel Silva. 4-11 [doi]
• An Algorithm Based Error Detection Scheme for the Multigrid AlgorithmAmitabh Mishra, Prithviraj Banerjee. 12-19 [doi]
• MetaKernels and Fault Containment WrappersFrédéric Salles, Manuel Rodríguez, Jean-Charles Fabre, Jean Arlat. 22-29 [doi]
• Comparing the Robustness of POSIX Operating SystemsPhilip Koopman, John DeVale. 30-37 [doi]
• Multiprocessor Architecture Using an Audit Trail for Fault ToleranceDwight Sunada, David Glasco, Michael J. Flynn. 40-47 [doi]
• Egida: An Extensible Toolkit for Low-Overhead Fault-ToleranceSriram Rao, Lorenzo Alvisi, Harrick M. Vin. 48-55 [doi]
• Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated DataCarlos Pérez, Germán Fabregat, Rafael J. Martínez, G. Martín. 56-63 [doi]
• Rigorous Development of a Safety-Critical System Based on Coordinated Atomic ActionsJie Xu, Brian Randell, Alexander B. Romanovsky, Robert J. Stroud, Avelino F. Zorzo, Ercument Canver, Friedrich W. von Henke. 68-75 [doi]
• The Systematic Improvement of Fault Tolerance in the Rio File CacheWee Teck Ng, Peter M. Chen. 76-83 [doi]
• AR-SMT: A Microarchitectural Approach to Fault Tolerance in MicroprocessorsEric Rotenberg. 84-91 [doi]
• Routing and Wavelength Assignment for Establishing Dependable Connections in WDM NetworksG. Mohan, C. Siva Ram Murthy. 94-101 [doi]
• Interference Robust TCPBhaskar Maruthi, Arun K. Somani, Murat Azizoglu. 102-109 [doi]
• Effect of Failures on Optimal Location Management AlgorithmsGovind Krishnamurthi, Arun K. Somani. 110-117 [doi]
• COTS Hardware and Software in High-Availability Systems (Panel)Ravishankar K. Iyer, Algirdas Avizienis, D. Barron, David Powell, Haim Levendel, J. Samson. 120 [doi]
• Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAsNihar R. Mahapatra, Shantanu Dutt. 122-129 [doi]
• Two-Step Algorithms for Maximal Diagnosis of Wiring InterconnectsWenyi Feng, Fred J. Meyer, Fabrizio Lombardi. 130-137 [doi]
• Fault Identification Algorithmic: A New Formal ApproachBéchir el Ayeb. 138-145 [doi]
• A Fault Tolerance Framework for CORBALouise E. Moser, P. M. Melliar-Smith, Priya Narasimhan. 150-157 [doi]
• The Performance of Database Replication with Group MulticastJoAnne Holliday, Divyakant Agrawal, Amr El Abbadi. 158-165 [doi]
• Design, Implementation and Performance Evaluation of a CORBA Group Communication ServiceShivakant Mishra, Lan Fei, Guming Xing. 166-173 [doi]
• An Execution Service for a Partitionable Low Bandwidth NetworkTakako M. Hickey, Robbert van Renesse. 174-181 [doi]
• Automatic Design of Optimal Concurrent Fault Detector for Linear Analog SystemsEmmanuel Simeu, Arno W. Peters, Iyad Rayane. 184-191 [doi]
• Some Transmission Time Analysis for the Parallel Asynchronous Communication SchemeLuca G. Tallini, Bella Bose. 192-199 [doi]
• Fault Tolerance, Channel Coding and Arithmetic Source Coding CombinedG. Robert Redinbo, Ranjit Manomohan. 200-207 [doi]
• Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT ApplicationsP. Emerald Chung, Woei-Jyh Lee, Yennun Huang, Deron Liang, Chung-Yih Wang. 220-223 [doi]
• A User-Level Checkpointing Library for POSIX Threads ProgramsWilliam R. Dieter, James E. Lumpp Jr.. 224-227 [doi]
• The DSPNexpress 2.000 Performance and Dependability Modeling EnvironmentChristoph Lindemann, Andreas Reuys, Axel Thümmler. 228-231 [doi]
• The Galileo Fault Tree Analysis ToolKevin J. Sullivan, Joanne Bechta Dugan, David Coppit. 232-235 [doi]
• Special Seminar: Intrusion DetectionMarc Dacier, O. Sami Saydjari. 238 [doi]
• An Analysis of Communication Induced CheckpointingLorenzo Alvisi, E. N. Elnozahy, Sriram Rao, Syed Amir Husain, Asanka De Mel. 242-249 [doi]
• The Average Availability of Parallel Checkpointing Systems and Its Importance in Selecting Runtime ParametersJames S. Plank, Michael G. Thomason. 250-257 [doi]
• Reducing Test Application Time for Full Scan Embedded CoresIlker Hamzaoglu, Janak H. Patel. 260-267 [doi]
• Synthesis of Circuits Derived from Decision Diagrams - Combining Small Delay and TestabilityHarry Hengster, Bernd Becker. 268-275 [doi]
• Experimental Study of Internet Stability and Backbone FailuresCraig Labovitz, Abha Ahuja, Farnam Jahanian. 278-285 [doi]
• A Columbus Egg Idea for CAN Media RedundancyJosé Rufino, Paulo Veríssimo, Guilherme Arroz. 286-293 [doi]
• Message Logging in Mobile ComputingBin Yao, Kuo-Feng Ssu, W. Kent Fuchs. 294-301 [doi]
• Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management SystemsMaitrayi Sabaratnam, Øystein Torbjørnsen, Svein-Olaf Hvasshovd. 306-313 [doi]
• Identification of Test Cases Using a Formal ApproachPurnendu Sinha, Neeraj Suri. 314-321 [doi]
• Performance and Reliability Evaluation of Passive Replication Schemes in Application Level Fault ToleranceSachin Garg, Yennun Huang, Chandra M. R. Kintala, Kishor S. Trivedi, Shalini Yajnik. 322-329 [doi]
• Dependability Analysis of Distributed Computer Systems with Imperfect CoverageXinyu Zang, Hairong Sun, Kishor S. Trivedi. 330-337 [doi]
• Real Time Estimation for Usage-Dependent Reliability on a Dual-Backbone Network SubsystemMeng-Lai Yin, Lawrence E. James, Rafael R. Arellano, Raymond V. Hettwer. 340-343 [doi]
• Wrapping Windows NT Software for RobustnessAnup K. Ghosh, Matthew Schmid, Frank Hill. 344-347 [doi]
• Functional and Faulty Behavior Analysis: Some Experiments and Lessons LearntYannick Le Guédart, Luc Marneffe, François Scheerens, Jean-Paul Blanquart, Thierry Boyer. 348-351 [doi]