SYSTEM AVAILABILITY ESTIMATOR.
- Ambuj Goyal
- W.C. Carter
- et al.
- 1985
- FTCS 1985
Publications
11 results for W.C. Carter
Symbolic simulation for correct machine design
- William C. Carter
- William H. Joyner
- et al.
- 1979
- DAC 1979
Automated proofs of microprogram correctness
- W.H. Joyner
- W.C. Carter
- et al.
- 1976
- MICRO Annual Workshop 1976
Implementation of an Experimental Fault-Tolerant Memory System
- William C. Carter
- Charles E. McCarthy
- 1976
- IEEE TC
Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability
- Willard G. Bouricius
- William C. Carter
- et al.
- 1973
- IEEE TC
Fault-Tolerant Computing: An Introduction and a Viewpoint
- William C. Carter
- 1973
- IEEE TC
Reliability techniques applicable to message processors
- W.C. Carter
- 1972
- DATACOMM 1972
Reliability Modeling for Fault-Tolerant Computers
- Willard G. Bouricius
- W.C. Carter
- et al.
- 1971
- IEEE TC
A Simple Self-Testing Decoder Checking Circuit
- W.C. Carter
- D.C. Jessep
- et al.
- 1971
- IEEE TC
Logic Design for Dynamic and Interactive Recovery
- W.C. Carter
- D.C. Jessep
- et al.
- 1971
- IEEE TC