William C. Carter

Publication Activity (10 Years)

Years Active: 1954-2002
Publications (10 Years): 0

Publications

Scott L. Feld, William C. Carter
Detecting measurement bias in respondent reports of personal networks. Soc. Networks 24 (4) (2002)
William C. Carter
Hardware and Software Dependability Evaluation: System Dependability. IFIP Congress (1989)
Jean Arlat, William C. Carter
)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems. IBM J. Res. Dev. 28 (2) (1984)
William C. Carter
Signature Testing with Guaranteed Bounds for Fault Coverage. ITC (1982)
Lester H. Cohen, Hans Fix, Irwin Scollar, Samuel Schoenbaum, Dietmar Najock, William C. Carter, Nancy Joe Dyer, Richard L. Frautschi
Book reviews. Comput. Humanit. 16 (4) (1982)
M. Y. (Ben) Hsiao, William C. Carter, James W. Thomas, William R. Stringfellow
Reliability, Availability, and Serviceability of IBM Computer Systems: A Quarter Century of Progress. IBM J. Res. Dev. 25 (5) (1981)
William C. Carter, William H. Joyner Jr., Daniel Brand
Symbolic simulation for correct machine design. DAC (1979)
William H. Joyner Jr., William C. Carter, Daniel Brand
Using Machine Descriptions in Program Verification. Jerusalem Conference on Information Technology (1978)
William C. Carter, William H. Joyner Jr., Daniel Brand
Microprogram verification considered necessary. AFIPS National Computer Conference (1978)
William C. Carter, Charles E. McCarthy
Implementation of an Experimental Fault-Tolerant Memory System. IEEE Trans. Computers 25 (6) (1976)
William H. Joyner Jr., William C. Carter, George B. Leeman Jr.
Automated proofs of microprogram correctness. MICRO (1976)
George B. Leeman Jr., William C. Carter, Alexander Birman
Some Techniques for Microprogram Validation. IFIP Congress (1974)
William C. Carter, Keith A. Duke, Donald C. Jessep Jr.
Lookaside Techniques for Minimum Circuit Memory Translators. IEEE Trans. Computers 22 (3) (1973)
William C. Carter
Fault-Tolerant Computing: An Introduction and a Viewpoint. IEEE Trans. Computers 22 (3) (1973)
Willard G. Bouricius, William C. Carter, Edward P. Hsieh, Donald C. Jessep Jr., Aspi B. Wadia
Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability. IEEE Trans. Computers 22 (3) (1973)
William C. Carter, Donald C. Jessep, Aspi B. Wadia, Peter R. Schneider, Willard G. Bouricius
Logic Design for Dynamic and Interactive Recovery. IEEE Trans. Computers 20 (11) (1971)
William C. Carter, Willard G. Bouricius
A Survey of Fault Tolerant Computer Architecture and its Evaluation. Computer 4 (1) (1971)
Willard G. Bouricius, William C. Carter, Donald C. Jessep, Peter R. Schneider, Aspi B. Wadia
Reliability Modeling for Fault-Tolerant Computers. IEEE Trans. Computers 20 (11) (1971)
William C. Carter, Keith A. Duke, Donald C. Jessep
A Simple Self-Testing Decoder Checking Circuit. IEEE Trans. Computers 20 (11) (1971)
Willard G. Bouricius, William C. Carter, Peter R. Schneider
Reliability modeling techniques for self-repairing computer systems. ACM National Conference (1969)
William C. Carter, Peter R. Schneider
Design of dynamically checked computers. IFIP Congress (2) (1968)
B. R. S. Buckingham, William C. Carter, W. R. Crawford, G. A. Nowell
The controls automation system SWCT (1965)
William C. Carter, Howard C. Montgomery, Ralph J. Preiss, Harry J. Reinheimer
Design of Serviceability Features for the IBM System/360. IBM J. Res. Dev. 8 (2) (1964)
William C. Carter
Mathematical Analysis of Merge-Sorting Techniques. IFIP Congress (1962)
B. K. Betz, William C. Carter
New merge sorting techniques. ACM National Meeting (1959)
Richard Wesley Hamming, Sibyl Rock, Arthur L. Samuel, William C. Carter
Redundancy checking for small digital computers. AIEE-IRE Computer Conference (Eastern) (1954)
William C. Carter, M. Ellis
A Comparison of Order Structures for Automatic Digital Computers. Oper. Res. 2 (1) (1954)