The Community for Technology Leaders
Fault-Tolerant Computing, International Symposium on (1999)
Madison, Wisconsin
June 15, 1999 to June 18, 1999
ISSN: 0731-3071
ISBN: 0-7695-0213-X
TABLE OF CONTENTS

Reviewers (PDF)

pp. xix
Session 1: Opening Session
Session 2A: Algorithm-Based Fault Tolerance, Chair: Jacob Abraham, The University of Texas at Austin, USA

Algorithm Based Fault Tolerance versus Result-Checking for Matrix Computations (Abstract)

Paula Prata , Universidade da Beira Interior
João Gabriel Silva , Universidade de Coimbra
pp. 4
Session 2B: Operating Systems, Chair: Nirmal Saxena, Stanford University, USA

MetaKernels and Fault Containment Wrappers (Abstract)

Jean Arlat , LAAS-CNRS
Jean-Charles Fabre , LAAS-CNRS
Manuel Rodrguez , LAAS-CNRS
FrZdZric Salles , LAAS-CNRS
pp. 22

Comparing the Robustness of POSIX Operating Systems (Abstract)

John DeVale , Carnegie Mellon University
Philip Koopman , Carnegie Mellon University
pp. 30
Session 3A: Checkpointing I, Chair: Henrique Santos Madeira, Universidade de Coimbra, Portugal

Multiprocessor Architecture Using an Audit Trail for Fault Tolerance (Abstract)

David Glasco , International Business Machines, Inc.
Michael Flynn , Stanford University
Dwight Sunada , Stanford University
pp. 40

Egida: An Extensible Toolkit For Low-Overhead Fault-Tolerance (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Sriram Rao , University of Texas at Austin
Harrick M. Vin , University of Texas at Austin
pp. 48

Incremental Messages: Micro-Kernel Services for Flexible and Efficient Management of Replicated Data (Abstract)

R.J. Martínez , Universitat de Val?ncia
G. Martín , Universitat de Val?ncia
Carlos Pérez , Universitat de Val?ncia
Germán Fabregat , Universitat Jaume I
pp. 56
Session 4A: Design of Fault-Tolerant Systems, Chair: David Rennel, University of California at Los Angeles, USA

Rigorous Development of a Safety-Critical System Based on Coordinated Atomic Actions (Abstract)

R.J. Stroud , University of Newcastle upon Tyne
B. Randell , University of Newcastle upon Tyne
J. Xu , University of Newcastle upon Tyne
F. von Henke , University of Ulm
E. Canver , University of Ulm
A.F. Zorzo , University of Newcastle upon Tyne
A. Romanovsky , University of Newcastle upon Tyne
pp. 68

The Systematic Improvement of Fault Tolerance in the Rio File Cache (Abstract)

Peter M. Chen , University of Michigan
Wee Teck Ng , University of Michigan
pp. 76
Session 4B: Networking Issues I, Chair: John Meyer, University of Michigan, USA

Routing and Wavelength Assignment for Establishing Dependable Connections in WDM Networks (Abstract)

C. Siva Ram Murthy , Indian Institute of Technology
G. Mohan , Indian Institute of Technology
pp. 94

Interference Robust TCP (Abstract)

Bhaskar Maruthi , Cisco Systems
Murat Azizoglu , University of Washington
Arun K. Somani , Iowa State University
pp. 102

Effect of Failures on Optimal Location Management Algorithms (Abstract)

Arun K. Somani , Iowa State University
Govind Krishnamurthi , Iowa State University
pp. 110
Session 5: Panel

COTS Hardware and Software in High-Availability Systems (Abstract)

D. Powell , LAAS
A. Avizienis , University of California at Los Angeles
Ravi K. Iyer , University of Illinois at Urbana-Champaign
J. Samson , Honeywell
H. Levendel , Motorola
D. Barron , Compaq
pp. 120
Session 6A: Diagnosis and Reconfiguration, Chair: Weiping Shi, University of North Texas, USA

Efficient Network-Flow Based Techniques for Dynamic Fault Reconfiguration in FPGAs (Abstract)

Nihar R. Mahapatra , State University of New York at Buffalo
Shantanu Dutt , University of Illinois at Chicago
pp. 122

Two-Step Algorithms for Maximal Diagnosis of Wiring Interconnects (Abstract)

Wenyi Feng , Lucent Technologies
Fred J. Meyer , Northeastern University
Fabrizio Lombardi , Northeastern University
pp. 130
Session 6B: Fast Abstracts I
Session 7A: CORBA and Group Communication, Chair: Richard Buskens, Bell Laboratories, USA

A Fault Tolerance Framework for CORBA (Abstract)

L.E. Moser , University of California at Santa Barbara
P. Narasimhan , University of California at Santa Barbara
P.M. Melliar-Smith , University of California at Santa Barbara
pp. 150

The Performance of Database Replication with Group Multicast (Abstract)

JoAnne Holliday , University of California at Santa Barbara
Amr El Abbadi , University of California at Santa Barbara
Divykant Agrawal , University of California at Santa Barbara
pp. 158

Design, Implementation and Performance Evaluation of a CORBA Group Communication Service (Abstract)

Shivakant Mishra , University of Wyoming
Lan Fei , University of Wyoming
Guming Xing , University of Wyoming
pp. 166
Session 7B: Coding and On-Line Testing, Chair: Hideo Fujiwara, Nara Institute of Science and Technology, Japan

Fault Tolerance, Channel Coding and Arithmetic Source Coding Combined (Abstract)

Ranjit Manomohan , University of California at Davis
G. Robert Redinbo , University of California at Davis
pp. 200

On the Necessity of On-line-BIST in Safety-Critical Applications - A Case-Study (Abstract)

Christoph Scherrer , Technical University at Vienna
Andreas Steininger , Technical University at Vienna
pp. 208
Session 7C: Fast Abstracts II
Session 8A: Software Demonstrations and Practical Experience Reports, Chair: Jeff Zhou, AlliedSignal Inc., USA

Winckp: A Transparent Checkpointing and Rollback Recovery Tool for Windows NT Applications (Abstract)

Chung-Yih Wang , Academia Sinica
P. Emerald Chung , Lucent Technologies
Woei-Jyh Lee , Lucent Technologies
Deron Liang , Academia Sinica
pp. 220

A User-level Checkpointing Library for POSIX Threads Programs (Abstract)

William R. Dieter , University of Kentucky
James E. Lumpp Jr , University of Kentucky
pp. 224

The DSPNexpress 2.000 Performance and Dependability Modeling Environment (Abstract)

Christoph Lindemann , University of Dortmund
Andreas Reuys , University of Dortmund
Axel Thümmler , University of Dortmund
pp. 228

The Galileo Fault Tree Analysis Tool (Abstract)

Kevin J. Sullivan , University of Virginia
Joanne Bechta Dugan , University of Virginia
David Coppit , University of Virginia
pp. 232
Session 8B: Special Seminar
Session 8C: Posters and Round Table, Chair: Nirmal Saxena, Stanford University, USA
Session 9A: Checkpointing II, Chair: Neeraj Suri, Boston University, USA

An Analysis of Communication-Induced Checkpointing (Abstract)

Lorenzo Alvisi , University of Texas at Austin
Asanka de Mel , University of Texas at Austin
Syed Amir Husain , University of Texas at Austin
Sriram Rao , University of Texas at Austin
pp. 242
Session 9B: Testing, Chair: Kozo Kinoshita, Osaka University, Japan

Reducing Test Application Time for Full Scan Embedded Cores (Abstract)

Janak H. Patel , University of Illinois at Urbana-Champaign
Ilker Hamzaoglu , University of Illinois at Urbana-Champaign
pp. 260
Session 10A: Networking Issues II, Chair: Parmesh Ramanathan, University of Wisconsin at Madison, USA

Experimental Study of Internet Stability and Backbone Failures (Abstract)

Abha Ahuja , University of Michigan
Craig Labovitz , University of Michigan
Farnam Jahanian , University of Michigan
pp. 278

A Columbus' Egg Idea for CAN Media Redundancy (Abstract)

Paulo Verissimo , Universidade Tecnica de Lisboa
Jose Rufino , Universidade Tecnica de Lisboa
Guilherme Arroz , Universidade Tecnica de Lisboa
pp. 286

Message Logging in Mobile Computing (Abstract)

Kuo-Feng Ssu , University of Illinois
Bin Yao , Purdue University
W. Kent Fuchs , Purdue University
pp. 294
Session 11A: Dependability Evaluation, Chair: Jean-Claude Laprie, LAAS-CNRS, France

Evaluating the Effectiveness of Fault Tolerance in Replicated Database Management Systems (Abstract)

Svein-Olaf Hvasshovd , Norwegian University of Science and Technology
Maitrayi Sabaratnam , Norwegian University of Science and Technology
pp. 306

Identification of Test Cases Using a Formal Approach (Abstract)

Neeraj Suri , Boston University
Purnendu Sinha , Boston University
pp. 314
Session 11B: Practical Experience Reports, Chair: Robert Horst, 3ware, Inc., USA

Real Time Estimation for Usage-Dependent Reliability on a Dual-Backbone Network Subsystem (Abstract)

Lawrence E. James , Raytheon Systems Company
Meng-Lai Yin , Raytheon Systems Company
Raymond V. Hettwer , Raytheon Systems Company
Rafael R. Arellano , Raytheon Systems Company
pp. 340

Wrapping Windows NT Software for Robustness (Abstract)

Matt Schmid , Reliable Software Technologies Corporation
Frank Hill , Reliable Software Technologies Corporation
Anup K. Ghosh , Reliable Software Technologies Corporation
pp. 344

Programmable Memory BIST and a New Synthesis Framework (Abstract)

Shambhu J. Upadhyaya , State University of New York at Buffalo
Kamran Zarrineh , IBM Corporation
pp. 352

Author Index (PDF)

pp. 356
99 ms
(Ver 3.1 (10032016))