William C. Carter

According to our database, William C. Carter authored at least 27 papers between 1954 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Detecting measurement bias in respondent reports of personal networks.

Scott L. Feld, William C. Carter

Soc. Networks, 2002

1989

Hardware and Software Dependability Evaluation: System Dependability.

William C. Carter

Proceedings of the Information Processing 89, Proceedings of the IFIP 11th World Computer Congress, San Francisco, USA, August 28, 1989

1984

Implementation and Evaluation of a (<i>b, k</i>)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems.

Jean Arlat, William C. Carter

IBM J. Res. Dev., 1984

1982

Book reviews.

Lester H. Cohen, Hans Fix, Irwin Scollar, Samuel Schoenbaum, Dietmar Najock, William C. Carter, Nancy Joe Dyer, Richard L. Frautschi

Comput. Humanit., 1982

Signature Testing with Guaranteed Bounds for Fault Coverage.

William C. Carter

Proceedings of the Proceedings International Test Conference 1982, 1982

1981

Reliability, Availability, and Serviceability of IBM Computer Systems: A Quarter Century of Progress.

M. Y. (Ben) Hsiao, William C. Carter, James W. Thomas, William R. Stringfellow

IBM J. Res. Dev., 1981

1979

Symbolic simulation for correct machine design.

William C. Carter, William H. Joyner Jr., Daniel Brand

Proceedings of the 16th Design Automation Conference, 1979

1978

Using Machine Descriptions in Program Verification.

William H. Joyner Jr., William C. Carter, Daniel Brand

Proceedings of the Information Technology '78: Proceedings of the 3rd Jerusalem Conference on Information Technology (JCIT3), 1978

Microprogram verification considered necessary.

William C. Carter, William H. Joyner Jr., Daniel Brand

Proceedings of the American Federation of Information Processing Societies: 1978 National Computer Conference, 1978

1976

Implementation of an Experimental Fault-Tolerant Memory System.

William C. Carter, Charles E. McCarthy

IEEE Trans. Computers, 1976

Automated proofs of microprogram correctness.

William H. Joyner Jr., William C. Carter, George B. Leeman Jr.

Proceedings of the 9th annual workshop on Microprogramming, 1976

1974

Some Techniques for Microprogram Validation.

George B. Leeman Jr., William C. Carter, Alexander Birman

Proceedings of the Information Processing, 1974

1973

Lookaside Techniques for Minimum Circuit Memory Translators.

William C. Carter, Keith A. Duke, Donald C. Jessep Jr.

IEEE Trans. Computers, 1973

Fault-Tolerant Computing: An Introduction and a Viewpoint.

William C. Carter

IEEE Trans. Computers, 1973

Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High Reliability.

Willard G. Bouricius, William C. Carter, Edward P. Hsieh, Donald C. Jessep Jr., Aspi B. Wadia

IEEE Trans. Computers, 1973

1971

Logic Design for Dynamic and Interactive Recovery.

William C. Carter, Donald C. Jessep, Aspi B. Wadia, Peter R. Schneider, Willard G. Bouricius

IEEE Trans. Computers, 1971

A Simple Self-Testing Decoder Checking Circuit.

William C. Carter, Keith A. Duke, Donald C. Jessep

IEEE Trans. Computers, 1971

Reliability Modeling for Fault-Tolerant Computers.

Willard G. Bouricius, William C. Carter, Donald C. Jessep, Peter R. Schneider, Aspi B. Wadia

IEEE Trans. Computers, 1971

A Survey of Fault Tolerant Computer Architecture and its Evaluation.

William C. Carter, Willard G. Bouricius

Computer, 1971

1969

Reliability modeling techniques for self-repairing computer systems.

Willard G. Bouricius, William C. Carter, Peter R. Schneider

Proceedings of the 24th national conference, 1969

1968

Design of dynamically checked computers.

William C. Carter, Peter R. Schneider

Proceedings of the Information Processing, Proceedings of IFIP Congress 1968, Edinburgh, UK, 5-10 August 1968, Volume 2, 1968

1965

The controls automation system

B. R. S. Buckingham, William C. Carter, W. R. Crawford, G. A. Nowell

Proceedings of the 6th Annual Symposium on Switching Circuit Theory and Logical Design, 1965

1964

Design of Serviceability Features for the IBM System/360.

William C. Carter, Howard C. Montgomery, Ralph J. Preiss, Harry J. Reinheimer

IBM J. Res. Dev., 1964

1962

Mathematical Analysis of Merge-Sorting Techniques.

William C. Carter

Proceedings of the Information Processing, Proceedings of the 2nd IFIP Congress 1962, Munich, Germany, August 27, 1962

1959

New merge sorting techniques.

B. K. Betz, William C. Carter

Proceedings of the Preprints of papers presented at the 14th national meeting of the Association for Computing Machinery, 1959

1954

A Comparison of Order Structures for Automatic Digital Computers.

William C. Carter, M. Ellis

Oper. Res., 1954

Redundancy checking for small digital computers.

Richard Wesley Hamming, Sibyl Rock, Arthur L. Samuel, William C. Carter

Proceedings of the 1954 eastern joint computer conference: Design and application of small digital computers, 1954