13. SRDS 1994: Dana Point, California, USA

13th Symposium on Reliable Distributed Systems, October 25-27, 1994, Dana Point, California, USA, Proceedings. IEEE Computer Society Press, 1994, ISBN 0-8186-6575-0

Fault-Tolerant Algorithms

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

Checkpointing

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

Stochastic Analysis

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

Transaction-Based Systems

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

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
Laura S. Sabel, Keith Marzullo: Simulating Fail-Stop in Asynchronous Distributed Systems. 138-147
Daniel C. Sturman, Gul Agha: A Protocol Description Language for Customizing Semantics. 148-157

Message Passing

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

Reconfiguration and Load Balancing

Christos A. Polyzois, Hector Garcia-Molina: Processing of Read-Only Queries at a Remote Backup. 192-201
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
Theodora A. Varvarigou, John A. Trotter: Distributed Reconfiguration of Multiprocessor Systems. 212-221

Last update Thu May 23 18:01:33 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page