22. FTCS 1992: Boston, Massachusetts, USA

Digest of Papers: FTCS-22, The Twenty-Second Annual International Symposium on Fault-Tolerant Computing, July 8-10, 1992, Boston, Massachusetts, USA. IEEE Computer Society, 1992, ISBN 0-8186-2875-8

Panel: State-of-the-Practice in Fault Tolerance

Architecture

G. Robert Redinbo: Protecting Processing Elements in Communication Satellites. 8-17 BibTeX
E. N. Elnozahy, Willy Zwaenepoel: Replicated Distributed Process in Manetho. 18-27 BibTeX
Marc Chérèque, David Powell, Philippe Reynier, Jean-Luc Richier, Jacques Voiron: Active Replication in Delta-4. 28-37 BibTeX
Lisa Spainhower, Jack Isenberg, Ram Chillarege, Joseph Berding: Design for Fault-Tolerance in System ES/9000 Model 900. 38-47 BibTeX

Recovery

Pankaj Jalote: Dynamic Reconfiguration of CSP Programs for Fault Tolerance. 50-56 BibTeX
Ramesh Karri, Alex Orailoglu: Scheduling with Rollback Constraints in High-Level Synthesis of Self-Recovering ASICs. 519-526 BibTeX
Junsheng Long, W. Kent Fuchs, Jacob A. Abraham: Compiler-Assisted Static Checkpoint Insertion. 58-65 BibTeX
Neal J. Alewine, Shyh-Kwei Chen, Chung-Chi Jim Li, W. Kent Fuchs, Wen-mei W. Hwu: Branch Recovery with Compiler-Assisted Multiple Instruction Retry. 66-73 BibTeX

Communication Protocols

Yair Amir, Danny Dolev, Shlomo Kramer, Dalia Malki: Transis: A Communication Subsystem for High Availability. 76-84 BibTeX
Paulo Veríssimo, Luís Rodrigues: A posteriori Agreement for Fault-Tolerant Clock Synchronization on Broadcast Networks. 527-536 BibTeX
Qin Zheng, Kang G. Shin: Fault-Tolerant Real-Time Communication in Distributed Computing Systems. 86-93 BibTeX

Self-Checking and Diagnosis

Takashi Nanya, Shin'ichi Hatakenaka, Ryuichi Onoo: Design of Fully Exercised SFS/SCD Logic Networks. 96-103 BibTeX
Jien-Chung Lo, James C. Daly, Michael Nicolaidis: Design of Static CMOS Self-Checking Circuits using Built-In Current Sensing. 104-111 BibTeX
Mark G. Karpovsky, Saeed M. Chaudhry, Lev B. Levitin: Multiple Signature Analysis: A Framework for Built-In Self-Diagnostic. 112-119 BibTeX

Modelling and Simulation

Dov Bulka, Joanne Bechta Dugan: Design and Analysis of Multibus Systems Using Projective Geometry. 122-129 BibTeX
Victor F. Nicola, Philip Heidelberger, Perwez Shahabuddin: Uniformization and Exponential Transformation: Techniques for Fast Simulation of Highly Dependable Non-Markovian Systems. 130-139 BibTeX
Arif Merchant, Philip S. Yu: Design and Modeling of Clustered RAID. 140-149 BibTeX
Sandeep Juneja, Perwez Shahabuddin: Fast Simulation of Markovian Reliability/Availability Models with General Repair Policies. 150-159 BibTeX

Fault-Tolerant Hypercubes and Meshes

Jehoshua Bruck, Robert Cypher, Ching-Tien Ho: Efficient Fault-Tolerant Mesh and Hypercube Architectures. 162-169 BibTeX
C. S. Raghavendra, Pei-Ji Yang, Sing-Ban Tien: Free Dimensions - An Effective Approach to Achieving Fault Tolerance in Hypercubes. 170-177 BibTeX
Shahram Latifi, Si-Qing Zheng, Nader Bagherzadeh: Optimal Ring Embedding in Hypercubes with Faulty Links. 178-184 BibTeX
M. Sultan Alam, Rami G. Melhem: Routing in Modular Fault Tolerant Multiprocessor Systems. 185-193 BibTeX

Scheduling and Fault Classification

Dar-Tzen Peng: Performance Bounds in List Scheduling of Redundant Tasks on Multi-Processors. 196-203 BibTeX
Yi-Min Wang, W. Kent Fuchs: Scheduling Message Processing for Reducing Rollback Propagation. 204-211 BibTeX
Neeraj Suri, M. M. Hugue, Chris J. Walter: Reliability Modeling of Large Fault-Tolerant Systems. 212-220 BibTeX
Jeffery P. Hansen, Daniel P. Siewiorek: Models for Time Coalescence in Event Logs. 221-227 BibTeX

Test Pattern Generation

Irith Pomeranz, Sudhakar M. Reddy: A Divide-And-Conquer Approach to Test Generation for Large Synchronous Sequential Circuits. 230-237 BibTeX
Mandyam-Komar Srinivas, James Jacob, Vishwani D. Agrawal: Finite State Machine Testing Based on Growth and Dissappearance Faults. 238-245 BibTeX
Takayuli Fujino, Hideo Fujiwara: An Efficient Test Generation Algorithm Based on Search State Dominance. 246-253 BibTeX
Silvio Bou-Ghazale, Peter N. Marinos: Testing with Correlated Test Vectors. 254-262 BibTeX
Seiji Kajihara, Haruko Shiba, Kozo Kinoshita: Removal of Redundancy in Logic Circuits under Classification of Undetectable Faults. 263-270 BibTeX

Synthesis for Testability and Fault Protection

Ashutosh Mujumdar, Kewal K. Saluja, Rajiv Jain: Incorporating Testability Considerations in High-Level Systhesis. 272-279 BibTeX
Niraj K. Jha, Irith Pomeranz, Sudhakar M. Reddy, Robert J. Miller: Synthesis of Multi-Level Combinational Circuits for Complete Robust Path Delay Fault Testability. 280-287 BibTeX
Alexandre Yakovlev: A Structural Technique For Fault-Protection in Asynchronous Interfaces. 288-295 BibTeX

Control Flow Checking

Bernhard Eschermann: On Combining Off-Line BIST and On-Line Control Flow Checking. 298-305 BibTeX
Scott H. Robinson, John Paul Shen: Direct Methods for Synthesis of Self-Monitoring State Machines. 306-315 BibTeX
Joakim Ohlsson, Marcus Rimén, Ulf Gunneflo: A Study of the Effects of Transient Fault Injection into a 32-bit RISC with Built-in Watchdog. 316-325 BibTeX

Fault Injection

Ghassem Miremadi, Johan Karlsson, Ulf Gunneflo, Jan Torin: Two Software Techniques for On-line Error Detection. 328-335 BibTeX
Ghani A. Kanawati, Nasser A. Kanawati, Jacob A. Abraham: FERRARI: A Tool for The Validation of System Dependability Properties. 336-344 BibTeX
Dimiter R. Avresky, Jean Arlat, Jean-Claude Laprie, Yves Crouzet: Fault Injection for the Formal Testing of Fault Tolerance. 345-354 BibTeX

Wafer Testing and Defect Tolerance

Charles H. Stapper: A New Statistical Approach for Fault-Tolerant VLSI Systems. 356-365 BibTeX
Adit D. Singh, C. Mani Krishna: Chip Test Optimization Using Defect Clustering Information. 366-373 BibTeX
Kaiyuan Huang, Vinod K. Agarwal, Laurence E. LaForge: Wafer Testing with Pairwise Comparisons. 374-383 BibTeX

Fault Tolerance Theory

David Powell: Failure Mode Assumptions and Assumption Coverage. 386-395 BibTeX
Anish Arora, Mohamed G. Gouda: Closure and Convergence: A Formulation of Fault-Tolerant Computing. 396-403 BibTeX
Behrooz Parhami: Optimal Algorithms for Exact, Inexact, and Approval Voting. 404-411 BibTeX
Yoichi Koyanagi, Yoshihiro Tohma: Fault Tolerant Neural Networks in Optimization Problems. 412-418 BibTeX

System Fault Detection and Reconfiguration

Jamlung Sung, G. Robert Redinbo: Protecting Practical FFT Implementations that Share Common Processing Elements. 420-429 BibTeX
Fikri T. Assaad, Shantanu Dutt: More Robust Tests in Algorithm-Based Fault-Tolerant Matrix Multiplication. 430-439 BibTeX
Srinivasan Tridandapani, Arun K. Somani: Efficient Utilization of Spare Capacity for Fault Detection and Location in Multiprocessor Systems. 440-447 BibTeX
Michael Peercy, Prithviraj Banerjee: Design and Analysis of Software Reconfiguration Strategies for Hypercube Multicomputers under Multiple Faults. 448-455 BibTeX

Field Experience

Andrew L. Reibman: Outage Times in Fault-Tolerant Systems. 458-462 BibTeX
Ann C. Merenda, Ed Merenda: Recovery/Serviceability System Test Improvements for the IBM ES/9000 520 Based Models. 463-467 BibTeX
Robert P. Colwell: Latent Design Faults in the Development of Multiflow's TRACE/200. 468-474 BibTeX
Mark Sullivan, Ram Chillarege: A Comparison of Software Defects in Database Management Systems and Operating Systems. 475-484 BibTeX

Error-Correcting Codes

Mario Blaum, Jehoshua Bruck: Unordered Error-Correcting Codes and their Applications. 468-493 BibTeX
Eiji Fujiwara, Mitsuru Hamada: Single b-Bit Byte Error Correcting and Double Bit Error Detecting Codes for High-Speed Memory Systems. 494-501 BibTeX
T. R. N. Rao, Gui Liang Feng, Mahadev S. Kolluru: Efficient Multiple Unidirectional Byte Error-Detecting Codes for Computer Memory Systems. 502-509 BibTeX
Sulaiman Al-Bassam, Gowri Ramanathan, Bella Bose: Improved Construction Methods for Error Correcting Constant Weight Codes. 510-517 BibTeX