Message from the General Chair (PDF)

Message from the Conference Chair (PDF)

Message from the Program Chairs (PDF)

FTCS-26 Organizing Committee (PDF)

Conference Committee (PDF)

Program Committee (PDF)

Fund Raising Committee (PDF)

Reviewers (PDF)

"Availability of Commercial Parallel Systems" (PDF)

Reconfiguration and transient recovery in state machine architectures (Abstract)

Recoverable mobile environment: design and trade-off analysis (Abstract)

Evaluating quorum systems over the Internet (Abstract)

A fault simulation method for crosstalk faults in synchronous sequential circuits (Abstract)

Random pattern testing for sequential circuits revisited (Abstract)

Dynamic test compaction for synchronous sequential circuits using static compaction techniques (Abstract)

FT-NFS: an efficient fault-tolerant NFS server designed for off-the-shelf workstations (Abstract)

Design and evaluation of fault-tolerant shared file system for cluster systems (Abstract)

Multiple fault diagnosis in sequential circuits using sensitizing sequence pairs (Abstract)

Fault diagnosis using state information (Abstract)

Modeling the dependability of CAUTRA, a subset of the French air traffic control system (Abstract)

A new methodology for calculating distributions of reward accumulated during a finite interval (Abstract)

Algebraic techniques for the optimization of control flow checking (Abstract)

Executable assertions and timed traces for on-line software error detection (Abstract)

"Dependability of Raitway Control Systems" (Abstract)

A multiple bus broadcast protocol resilient to non-cooperative Byzantine faults (Abstract)

Consensus service: a modular approach for building agreement protocols in distributed systems (Abstract)

Group, majority, and strict agreement in timed asynchronous distributed systems (Abstract)

Optimal two-level unequal error control codes for computer systems (Abstract)

Symbol error correcting codes for memory applications (Abstract)

Limitations of VLSI implementation of delay-insensitive codes (Abstract)

Verification of fault tolerance and real time (Abstract)

A framework for conformance testing of systems communicating through rendezvous (Abstract)

Mitigating operator-induced unavailability by matching imprecise queries (Abstract)

Supporting nondeterministic execution in fault-tolerant systems (Abstract)

Reliable broadcasting in product networks with Byzantine faults (Abstract)

Hardware-efficient and highly-reconfigurable 4- and 2-track fault-tolerant designs for mesh-connected multicomputers (Abstract)

Spare processor allocation for fault tolerance in torus-based multicomputers (Abstract)

A comparative analysis of event tupling schemes (Abstract)

Generation of an error set that emulates software faults based on field data (Abstract)

An approach towards benchmarking of fault-tolerant commercial systems (Abstract)

The design of totally self-checking checkers for some classes of Hadamard codes (Abstract)

Behavioral synthesis of fault secure controller/datapaths using aliasing probability analysis (Abstract)

Efficient service of rediscovered software problems (Abstract)

Formal methods for the validation of fault tolerance in autonomous spacecraft (Abstract)

Compiler-assisted generation of error-detecting parallel programs (Abstract)

Evaluation of checkpoint mechanisms for massively parallel machines (Abstract)

The redundancy mechanisms of the Ariane 5 Operational Control Center (Abstract)

Highly available directory services in DCE (Abstract)

Experimental evaluation of the fail-silent behaviour in programs with consistency checks (Abstract)

Testing of fault-tolerant and real-time distributed systems via protocol fault injection (Abstract)

Experimental assessment of parallel systems (Abstract)

Self-checking and fail-safe LSIs by intra-chip redundancy (Abstract)

Technologies for designing dependable A/D converters (Abstract)

Two error-detecting and correcting circuits for space applications (Abstract)

Author Index (PDF)