William C. Carter - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 25 from 25

2002

Detecting measurement bias in respondent reports of personal networksScott L. Feld, William C. Carter. socnet, 24(4):365-383, 2002. [doi]

1989

Hardware and Software Dependability Evaluation: System DependabilityWilliam C. Carter. ifip 1989: 118

1984

Implementation and Evaluation of a (::::b, k::::)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer SystemsJean Arlat, William C. Carter. ibmrd, 28(2):159-169, 1984.

1982

Signature Testing with Guaranteed Bounds for Fault CoverageWilliam C. Carter. itc 1982: 75-82

Book reviewsLester H. Cohen, Hans Fix, Irwin Scollar, Samuel Schoenbaum, Dietmar Najock, William C. Carter, Nancy Joe Dyer, Richard L. Frautschi. lre, 16(4):245-259, 1982. [doi]

1981

Reliability, Availability, and Serviceability of IBM Computer Systems: A Quarter Century of ProgressM. Y. (Ben) Hsiao, William C. Carter, James W. Thomas, William R. Stringfellow. ibmrd, 25(5):453-465, 1981.

1979

Symbolic simulation for correct machine designWilliam C. Carter, William H. Joyner Jr., Daniel Brand. dac 1979: 280-286 [doi]

1978

Microprogram verification considered necessaryWilliam C. Carter, William H. Joyner Jr., Daniel Brand. afips 1978: 657-664

Using Machine Descriptions in Program VerificationWilliam H. Joyner Jr., William C. Carter, Daniel Brand. jcit 1978: 515-522

1976

Implementation of an Experimental Fault-Tolerant Memory SystemWilliam C. Carter, Charles E. McCarthy. TC, 25(6):557-568, 1976.

Automated proofs of microprogram correctnessWilliam H. Joyner Jr., William C. Carter, George B. Leeman Jr.. micro 1976: 51-55 [doi]

1974

Some Techniques for Microprogram ValidationGeorge B. Leeman Jr., William C. Carter, Alexander Birman. ifip 1974: 76-80

1973

Modeling of a Bubble-Memory Organization with Self-Checking Translators to Achieve High ReliabilityWillard G. Bouricius, William C. Carter, Edward P. Hsieh, Donald C. Jessep Jr., Aspi B. Wadia. TC, 22(3):269-275, 1973. [doi]

Fault-Tolerant Computing: An Introduction and a ViewpointWilliam C. Carter. TC, 22(3):225-229, 1973. [doi]

1971

Reliability Modeling for Fault-Tolerant ComputersWillard G. Bouricius, William C. Carter, Donald C. Jessep, Peter R. Schneider, Aspi B. Wadia. TC, 20(11):1306-1311, 1971. [doi]

A Survey of Fault Tolerant Computer Architecture and its EvaluationWilliam C. Carter, Willard G. Bouricius. Computer, 4(1):9-16, 1971. [doi]

A Simple Self-Testing Decoder Checking CircuitWilliam C. Carter, Keith A. Duke, Donald C. Jessep. TC, 20(11):1413-1414, 1971. [doi]

Logic Design for Dynamic and Interactive RecoveryWilliam C. Carter, Donald C. Jessep, Aspi B. Wadia, Peter R. Schneider, Willard G. Bouricius. TC, 20(11):1300-1305, 1971. [doi]

1969

Reliability modeling techniques for self-repairing computer systemsWillard G. Bouricius, William C. Carter, Peter R. Schneider. acm 1969: 295-309 [doi]

1968

Design of dynamically checked computersWilliam C. Carter, Peter R. Schneider. ifip 1968: 878-883

1965

The controls automation systemB. R. S. Buckingham, William C. Carter, W. R. Crawford, G. A. Nowell. focs 1965: 279-288

1964

Design of Serviceability Features for the IBM System/360William C. Carter, Howard C. Montgomery, Ralph J. Preiss, Harry J. Reinheimer. ibmrd, 8(2):115-126, 1964. [doi]

1962

Mathematical Analysis of Merge-Sorting TechniquesWilliam C. Carter. ifip 1962: 62-66

1959

New merge sorting techniquesB. K. Betz, William C. Carter. acm 1959: [doi]

1954

Redundancy checking for small digital computersRichard Wesley Hamming, Sibyl Rock, Arthur L. Samuel, William C. Carter. aieeire 1954: 56-57 [doi]

Sign in or sign up to see more results.

runs on WebDSL