13. SRDS 1994: Dana Point, California, USA

Fault-Tolerant Algorithms

• D. N. Jayasimha: Fault Tolerance in a Multisensor Environment. 2-11 BibTeX
• Jeffery C. Line, Sukumar Ghosh: A Methodology for Constructing a Stabiliying Crash-Tolerant Application. 12-21 BibTeX
• Flaviu Cristian, Christof Fetzer: Probabilistic Internal Clock Synchronization. 22-31 BibTeX

Checkpointing

• Bob Janssens, W. Kent Fuchs: Reducing Interprocessor Dependence in Recoverable Distributed Shared Memory. 34-41 BibTeX
• G. Janakiraman, Yuval Tamir: Coordinated Checkpointing-Rollback Error Recovery for Distributed Shared Memory Multicomputers. 42-51 BibTeX
• Avi Ziv, Jehoshua Bruck: Analysis of Checkpointing Schemes for Multiprocessor Systems. 52-61 BibTeX

Stochastic Analysis

• W. Douglas Obal II, William H. Sanders: An Environment for Importance Sampling Based on Stochastic Activity Networks. 64-73 BibTeX
• Joanne Bechta Dugan: Reliability Analysis of a Hardware and Software Fault Tolerant Parallel Processor. 74-83 BibTeX
• N. Bennacer, Gerard Florin, Stéphane Natkin: Probabilistic Validation using Worst Event Driven amd Importance Sampling Simulation. 84-93 BibTeX

Transaction-Based Systems

• Karpjoo Jeong, Dennis Shasha: PLinda 2.0: A Transactional/Checkpointing Approach to Fault Tolerant Linda. 96-105 BibTeX
• Edgar Nett, Beatrice Weiler: Nested Dynamic Actions - How to Solve the Fault Containment Problem in a Cooperative Action Model. 106-115 BibTeX
• Junguk L. Kim, Taesoon Park: An Efficient Recovery Scheme for Locking-Based Distributed Database Systems. 116-125 BibTeX

Formal Methods

• Paul S. Miner, Shyamsundar Pullela, Steven D. Johnson: Interaction of Formal Design Systems in the Development of a Fault-Tolerant Clock Synchronization Circuit. 128-137 BibTeX
• Laura S. Sabel, Keith Marzullo: Simulating Fail-Stop in Asynchronous Distributed Systems. 138-147 BibTeX
• Daniel C. Sturman, Gul Agha: A Protocol Description Language for Customizing Semantics. 148-157 BibTeX

Message Passing

• Luís Rodrigues, Ellen H. Siegel, Paulo Veríssimo: A Replication-Transparent Remote Invocation Protocol. 160-169 BibTeX
• Valérie Issarny, Gilles Muller, Isabelle Puaut: Efficient Treatment of Failures in RPC Systems. 170-180 BibTeX
• Madalene Spezialetti, Rajiv Gupta: Exploiting Program Semantics for Efficient Instrumentation of Distributed Event Recognitions. 181-190 BibTeX

Reconfiguration and Load Balancing

• Christos A. Polyzois, Hector Garcia-Molina: Processing of Read-Only Queries at a Remote Backup. 192-201 BibTeX
• Chao-Ju Hou, Kang G. Shin, Thomas Kaeppel Tsukada: Transparent Load Sharing in Distributed Systems: Decentralized Design Alternatives Based on the Condor Package. 202-211 BibTeX
• Theodora A. Varvarigou, John A. Trotter: Distributed Reconfiguration of Multiprocessor Systems. 212-221 BibTeX