Fault-Tolerant Computing: An Introduction and a Viewpoint
暂无分享,去创建一个
[1] Karl N. Levitt,et al. Greatest Common Divisor of n Integers and Multipliers (Certification of Algorithm 386) , 1973, Commun. ACM.
[2] Edward J. McCluskey,et al. An Iterative Cell Switch Design for Hybrid Redundancy , 1973, IEEE Transactions on Computers.
[3] C. Dennis Weiss,et al. Multiple Fault Detection in Combinational Circuits: Algorithms and Computational Results , 1973, IEEE Transactions on Computers.
[4] Herbert Hecht. Figure of Merit for Fault-Tolerant Space Computers , 1973, IEEE Transactions on Computers.
[5] J. Neumann,et al. Numerical inverting of matrices of high order , 1947 .
[6] Thomas F. Arnold,et al. The Concept of Coverage and Its Effect on the Reliability Model of a Repairable System , 1973, IEEE Transactions on Computers.
[7] Melvin A. Breuer,et al. Testing for Intermittent Faults in Digital Circuits , 1973, IEEE Transactions on Computers.
[8] Mohamed Y. Osman,et al. Shared Logic Realizations of Dynamically Self-Checked and Fault-Tolerant Logic , 1973, IEEE Transactions on Computers.
[9] Edward J. McCluskey,et al. Switch Complexity in Systems with Hybrid Redundancy , 1973, IEEE Transactions on Computers.
[10] Frederick W. Clegg. Use of SPOOF's in the Analysis of Faulty Logic Networks , 1973, IEEE Transactions on Computers.
[11] John von Neumann,et al. Theory Of Self Reproducing Automata , 1967 .
[12] Piero Maestrini,et al. Error Correcting Properties of Redundant Residue Number Systems , 1973, IEEE Transactions on Computers.
[13] Edsger W. Dijkstra,et al. A constructive approach to the problem of program correctness , 1968 .
[14] Gernot Metze,et al. Design of Totally Self-Checking Check Circuits for m-Out-of-n Codes , 1973, IEEE Transactions on Computers.
[15] Algirdas Avizienis. Faulty-Tolerant Computing: An Overview , 1971, Computer.
[16] Ralph L. London,et al. The current state of proving programs correct , 1972, ACM Annual Conference.
[17] W. C. Carter,et al. Lookaside Techniques for Minimum Circuit Memory Translators , 1973, IEEE Transactions on Computers.
[18] William C. Carter,et al. Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability , 1973, IEEE Transactions on Computers.
[19] Robert W. Cook,et al. Design of a Self-Checking Microprogram Control , 1973, IEEE Transactions on Computers.
[20] J. von Neumann,et al. Probabilistic Logic and the Synthesis of Reliable Organisms from Unreliable Components , 1956 .