The Community for Technology Leaders
Digest of Papers. Fault-Tolerant Computing: 20th International Symposium (1990)
Newcastle Upon Tyne, UK
June 26, 1990 to June 28, 1990
ISBN: 0-8186-2051-X
TABLE OF CONTENTS

Polynomial time solvable fault detection problems (PDF)

S.T. Chakradhar , Dept. of Comput. Sci., Rutgers Univ., Piscataway, NJ, USA
pp. 56-63

Three-valued neural networks for test generation (PDF)

H. Fujiwara , Dept. of Comput. Sci., Meiji Univ., Kawasaki, Japan
pp. 64-71

CATCH-compiler-assisted techniques for checkpointing (PDF)

C.-C.J. Li , Center for Reliable and High-Performance Comput., Illinois Univ., Urbana, IL, USA
W.K. Fuchs , Center for Reliable and High-Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 74-81

Cache-aided rollback error recovery (CARER) algorithm for shared-memory multiprocessor systems (PDF)

R.E. Ahmed , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
R.C. Frazier , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
P.N. Marinos , Dept. of Electr. Eng., Duke Univ., Durham, NC, USA
pp. 82-88

Cache management in a tightly coupled fault tolerant multiprocessor (PDF)

M. Banatre , IRISA-INRIA, Beaulieu Univ., Rennes, France
P. Joubert , IRISA-INRIA, Beaulieu Univ., Rennes, France
pp. 89-96

Checkpointing and rollback-recovery in distributed object based systems (PDF)

L. Lin , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
M. Ahamad , Sch. of Inf. & Comput. Sci., Georgia Inst. of Technol., Atlanta, GA, USA
pp. 97-104

Design and analysis of test schemes for algorithm-based fault tolerance (PDF)

D. Gu , Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA
D.J. Rosenkrantz , Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA
S.S. Ravil , Dept. of Comput. Sci., State Univ. of New York, Albany, NY, USA
pp. 106-113

A fault-tolerant strategy for hierarchical control in distributed computing systems (PDF)

P. Goyer , Bell-Northern Res., Ottawa, Ont., Canada
P. Momtahan , Bell-Northern Res., Ottawa, Ont., Canada
B. Selic , Bell-Northern Res., Ottawa, Ont., Canada
pp. 290-297

Static allocation of process replicas in fault tolerant computing systems (PDF)

L.J.M. Neiuwenhuis , PTT Res. Neher Lab., Leidschendam, Netherlands
pp. 298-306

A novel concurrent error detection scheme for FFT networks (PDF)

D.L. Tao , Dept. of Electr. Eng., State Univ. of New York, Stony Brook, NY, USA
pp. 114-121

A dependence graph-based approach to the design of algorithm-based fault tolerant systems (PDF)

B. Vinnakota , Dept. of Electr. Eng., Princeton Univ., NJ, USA
N.K. Jha , Dept. of Electr. Eng., Princeton Univ., NJ, USA
pp. 122-129

Hierarchical design and analysis of fault-tolerant multiprocessor systems using concurrent error detection (PDF)

V.S.S. Nair , Center for Reliable and High Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 130-137

Loss-tolerance for electronic wallets (PDF)

M. Waidner , Inst. fuer Rechnerentwurf and Fehlertoleranz, Karlsruhe Univ., West Germany
pp. 140-147

A formalism for monitoring real-time constraints at run-time (PDF)

F. Jahanian , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
A. Goyal , IBM Thomas J. Watson Res. Center, Yorktown Heights, NY, USA
pp. 148-155

Impact of reconfiguration logic on the optimization of defect-tolerant integrated circuits (PDF)

C. Thibeault , Dept. of Electr. Eng., Ecole Polytech. de Montreal, Que., Canada
J.L. Houle , Dept. of Electr. Eng., Ecole Polytech. de Montreal, Que., Canada
pp. 158-165

Fault covers in reconfigurable PLAs (PDF)

N. Hasan , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
C.L. Liu , Dept. of Comput. Sci., Illinois Univ., Urbana, IL, USA
pp. 166-173

Availability evaluation of MIN-connected multiprocessors using decomposition technique (PDF)

C.R. Das , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
L. Tien , Dept. of Electr. Eng., Pennsylvania State Univ., University Park, PA, USA
pp. 176-183

Estimates of MTTF and optimal number of spares of fault-tolerant processor arrays (PDF)

Y.X. Wang , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
J.A.B. Fortes , Sch. of Electr. Eng., Purdue Univ., West Lafayette, IN, USA
pp. 184-191

Fault-tolerance in the Advanced Automation System (PDF)

F. Cristian , IBM Almaden Res. Center, San Jose, CA, USA
pp. 6-17

Anomaly detection for diagnosis (PDF)

R.A. Maxion , Sch. of Comput. Sci., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 20-27

A software fault tolerance experiment for space applications (PDF)

D. Simon , Centre Nat. d'Etudes Spatiales, Toulouse, France
C. Hourtolle , Centre Nat. d'Etudes Spatiales, Toulouse, France
H. Biondi , Centre Nat. d'Etudes Spatiales, Toulouse, France
pp. 28-35

Identifying the cause of detected errors (PDF)

C.J. Walter , Allied-Signal Aerosp. Co., Columbia, MD, USA
pp. 48-55

An analysis of a reconfigurable binary tree architecture based on multiple-level redundancy (PDF)

Y.-Y. Chen , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
S.J. Upadhyaya , Dept. of Electr. & Comput. Eng., State Univ. of New York, Buffalo, NY, USA
pp. 192-199

Fault-intolerance of reconfigurable systolic arrays (PDF)

A. Nayak , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
N. Santoro , Sch. of Comput. Sci., Carleton Univ., Ottawa, Ont., Canada
pp. 202-209

Strategies for reconfiguring hypercubes under faults (PDF)

P. Banerjee , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 210-217

Distributed algorithms for shortest-path, deadlock-free routing and broadcasting in arbitrarily faulty hypercubes (PDF)

M. Peercy , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
P. Banerjee , Coordinated Sci. Lab., Illinois Univ., Urbana, IL, USA
pp. 218-225

Limits to the fault-tolerance of a feedforward neural network with learning (PDF)

J. Nijhuis , Inst. for Microelectron. Stuttgart, West Germany
B. Hofflinger , Inst. for Microelectron. Stuttgart, West Germany
A. van Schaik , Inst. for Microelectron. Stuttgart, West Germany
L. Spaanenburg , Inst. for Microelectron. Stuttgart, West Germany
pp. 228-235

Effects of transient gate-level faults on program behavior (PDF)

E.W. Czeck , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
D.P. Siewiorek , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 236-243

Failure analysis and modeling of a VAXcluster system (PDF)

D. Tang , Center for Reliable & High-Performance Comput., Illinois Univ., Urbana, IL, USA
R.K. Iyer , Center for Reliable & High-Performance Comput., Illinois Univ., Urbana, IL, USA
S.S. Subramani , Center for Reliable & High-Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 244-251

Zero aliasing compression (PDF)

S.K. Gupta , Dept. of Electr. & Comput. Eng., Massachusetts Univ., Amherst, MA, USA
D.K. Pradhan , Dept. of Electr. & Comput. Eng., Massachusetts Univ., Amherst, MA, USA
pp. 254-263

Signature analysers based on additive cellular automata (PDF)

A.K. Das , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
D. Saha , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
A.R. Chowdhury , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
S. Misra , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
P.P. Chaudhuri , Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kharagpur, India
pp. 265-272

Burst asymmetric/unidirectional error correcting/detecting codes (PDF)

S. Park , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
B. Bose , Dept. of Comput. Sci., Oregon State Univ., Corvallis, OR, USA
pp. 273-280

Specification and proof of a distributed recovery algorithm (PDF)

X. Ye , Dept. of Comput. Sci., Manchester Univ., UK
B.C. Warboys , Dept. of Comput. Sci., Manchester Univ., UK
J.A. Keane , Dept. of Comput. Sci., Manchester Univ., UK
pp. 307-314

Reliable diagnosis and repair in constant-degree multiprocessor systems (PDF)

D.M. Blough , Dept. of Electr. & Comput. Eng., California Univ., Irvine, CA, USA
pp. 316-323

Optimal multiple syndrome probabilistic diagnosis (PDF)

S. Lee , Dept. of Electr. Eng., Delaware Univ., Newark, DE, USA
pp. 324-331

Practical application and implementation of distributed system-level diagnosis theory (PDF)

R. Bianchini , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
K. Goodwin , Dept. of Electr. & Comput. Eng., Carnegie Mellon Univ., Pittsburgh, PA, USA
pp. 332-339

Design of microprocessors with built-in on-line test (PDF)

R. Leveugle , Inst. Nat. Polytech. de Grenoble/CSI, France
T. Michel , Inst. Nat. Polytech. de Grenoble/CSI, France
G. Saucier , Inst. Nat. Polytech. de Grenoble/CSI, France
pp. 450-456

Distributed probabilistic fault diagnosis for multiprocessor systems (PDF)

P. Berman , Dept. of Comput. Sci., Pennsylvania State Univ., University Park, PA, USA
pp. 340-346

Tolerating transient faults in MARS (PDF)

H. Kopetz , Inst. fuer Tech. Inf., Tech. Univ. Wien, Austria
H. Kantz , Inst. fuer Tech. Inf., Tech. Univ. Wien, Austria
G. Grunsteidl , Inst. fuer Tech. Inf., Tech. Univ. Wien, Austria
P. Puschner , Inst. fuer Tech. Inf., Tech. Univ. Wien, Austria
J. Reisinger , Inst. fuer Tech. Inf., Tech. Univ. Wien, Austria
pp. 466-473

The error-resistant interactively consistent architecture (ERICA) (PDF)

C.-J.L. van Driel , Philips Res. Lab., Eindhoven, Netherlands
R.J.B. Follon , Philips Res. Lab., Eindhoven, Netherlands
A.A.C. Kohler , Philips Res. Lab., Eindhoven, Netherlands
R.P.M. van Osch , Philips Res. Lab., Eindhoven, Netherlands
J.M. Spanjers , Philips Res. Lab., Eindhoven, Netherlands
pp. 474-480

The Delta-4 extra performance architecture (XPA) (PDF)

P.A. Barret , Mari appl. Technol. Ltd., Gateshead, UK
A.M. Hilborne , Mari appl. Technol. Ltd., Gateshead, UK
pp. 481-488

On the modeling of workload dependent memory faults (PDF)

J. Dunkel , Dortmund Univ., West Germany
pp. 348-355

On the modelling and testing of recovery block structures (PDF)

G. Pucci , Comput. Lab., Newcastle upon Tyne Univ., UK
pp. 356-363

The transformation approach to the modeling and evaluation of the reliability and availability growth (PDF)

J.C. Laprie , LAAS-CNRS, Toulouse, France
C. Beounes , LAAS-CNRS, Toulouse, France
M. Kaaniche , LAAS-CNRS, Toulouse, France
K. Kanoun , LAAS-CNRS, Toulouse, France
pp. 364-371

On the design of path delay fault testable combinational circuits (PDF)

A.K. Pramanick , Dept. of Electr. & Comput. Eng., Iowa Univ., IA, USA
S.M. Reddy , Dept. of Electr. & Comput. Eng., Iowa Univ., IA, USA
pp. 374-381

Fault detection and diagnosis of k-UCP circuits under totally observable condition (PDF)

W. Xiaoqing , Dept. of Appl. phys., Osaka Univ., Japan
K. Kinoshita , Dept. of Appl. phys., Osaka Univ., Japan
pp. 382-389

Optimized synthesis of self-testable finite state machines (PDF)

B. Eschermann , Inst. fuer Rechnerentwurf & Fehlertoleranz, Karlsruhe Univ., West Germany
H.-J. Wunderlich , Inst. fuer Rechnerentwurf & Fehlertoleranz, Karlsruhe Univ., West Germany
pp. 390-397

Techniques for building dependable distributed systems: multi-version software testing (PDF)

J.P.J. Kelly , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
T.I. McVittie , Dept. of Electr. & Comput. Eng., California Univ., Santa Barbara, CA, USA
pp. 400-407

On the performance of software testing using multiple versions (PDF)

S.S. Brilliant , Dept. of Math. Sci., Virginia Commonwealth Univ., Richmond, VA, USA
pp. 408-415

Error models for robust storage structures (PDF)

D.J. Taylor , Dept. of Comput. Sci., Waterloo Univ., Ont., Canada
pp. 416-422

Using certification trails to achieve software fault tolerance (PDF)

G.F. Sullivan , Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
G.M. Masson , Dept. of Comput. Sci., Johns Hopkins Univ., Baltimore, MD, USA
pp. 423-431

Concurrent error detection and correction in real-time systolic sorting arrays (PDF)

S.-C. Liang , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
S.-Y. Kuo , Dept. of Electr. & Comput. Eng., Arizona Univ., Tucson, AZ, USA
pp. 434-441

A software based approach to achieving optimal performance for signature control flow checking (PDF)

N.J. Warter , Center for Reliable High-Performance Comput., Illinois Univ., Urbana, IL, USA
W.-m.W. Hwu , Center for Reliable High-Performance Comput., Illinois Univ., Urbana, IL, USA
pp. 442-449

Modeling recovery time distributions in ultrareliable fault-tolerant systems (PDF)

R. Geist , Dept. of Comput. Sci., Clemson Univ., SC, USA
M. Smotherman , Dept. of Comput. Sci., Clemson Univ., SC, USA
R. Talley , Dept. of Comput. Sci., Clemson Univ., SC, USA
pp. 499-504
80 ms
(Ver 3.3 (11022016))