An Assessment of Techniques for Proving Program Correctness
ACM Computing Surveys (CSUR)
The current state of proving programs correct
ACM '72 Proceedings of the ACM annual conference - Volume 1
Theory of Self-Reproducing Automata
Theory of Self-Reproducing Automata
Use of SPOOF's in the Analysis of Faulty Logic Networks
IEEE Transactions on Computers
Testing for Intermittent Faults in Digital Circuits
IEEE Transactions on Computers
Figure of Merit for Fault-Tolerant Space Computers
IEEE Transactions on Computers
The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System
IEEE Transactions on Computers
Design of a Self-Checking Microprogram Control
IEEE Transactions on Computers
Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes
IEEE Transactions on Computers
Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability
IEEE Transactions on Computers
Switch Complexity in Systems with Hybrid Redundancy
IEEE Transactions on Computers
Lookaside Techniques for Minimum Circuit Memory Translators
IEEE Transactions on Computers
An Iterative Cell Switch Design for Hybrid Redundancy
IEEE Transactions on Computers
Shared Logic Realizations of Dynamically Self-Checked and Fault-Tolerant Logic
IEEE Transactions on Computers
Error Correcting Properties of Redundant Residue Number Systems
IEEE Transactions on Computers
Fault-Tolerant Computing: An Introduction and a Perspective
IEEE Transactions on Computers
Test Sets for Combinational Logic The Edge-Tracing Approach
IEEE Transactions on Computers
| Hi-index | 14.99 |
AFTER approximately 20 years of obscurity, the field of fault-tolerant computing was revived by the formation of the IEEE Technical Committee on Fault-Tolerant Computing, by a series of articles in COMPUTER for January/ February 1971, by the 1971 International Symposium on Fault-Tolerant Computing in Pasadena, Calif., and by an IEEE TRANSACTIONS ON COMPUTERS Special Issue on Fault-Tolerant Computing in November 1971. Interest and activity continued apace, and the 1972 International Symposium on Fault-Tolerant Computing was held in Newton, Mass. Most of the excellent papers in this second IEEE TRANSACTIONS Special Issue on Fault-Tolerant Computing were presented at that symposium. As an introduction to these papers, consideration of the ultimate goals of this discipline and the universe in which our work is being done is most appropriate.