16. SRDS 1997: Durham, North Carolina, USA

The Sixteenth Symposium on Reliable Distributed Systems, October 22-24, 1997, Durham, North Carolina, USA, Proceedings. IEEE Computer Society, 1997, ISBN 0-8186-8178-0

Analysis and Evaluation

Xuefeng Wu, Jie Li, Hisao Kameda: Reliability Analysis of Disk Array Organizations by Considering Uncorrectable Bit Errors. 2-9 BibTeX
Varsha Mainkar: Availability Analysis of Transaction Processing Systems based on User-Perceived Performance. 10-16 BibTeX
Hermann de Meer, Oliver-Rainer Düsterhöft: Controlled Stochastic Petri Nets. 18-25 BibTeX

Fault-Tolerant Systems

Roberto Baldoni, Francesco Quaglia, Paolo Fornara: An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems. 27-34 BibTeX
Guillermo A. Alvarez, Flaviu Cristian: Applying Simulation to the Design and Performance Evaluation of Fault-tolerant Systems. 35-42 BibTeX
Chandra M. R. Kintala: Reliable Software Systems using Reusable Software Components. 43 BibTeX

S/W Reliability

Mei-Hwa Chen, Michael R. Lyu, W. Eric Wong: Incorporating Code Coverage in the Reliability Estimation for Fault-Tolerant Software. 45-52 BibTeX
Gerardo Rubino: Predicting Dependability Properties On-line. 53-59 BibTeX

State of the Art

Ravishankar K. Iyer, Zbigniew Kalbarczyk, Saurabh Bagchi: Chameleon: Adaptive Fault Tolerance Using Reliable, Mobile Agents. 61-62 BibTeX

Robust S/W Systems

Nuno Neves, W. Kent Fuchs: Fault Detection Using Hints from the Socket Layer. 64-71 BibTeX
Philip J. Koopman Jr., John Sung, Christopher P. Dingman, Daniel P. Siewiorek, Ted Marz: Comparing Operating Systems Using Robustness Benchmarks. 72-79 BibTeX
Beth A. Schroeder, Karsten Schwan, Sudhir Aggarwal: Software Approach to Hazard Detection Using On-line Analysis of Safety Constraints. 80-87 BibTeX

Reliable Internet Services

Rangachari Anand, Nayeem Islam, Trent Jaeger, Josyula R. Rao: A Flexible Security Model for Using Internet Content. 89-96 BibTeX
B. Narendran, Sampath Rangarajan, Shalini Yajnik: Data Distribution Algorithms for Load Banlanced Fault-Tolerant Web Access. 97-106 BibTeX
Roy Friedman, Daniel Mossé: Load Balancing Schemes for High-Throughput Distributed Fault-Tolerant Servers. 107-115 BibTeX

Panel: Reliabilty of Distributed Applications with COTS Components

Chandra M. R. Kintala: Reliabilty of Distributed Applications with COTS Components (Position Statement). 117 BibTeX
Paul A. Green Jr.: The Art of Creating Reliable Software-based Systems using Off-the-Shelf Software Components. 118-120 BibTeX
Len Castelli, Brian A. Coan, James P. Harbison, Edwin L. Miller: Tradeoffs when Integrating Multiple Software Components into a Highly Available Application. 121-128 BibTeX

Network Partitioning and Monitoring

Roy Friedman, Alexey Vaysburd: Fast Replicated State Machines Over Partitionable Networks. 130-137 BibTeX
Alberto Bartoli, Özalp Babaoglu: Selecting a ``Primary Partition'' in Partitionable Asynchronous Distributed Systems. 138-145 BibTeX
K. H. Kim, Chittur Subbaraman: A Supervisor-Based Semi-Centralized Network Surveillance Scheme and the Fault Detection Latency Bound. 146-155 BibTeX

Coordination Protocols

Christof Fetzer, Flaviu Cristian: A Fail-Awar Membership Service. 157-164 BibTeX
Harpreet S. Duggal, Michel Cukier, William H. Sanders: Probabilistic Verification of a Synchronous Round-Based Consensus Protocol. 165-174 BibTeX
Fernando Pedone, Rachid Guerraoui, André Schiper: Transaction Reordering in Replicated Databases. 175-182 BibTeX
Jean-Michel Hélary, Achour Mostéfaoui, Robert H. B. Netzer, Michel Raynal: Preventing Useless Checkpoints in Distributed Computations. 183-190 BibTeX