The Community for Technology Leaders
Reliable Distributed Systems, IEEE Symposium on (2001)
New Orleans, Louisiana
Oct. 28, 2001 to Oct. 31, 2001
ISBN: 0-7695-1366-2
TABLE OF CONTENTS

Referees (PDF)

pp. xiii
Session 1: Replication - Session Chair: Lorenzo Alvisi, University of Texas at Austin, USA

Primary-Backup Replication: From a Time-Free Protocol to a Time-Based Implementation (Abstract)

A. Schiper , EPF Lausanne
R. Oliveira , Universidade do Minho
J. Pereira , Universidade do Minho
pp. 0014

How to Select a Replication Protocol According to Scalability, Availability, and Communication Overhead (Abstract)

G. Alonso , Swiss Federal Institute of Technology (ETHZ)
M. Patiño-Martínez , Technical University of Madrid (UPM)
R. Jiménez-Peris , Technical University of Madrid (UPM)
B. Kemme , McGill University
pp. 0024
Session 2: Recovery - Session Chair: Gilles Muller, INRIA Rennes, France

Quantifying Rollback Propagation in Distributed Checkpointing (Abstract)

A. Agbaria , Technion - Israel Institute of Technology
H. Attiya , Technion - Israel Institute of Technology
R. Friedman , Technion - Israel Institute of Technology
R. Vitenberg , Technion - Israel Institute of Technology
pp. 0036

Continental Pronto (Abstract)

S. Frølund , Hewlett-Packard Laboratories
F. Pedone , Hewlett-Packard Laboratories
pp. 0046

Compiler-Assisted Heterogeneous Checkpointing (Abstract)

R. Bazzi , Arizona State University
M. Hicks , Agilent Technologies
F. Karablieh , Arizona State University
pp. 0056
Panel 1: Reliability and Security in Distributed and Mobile Systems - Moderator: Bharat Bhargava, Purdue University, USA
Session 3: Security - Session Chair: Catherine Meadows, Naval Research Labs, USA

Detecting Heap Smashing Attacks through Fault Containment Wrappers (Abstract)

Z. Xiao , AT&T Labs Research
C. Fetzer , AT&T Labs Research
pp. 0080

Efficient Update Diffusion in Byzantine Environments (Abstract)

D. Malkhi , The Hebrew University of Jerusalem, Israel
O. Rodeh , The Hebrew University of Jerusalem, Israel
M. Reiter , Bell Labs, Lucent Technologies
Y. Sella , The Hebrew University of Jerusalem, Israel
pp. 0090

An Analytical Framework for Reasoning about Intrusions (Abstract)

R. Chinchani , State University of New York at Buffalo
K. Kwiat , Air Force Research Laboratory
S. Upadhyaya , State University of New York at Buffalo
pp. 0099
Session 4: Agreement Protocols - Session Chair: Suresh Rai, Lousiana State University, USA

Optimistic Validation of Electronic Tickets (Abstract)

F. Pedone , Hewlett-Packard Laboratories
pp. 0110

Polynomial Time Synthesis of Byzantine Agreement (Abstract)

A. Chippada , Michigan State University
S. Kulkarni , Michigan State University
A. Arora , Ohio State University
pp. 0130
Session 5: Application Level Fault Tolerance - Session Chair: Luca Simoncini, University of Pisa & CNR, Italy

Looking Ahead in Atomic Actions with Exception Handling (Abstract)

A. Romanovsky , University of Newcastle upon Tyne, UK
pp. 0142

Assessing Inter-Modular Error Propagation in Distributed Software (Abstract)

N. Suri , Chalmers University
M. Hiller , Chalmers University
A. Jhumka , Chalmers University
pp. 0152

Designing a Robust Namespace for Distributed File Services (Abstract)

Z. Zhang , Hewlett-Packard Laboratories
C. Karamanolis , Hewlett-Packard Laboratories
pp. 0162
Panel 2: Building Reliable Systems from COTS Components - Moderator: Farokh Bastani, University of Texas, Dallas, USA
Session 6: Concise Contributions - Session Chair: Jie Xu, Durham University, UK

Message Logging Optimization for Wireless Networks (Abstract)

B. Yao , Purdue University
W. Fuchs , Purdue University
pp. 0182

Reducing Noise in Gossip-Based Reliable Broadcast (Abstract)

S. Handurukande , Swiss Federal Institute of Technology
P. Kouznetsov , Swiss Federal Institute of Technology
R. Guerraoui , Swiss Federal Institute of Technology
A. Kermarrec , Microsoft Research Ltd.
pp. 0186

Chasing the FLP Impossibility Result in a LAN or How Robust Can a Fault Tolerant Server Be? (Abstract)

A. Schiper , ?cole Polytechnique F?d?rale de Lausanne (EPFL)
X. Défago , Japan Advanced Institute of Science and Technology (JAIST)
P. Urbán , ?cole Polytechnique F?d?rale de Lausanne (EPFL)
pp. 0190

Consensus with Written Messages Under Link Faults (Abstract)

U. Schmid , Technische Universit?t Wien
B. Weiss , Technische Universit?t Wien
pp. 0194

Efficient TDMA Synchronization for Distributed Embedded Systems (Abstract)

H. Lönn , Volvo Technological Development
N. Suri , Chalmers Univ., Sweden
V. Claesso , Chalmers Univ., Sweden
pp. 0198

Efficient Recovery Information Management Schemes for the Fault Tolerant Mobile Computing Systems (Abstract)

N. Woo , Seoul National University
T. Park , Sejong University
H. Yeom , Seoul National University
pp. 0202
Session 7: QoS and Real-Time Systems - Session Chair: Gerhard Fohler, Malardalen University, Sweden

A Microkernel Middleware Architecture for Distributed Embedded Real-Time Systems (Abstract)

J. Kreuzinger , University of Karlsruhe
E. Schneider , University of Karlsruhe
U. Brinkschulte , University of Karlsruhe
F. Picioroaga , University of Karlsruhe
M. Pfeffer , University of Karlsruhe
A. Bechina , University of Karlsruhe
T. Ungerer , University of Karlsruhe
pp. 0218

Performance Analysis of the CORBA Notification Service (Abstract)

S. Ramani , Duke University
B. Dasarathy , Telcordia Technologies, Inc.
K. Trivedi , Duke University
pp. 0227
Session 8: Mobile Systems - Session Chair: Nian-Feng Tzeng, University of Louisiana, USA

Reliable Real-Time Cooperation of Mobile Autonomous Systems (Abstract)

E. Nett , University of Magdeburg
M. Mock , GMD - German National
S. Schemmer , GMD - German National
pp. 0238

On the Effectiveness of a Counter-Based Cache Invalidation Scheme and Its Resiliency to Failures in Mobile Environments (Abstract)

C. Das , The Pennsylvania State University
G. Cao , The Pennsylvania State University
pp. 0247

Comparison-Based System-Level Fault Diagnosis in Ad Hoc Networks (Abstract)

S. Chessa , University of Pisa
P. Santi , Georgia Institute of Technology
pp. 0257

Author Index (PDF)

pp. 0267
85 ms
(Ver )