21. FTCS 1991:
Montreal,
Canada
Proceedings of the 1991 International Symposium on Fault-Tolerant Computing,
June 25-27,
1991,
Montreal,
Canada
- Mark Sullivan, Ram Chillarege:
Software Defects and their Impact on System Availability: A Study of Field Failures in Operating Systems.
2-9 BibTeX
- Inhwan Lee, Ravishankar K. Iyer, Dong Tang:
Error/Failure Analysis Using Event Logs from Fault Tolerant Systems.
10-17 BibTeX
- T. R. Dilenno, D. A. Yaskin, James H. Barton:
Fault-Tolerance Testing in the Advanced Automation System.
18-25 BibTeX
- T. Takano, T. Yamada, K. Shutoh, Nobuyasu Kanekawa:
Fault Tolerance Experiments of the "Hiten" Onboard Space Computer.
26-35 BibTeX
- Ted Stanion, Debashis Bhattacharya:
TSUNAMI: A Path Oriented Scheme for Algebraic Test Generation.
36-43 BibTeX
- Jaushin Lee, Janak H. Patel:
An Architectural Level Test Generator for a Hierarchical Design Environment.
44-51 BibTeX
- Irith Pomeranz, Sudhakar M. Reddy:
Test Generation for Synchronous Sequential Circuits Using Multiple Observation Times.
52-59 BibTeX
- Daniel C. Lee, Daniel P. Siewiorek:
Functional Test Generation for Pipelined Computer Implementations.
60-69 BibTeX
- Doug Jewett:
Integrity S2: A Fault-Tolerant Unix Platform.
70 BibTeX
- Michel Banâtre, Gilles Muller, Bruno Rochat, P. Sanchez:
Design Decisions for the FTM : A General Purpose Fault Tolerant Machine.
71-78 BibTeX
- S. Webber, J. Beirne:
The Stratus Architecture.
79-87 BibTeX
- R. Raina, Peter N. Marinos:
Signature Analysis with Modified Linear Feedback Shift Registers (M-LFSRs).
88-95 BibTeX
- Albrecht P. Stroele, Hans-Joachim Wunderlich:
Signature Analysis and Test Scheduling for Self-Testable Circuits.
96-103 BibTeX
- Nirmal R. Saxena, Piero Franco, Edward J. McCluskey:
Bounds on Signature Analysis Aliasing for Random Testing.
104-113 BibTeX
- Ram Chillarege, Robert W. Horst, Daniel P. Siewiorek, R. S. Swarz:
Challenges in Designing Fault-Tolerant Systems.
114 BibTeX
- T. Bissett:
Designing Error Detection and Recovery for a Fault-Tolerant Computer System.
115 BibTeX
- Jack Isenberg:
Evolving Systems for Continuous Availability.
116 BibTeX
- Daniel Lenoski:
Practical Problems in the Design of Fault-Tolerant Hardware.
116 BibTeX
- D. Steinfeld:
Design Process for High-Availability Systems.
117 BibTeX
- J. J. Stiffler:
On Establishing Fault Tolerance Objectives.
117 BibTeX
- Dechang Gu, Daniel J. Rosenkrantz, S. S. Ravi:
Construction and Analysis of Fault-Secure Multiprocessor Schedules.
120-127 BibTeX
- M. Tsunoyama, S. Naito:
A Fault-Tolerant FFT Processor.
128-135 BibTeX
- Abhijit Chatterjee, Manuel A. d'Abreu:
Concurrent Error Detection and Fault-Tolerance in Linear Digital State Variable Systems.
136-143 BibTeX
- T. Basil Smith, W. A. Moorman, T. Dang:
The IBM S/390 Sysplex Timer.
144-153 BibTeX
- Steven D. Millman, Edward J. McCluskey:
Bridging, Transition, and Stuck-Open Faults in Self-Testing CMOS Checkers.
154-161 BibTeX
- Alain Verreault, El Mostapha Aboulhamid, Younès Karkouri:
Multiple Fault Analysis Using a Fault Dropping Technique.
162-169 BibTeX
- David A. Rennels, Hyeongil Kim:
VLSI Implementation of a Self-Checking Self-Exercising Memory System.
170-177 BibTeX
- Yuval Tamir, M. Liang, T. Lai, Marc Tremblay:
The UCLA Mirror Processor: A Building Block for Self-Checking Self-Repring Computing Nodes.
178-187 BibTeX
- Yi-Chieh Chang, Kang G. Shin:
Load Sharing in Hypercube Multicomputers in the Presence of Node Failures.
188-195 BibTeX
- Vincenzo Grassi:
Cost Effectiveness Analysis of Different Fault Tolerance Strategies for Hypercube Systems.
196-203 BibTeX
- John C. Peterson, Jesus O. Tuazon, E. T. Upchurch:
An Evaluation of Fault-Tolerant Hypercube Architectures for Onboard Computing.
204-213 BibTeX
- Anindo Bagchi, S. Louis Hakimi:
An Optimal Algorithm for Distributed System Level Diagnosis.
214-221 BibTeX
- Ronald P. Bianchini Jr., Richard W. Buskens:
An Adaptive Distributed System-Level Diagnosis Algorithm and Its Implementation.
222-229 BibTeX
- Sampath Rangarajan, Donald S. Fussell:
Probabilistic Diagnosis Algorithms Tailored to System Topology.
230-239 BibTeX
- Gregory F. Sullivan, Gerald M. Masson:
Certitication Trails for Data Structures.
240-247 BibTeX
- David E. Bakken, Richard D. Schlichting:
Tolerating Failures in the Bag-of-Tasks Programming Paradigm.
248-255 BibTeX
- R. Jagannathan, Edward A. Ashcroft:
Fault Tolerance in Parallel Implementations of Functional Languages.
256-265 BibTeX
- Bogdan S. Chlebus, Krzysztof Diks, Andrzej Pelc:
Optimal Broadcasting in Faulty Hypercubes.
266-273 BibTeX
- Jianli Sun, Jan Gecsei:
A Multiple-Fault Tolerant Sorting Network.
274-281 BibTeX
- Nian-Feng Tzeng, Po-Jen Chuang:
Fault-Tolerant Gamma Interconnection Networks.
282-291 BibTeX
- Shantanu Dutt, John P. Hayes:
Some Practical Issues in the Design of Fault-Tolerant Multiprocessors.
292-299 BibTeX
- P. Ramathan, Kang G. Shin:
A Multiple Copy Approach for Delivering Messages Under Deadline Constraints.
300-307 BibTeX
- B. E. Aupperle, John F. Meyer:
State Space Generation for Degradable Multiprocessor Systems.
308-317 BibTeX
- Michael A. Schuette, John Paul Shen:
Exploiting Instruction-Level Resource Parallelism for Transparent, Integrated Control-Flow Monitoring.
318-325 BibTeX
- Kent D. Wilken:
Optimal Signature Placement for Process-Error Detection Using Signature Monitoring.
326-333 BibTeX
- T. Michel, Régis Leveugle, Gabriele Saucier:
A New Approach to Control Flow Checking Without Program Modification.
334-343 BibTeX
- Vladimir Cherkassky, Reza Rooholamini, Hossein Lari-Najafi:
Fault-Tolerant Communications Processing.
344-351 BibTeX
- S. M. Rezaul Islam, Hany H. Ammar:
Performability Analysis of Distributed Real-Time Systems with Repetitive Task Invocation.
352-359 BibTeX
- David V. Pitts:
The RM Recovery Services.
360-367 BibTeX
- Erhard Rahm:
Recovery Concepts for Data Sharing Systems.
368-377 BibTeX
- Sulaiman Al-Bassam, Bella Bose, Ramarathnam Venkatesan:
Burst and Unidirectional Error Detecting Codes.
378-384 BibTeX
- Manoj Franklin, Kewal K. Saluja:
Pattern Sensitive Fault Testing of RAMs with Bullt-in ECC.
385-392 BibTeX
- C. L. Chen, L. E. Grosbach:
Fault-Tolerant Memory Design in the IBM Application System/400.
393-400 BibTeX
- A. L. Narasimha Reddy, Prithviraj Banerjee:
Gracefully Degradable Disk Arrays.
401-409 BibTeX
- Pascale Thévenod-Fosse, Hélène Waeselynck, Yves Crouzet:
An Experimental Study on Software Structural Testing: Deterministic versus Random Input Generation.
410-417 BibTeX
- Klaus Echtle, Yinong Chen:
Evaluation of Deterministic Fault Injection for Fault-Tolerant Protocol Testing.
418-425 BibTeX
- Nicholas S. Bowen, Dhiraj K. Pradhan:
Program Fault Tolerance Based on Memory Access Behavior.
426-435 BibTeX
- M. J. Iacoponi, S. F. McDonald:
Distributed Reconfiguration and Recovery in the Advanced Architecture On-Board Processor.
436-443 BibTeX
- Douglas M. Blough:
On the Reconfiguration of Memory Arrays Containing Clustered Faults.
444-451 BibTeX
- C. Chen, An Feng, Tohru Kikuno, Koji Torii:
Reconfiguration Algorithm for Fault-Tolerant Arrays with Minimum Number of Dangerous Processors.
452-461 BibTeX
- Myron Hecht, J. Agron, Herbert Hecht, K. H. Kim:
A Distributed Fault Tolerant Architecture for Nuclear Reactor and Other Critical Process Control Applications.
462-469 BibTeX
- K. H. Kim, W. J. Guan, Andreas Damm, J. A. Rohr:
Approaches to Design of Temporary Blackout Handling Capabilities and an Evaluation with a Real-Time Tightly Coupled Network Testbed.
470-477 BibTeX
- Amer Saeed, Rogério de Lemos, Tom Anderson:
The Role of Formal Methods in the Requirements Analysis of Safety-Critical Systems: A Train Set Example.
478-487 BibTeX
- Nitin H. Vaidya, Dhiraj K. Pradhan:
System Level Diagnosis: Combining Detection and Location.
488-495 BibTeX
- J. Xu:
The t/(n-1)-Diagnosability and Its Applications to Fault Tolerance.
496-503 BibTeX
- Bapiraju Vinnakota, Niraj K. Jha:
Design of Multiprocessor Systems for Concurrent Error Detection and Fault Diagnosis.
504-511 BibTeX
Copyright © Wed Jun 4 18:36:15 2008
by Michael Ley (ley@uni-trier.de)
