25. FTCS 1995:
Pasadena, California, USA A1 - System Architecture
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
B1 - Synthesis
export record as
dblp key:
conf/ftcs/YotsuyanagiKK95 export record as
dblp key:
export record as
dblp key:
C1 - Software Demonstrations I:
Systems
export record as
dblp key:
export record as
dblp key:
A2 - Interactive Consistency
export record as
dblp key:
Stefan Poledna :
Fault Tolerance in Safety Critical Automotive Applications: Cost of Agreement as a Limiting Factor.
73-82
export record as
dblp key:
export record as
dblp key:
Thijs Krol :
Interactive Consistency Algorithms based on Voting and Error-correcting Codes.
89-98
B2 - Validation and Test
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
C2 - Software Demonstrations II:
Tools
export record as
dblp key:
export record as
dblp key:
A3 - Distributed Algorithms
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
B3 - Panel I:
Dependability of Commercial Systems
A4 - Fault Injection
export record as
dblp key:
export record as
dblp key:
Jens Güthoff ,
Volkmar Sieh :
Combining Software-Implemented and Simulation-Based Fault Injection into a Single Fault Injection Method.
196-206
export record as
dblp key:
B4 - Self-Checking
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
A5 - Modeling and Evaluation
export record as
dblp key:
export record as
dblp key:
conf/ftcs/BalakrishnanT95 export record as
dblp key:
B5 - Distributed Shared Memory
export record as
dblp key:
export record as
dblp key:
conf/ftcs/KermarrecCGMP95 export record as
dblp key:
Andreas Savva ,
Takashi Nanya :
Gracefully Degrading Systems Using the Bulk-Synchronous Parallel Model with Randomised Shared Memory.
299-308
A6 - Coding
export record as
dblp key:
export record as
dblp key:
B6 - Bridging Faults
export record as
dblp key:
export record as
dblp key:
C6 - Checkpointing and Recovery
export record as
dblp key:
export record as
dblp key:
A7a - Software Fault Tolerance
export record as
dblp key:
export record as
dblp key:
A7b - Robust Data Structures
export record as
dblp key:
export record as
dblp key:
B7 - Panel II:
Dependability of Medical Computing
A8 - Measurement
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
B8 - Practical Experience Reports I:
Architecture
export record as
dblp key:
Heinz Kantz ,
Christian Koza :
The ELEKTRA Railway Signalling-System: Field Experience with an Actively Replicated System with Diversity.
453-458
export record as
dblp key:
export record as
dblp key:
conf/ftcs/SaxenaCSOTLCDPLC95 Nirmal R. Saxena ,
Chien Chen ,
Ravi Swami ,
Hideki Osone ,
Shalesh Thusoo ,
David Lyon ,
David Chang ,
Anand Dharmaraj ,
Niteen Patkar ,
Yizhi Lu ,
Ben Chia :
Error Detection and Handling in a Superscalar, Speculative Out-of-Order Execution Processor System.
464-471
export record as
dblp key:
conf/ftcs/TurumellaKBMTNSC95
A9 - Object-Oriented Systems
export record as
dblp key:
export record as
dblp key:
export record as
dblp key:
B9 - Practical Experience Reports II:
Assessment
export record as
dblp key:
conf/ftcs/VardanegaDCMMA95 export record as
dblp key:
Ronald Riter :
Modeling and Testing a Critical Fault-Tolerant Multi-Process System.
516-521
export record as
dblp key:
export record as
dblp key:
Panel Synopsis
export record as
dblp key:
export record as
dblp key:
data released under the ODC-BY 1.0 license
