Conferences
FastAbstracts
The
History
Archives
of
FastAbstracts
ISSRE
2003
ISSRE 2002
ISSRE
2001
ISSRE 2000
ISSRE 1999
ISSRE 1998
FTCS
1999
FTCS 1998
FTCS-20
The Twentieth Annual International Symposium
on Fault-Tolerant Computing
June 26-28, 1990
Newcastle Upon Tyne, U.K.
**************************************************
Fault-Tolerance in the Advanced Automation System
F. Cristian; pg.6
Anomaly Detection for Diagnosis
R.A. Maxion; pg.20
A Software Fault-Tolerance Experiment for Space Applications
D. Simon, C. Hourtolle, H. Biondi, J. Bernalas, P. Duvernceuil, S. Gallet,
P. Vielcanct, S. De Viguerie, F. Gsell, J.N. Chelotti; 28
An Experience of a Critical Software Development
C. Sayet and E. Pilaud; pg.36
Identifying the Cause of Detected Error
C.J. Walter; pg.48
Polynomial Time Solvable Fault Detection Problems
S. T. Chakradhar, V.D. Agrawal and M.L. Bushnell; pg.56
Three-Valued Neural Networks for Test Generation
H. Fujiwara; pg.64
CATCH: Compiler Assisted Techniques for Checkpointing
C.C. Jim Li and W.K Fuchs; pg.73
Cache-Aided Rollback Error Recovery (CARER) Algorithms for Shared-Memory
Multi-processors
R E. Ahmed, R.C. Frazier and P.N. Marinos; pg.82
Cache Management in a Tightly Coupled Fault-Tolerant Multiprocessor
M. Banatre and P. Joubert; pg.89
Checkpointing and Rollback Recovery in Object-Based Systems
L. Lin and M. Ahamad; pg.97
Design and Analysis of Test Schemes for Algorithm-Based Fault Tolerance
D. Gu, D.J. Rosenkrantz and S.S. Ravi; pg.106
A Novel Concurrent Error Detection Scheme for FFT
Networks
D. Tao, C.R.P. Hartmann and Y.S. Chu; pg.114
A Dependence Graph-Based Approach to the Design of Algorithm-Based Fault-Tolerant
Systems
B. Vinnakota and N.K. Jha; pg.122
Hierarchical Design and Analysis of Fault-Tolerant Multiprocessor Systems
Using Concurrent Error Detection
V.S.S. Nair and J.A. Abraham; pg.130
Loss Tolerant Electronic Wallets
M. Waidner and B. Pfitzmann; pg.140
A Formalism for Monitoring Real-Time Constraints at Run-Time
F. Jahanian and A. Goyal; pg.148
Impact of Reconfiguration Logic on the Optimization of Defect-Tolerant
Integrated Circuits
C. Thibeault, Y. Savaria and J.L. Houle; pg.158
Fault Covers in Reconfigurable PLAs
N. Hasan and C.L. Liu; pg.166
Availability Evaluation of MIN-Connected Multiprocessors Using Decomposition
Technique
C.R. Das, L. Tien and L.N. Bhuyan; pg. 176
Estimates of MTTF and Optimal Number of Spares of Fault-Tolerant Processor
Arrays
Y.X. Wang and J.A.B. Fortes; pg.184
An Analysis of a Reconfigurable Binary Tree Architecture Based on Multiple-Level
Redundancy
Y.Y. Chen and S J. Upadyaya; pg.192
Fault Intolerance of Reconfigurable Systolic Arrays
A. Nayak, N. Santoro and R. Tan; pg. 202
Strategies for Reconfiguring Hypercubes Under Faults
P. Banerjee; pg.210
Distributed Algorithms for Shortest-Path, Deadlock-Free Routing and Broadcasting
in Arbitrarily Faulty Hypercubes
M. Peercy and P. Banerjee; pg.218
Limits to the Fault Tolerance of Feedforward Neural Network with Learning
J.A.G. Nijhuis, B. Hofflinger, A. van Schaik and L. Spaanenburg; pg.228
Effects of Transient Gate-Level Faults on Program Behavior E.W. Czech
ancf D.P. Siewiorek; pg.236
Failure Analysis and Modeling of a VAXcluster System
D. Tang, R.K. Iyer and S.S. Subramani; pg.244
Zero Aliasing Compression
S.K. Gupta, D. Pradhan and S.M. Reddy; pg.254
Signature Analysers Based on Additive Cellular Automata
A.K. Das, D. Saha, A. Roychowdury, S. Misra and P.P. Chaudhuri; pg.265
Burst Asymmetric/Unidirectional Error Correcting/Detecting Codes
S. Park and B. Bose; pg.273
A Highly Decentralized Implementation Model for the Programmer-Transparent
Coordination (PTC) Scheme for Cooperative Recovery
K.H. Kim and J H. You; pg.282
A Fault-Tolerant Strategy for Hierchical Control in Distributed Computer
System
P. Goyer, P. Momatahan and B. Selic; pg.290
Static Allocation of Process Replicas in Fault-Tolerant Computing Systems
L.J.M. Nieuwenhuis; pg.298
Specification and Proof of a Distributed Recovery Algorithm for Functional
Languages
X. Ye, B.C. Warboys and J.A. Keane; pg.307
Reliable Diagnosis and Repair in Constant-Degree Multiprocessor Systems
D.M. Blough and A. Pelc; pg.316
Optimal Multiple Syndrome Probablistic Diagnosis
S. Li and K.G. Shin; pg.324
Practical Application and Implementation of Distributed System-Level Diagnosis
Theory
R. Bianchini,Jr., K. Goodwin and D.S. Nydick; pg.332
Distributed Probabilistic Fault Diagnosis for Multiprocessor Systems
P. Berman and A. Pelc; pg.340
On the Modeling of Workload-Dependent Memory
Faults
J. Dunkel; pg.348
On the Modeling and Testing of Recovery Block Structures
G. Pucci; pg.356
The Transformation Approach to the Modeling and Evaluation of the Reliability
and Availability Growth
J.C. Laprie, C. Beounes, M. Kaaniche and K. Kanoun; pg.364
On the Design of Path Delay Fault-Testable Combinational Logic Circuits
A.K. Pramanick and S.M. Reddy; pg.374
Fault Detection and Diagnosis of k-UCPP Circuits Under Totally Observable
Condition
W. Xiaoqing and K. Kinoshita; pg.382
Optimized Synthesis of Self-Testable Finite State Machines B. Eschermann
and H.J. Wunderlich; pg.390
Techniques for Building Dependable Distributed Systems: Multi-Version
Software Testing
J.P. Kelly, T.I. McVittie and S.C. Murphy; pg.400
On the Performance of Testing Software Using Multiple Versions
S.S. Brilliant, J.C. Knight and P.E. Ammann; pg.408
Error Models for Robust Storage Structures
D J. Taylor; pg.416
Using Certification Trails to Achieve Software Fault Tolerance
G F. Sullivan and G.M. Masson; pg.423
Concurrent Error Detection and Correction in Real-Time Systolic Sorting
Arrays
S.C. Liang and S.Y. Kuo; pg.434
A Software-Based Approach to Achieving Optimal Performance for Signature
Control Flow Checking
N.J. Warter and W.M.W. Hwu; pg.442
Design of Microprocessors with Built-In On-Line Test
R. Leveugle, T. Michel and G. Saucier; pg.450
The Minimal Test Set for Sorting Networks and The Use in Sorting Networks
in Self-Testing Checkers for Unordered Codes
S.J. Piestrak; pg.457
Tolerating Transient Faults in MARS
H. Kopetz, H. Kantz, G. Grunsteidl, P. Puschner and J. Reisinger; pg.466
The Error-Resistant Interactively Consistent
Architecture ERICA)
C.J.L. van Driel, R.J.B. Follon, A.A. Kohler, R.P.M. van Osch, J.M. Spanjers;
pg.474
The Delta-4 Extra Performance Architecture (XPA)
P.A. Barrett, A.M. Hilborne, P.G. Bond, D.T. Seaton,
P. Verissimo, L. Rodriguez, N.A. Speirs; pg.481
Fast Simulation of Large Markovian Reliability/Availability Models for
Repairable Fault-Tolerant Computer Systems
J.A. Carrasco; pg.490
Fast Simulation of Dependability Models with General Failure, Repair and
Maintenance Processes
V.K. Nicola, M.K. Nakayama, P. Heidelberger and A. Goyal; pg.491
Modeling Recovery Time Distributions in Ultrareliable Fault-Tolerant Systems
R. Geist, M. Smotherman and R. Talley; pg.499