The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (1997)
Durham, NC
Oct. 22, 1997 to Oct. 24, 1997
ISSN: 1060-9857
ISBN: 0-8186-8177-2
TABLE OF CONTENTS
ANALYSIS AND EVALUATION:CHAIR: A. Rindos

Controlled Stochastic Petri nets (Abstract)

H. de Meer , Dept. of Comput. Sci., Hamburg Univ., Germany
O.R. Dusterhoft , Dept. of Comput. Sci., Hamburg Univ., Germany
pp. 17
FAULT-TOLERANT SYSTEMS:CHAIR: A. Kshemkalyani

An Index-Based Checkpointing Algorithm For Autonomous Distributed Systems (Abstract)

P. Fornara , Dipt. di Inf. e Sistemistica, Rome Univ., Italy
R. Baldoni , Dipt. di Inf. e Sistemistica, Rome Univ., Italy
F. Quaglia , Dipt. di Inf. e Sistemistica, Rome Univ., Italy
pp. 27

Applying Simulation To The Design And Performance Evaluation Of Fault-Tolerant Systems (Abstract)

F. Cristian , California Univ., San Diego, La Jolla, CA, USA
G.A. Alvarez , California Univ., San Diego, La Jolla, CA, USA
pp. 35

Reliable Software Systems Using Reusable Software Components (Abstract)

C.M.R. Kintala , AT&T Bell Labs., Murray Hill, NJ, USA
pp. 43
S/W RELIABILITY: CHAIR: J. Heckathorn

Predicting Dependability Properties On-Line (Abstract)

G. Rubino , IRISA, Rennes, France
pp. 53
STATE OF THE ART

Chameleon: Adaptive Fault Tolerance Using Reliable, Mobile Agents (Abstract)

S. Bagchi , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
Z. Kalbarczyk , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 61
ROBUST S/W SYSTEMS:CHAIR: P. Green

Fault Detection Using Hints from the Socket Layer (Abstract)

Nuno Neves , University of Illinois at Urbana-Champaign
W. Kent Fuchs , Purdue University
pp. 64

Comparing Operating Systems Using Robustness Benchmarks (Abstract)

Ted Marz , Carnegie Mellon University
Christopher Dingman , Carnegie Mellon University
John Sung , Carnegie Mellon University
Daniel Siewiorek , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 72

Software Approach To Hazard Detection Using On-Line Analysis Of Safety Constraints (Abstract)

S. Aggarwal , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
K. Schwan , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
B. Schroeder , Coll. of Comput., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 80
RELIABLE INTERNET SERVICES: CHAIR: V. Mendiratta

A Flexible Security Model For Using Internet Content (Abstract)

J.R. Rao , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
N. Islam , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
T. Jaeger , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
R. Anand , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 89

Load Balancing Schemes For High-Throughput Distributed Fault-Tolerant Servers (Abstract)

R. Friedman , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
D. Mosse , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 107
PANEL RELIABILITY OF DISTRIBUTED APPLICATIONS WITH COTS COMPONENTS

Tradeoffs When Integrating Multiple Software Components Into A Highly Available Application (Abstract)

L. Castelli , Bellcore, Morristown, NJ, USA
E.L. Miller , Bellcore, Morristown, NJ, USA
B. Coan , Bellcore, Morristown, NJ, USA
J.P. Harbison , Bellcore, Morristown, NJ, USA
pp. 121
NETWORK PARTITIONING AND MONITORING: CHAIR: G. Belford

Fast Replicated State Machines Over Partitionable Networks (Abstract)

R. Friedman , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
A. Vaysburd , Dept. of Comput. Sci., Cornell Univ., Ithaca, NY, USA
pp. 130

Selecting a "Primary Partition" in Partitionable Asynchronous Distributed Systems (Abstract)

Alberto Bartoli , University of Pisa, Italy
Ozalp Babaoglu , University of Bologna, Italy
pp. 138

A Supervisor-Based Semi-Centralized Network Surveillance Scheme And The Fault Detection Latency Bound (Abstract)

K.H.K. Kim , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
C. Subbaraman , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 146
COORDINATION PROTOCOLS: CHAIR: D. Logothetis

A Fail-Aware Membership Service (Abstract)

F. Cristian , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
C. Fetzer , Dept. of Comput. Sci. & Eng., California Univ., San Diego, La Jolla, CA, USA
pp. 157

Probabilistic Verification Of A Synchronous Round-Based Consensus Protocol (Abstract)

H.S. Duggal , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
W.H. Sanders , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
M. Cukier , Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 165

Index Of Authors (PDF)

pp. 191
82 ms
(Ver )