23. FTCS 1993: Toulouse, France System Level Fault Tolerance
export record as
dblp key:
export record as
dblp key:
conf/ftcs/RussinovichSS93 export record as
dblp key:
export record as
dblp key:
Dependability Modeling
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ftcs/BalakrishnanR93 export record as
dblp key:
Dependability Measurement and Assessment
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Peter G. Bishop :
The Variation of Software Survival Time for Different Operational Input Profiles.
98-107
Error-Control Coding
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Checkpointing and Recovery
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fault Injection
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fault-Tolerant Networks
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Application-Based Fault Tolerance
export record as
dblp key:
export record as
dblp key:
conf/ftcs/Roy-ChowdhuryB93 export record as
dblp key:
G. Robert Redinbo :
Optimum Detector/Corrector for Fault-Tolerant Linear Processing.
299-308
Simulation and Fault Modeling
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Built-in-Self-Test and High-Level Testing
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
conf/ftcs/VishakantaiahA93
Formal Methods and Distributed Algorithms
export record as
dblp key:
Henning Koch :
An Efficient Replication Protocol Exploiting Logical Tree Structures.
382-391
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Dependability and Performance of Storage Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
System Level Diagnosis
export record as
dblp key:
Andrzej Pelc :
Efficient Distributed Diagnosis in the Presence of Random Faults.
462-469
export record as
dblp key:
export record as
dblp key:
Testability and Fault Tolerance Synthesis
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Fault-Tolerant Distributed Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Birgit Baum-Waidner :
Byzantine Agreement with a Minimum Number of Messages Both in the Faultless and Worst Case.
554-563
Concurrent Error Detection and Data Integrity
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Panel:
Limits in Dependability
export record as
dblp key:
Practical Experience Reports I
export record as
dblp key:
export record as
dblp key:
Practical Experience Reports II
export record as
dblp key:
export record as
dblp key:
W. David Shambroom :
Use of Protocol Validation and Verification Techniques in the Design of a Fault-Tolerant Computer Architecture.
636-640
export record as
dblp key:
Software Demonstrations I
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
Software Demonstrations II
export record as
dblp key:
conf/ftcs/BeoumesKALAMBS93 C. Béoumes ,
Karama Kanoun ,
Martine Aguera ,
Jean-Claude Laprie ,
Jean Arlat ,
Sylvain Metge ,
S. Bachmann ,
Jorge Moreira de Souza ,
C. Bourdeau ,
David Powell ,
J.-E. Doucet ,
P. Spiesser :
SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems.
668-673
export record as
dblp key:
export record as
dblp key:
Marc Bouissou :
The FIGARO Dependability Evaluation Workbench in Use: Case Studies for Fault-Tolerant Computer Systems.
680-685
data released under the ODC-BY 1.0 license
