 | 1989 |
|---|
| 10 |       | William C. Carter:
Hardware and Software Dependability Evaluation: System Dependability.
IFIP Congress 1989: 118 |
| 1984 |
|---|
| 9 | | Jean Arlat,
William C. Carter:
Implementation and Evaluation of a (b, k)-Adjacent Error-Correcting/Detecting Scheme for Supercomputer Systems.
IBM Journal of Research and Development 28(2): 159-169 (1984) |
| 1982 |
|---|
| 8 | | William C. Carter:
Signature Testing with Guaranteed Bounds for Fault Coverage.
ITC 1982: 75-82 |
| 1981 |
|---|
| 7 | | 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 Journal of Research and Development 25(5): 453-465 (1981) |
| 1978 |
|---|
| 6 | | William H. Joyner Jr.,
William C. Carter,
Daniel Brand:
Using Machine Descriptions in Program Verification.
Jerusalem Conference on Information Technology 1978: 515-522 |
| 1976 |
|---|
| 5 | | William C. Carter,
Charles E. McCarthy:
Implementation of an Experimental Fault-Tolerant Memory System.
IEEE Trans. Computers 25(6): 557-568 (1976) |
| 1974 |
|---|
| 4 | | George B. Leeman Jr.,
William C. Carter,
Alexander Birman:
Some Techniques for Microprogram Validation.
IFIP Congress 1974: 76-80 |
| 1968 |
|---|
| 3 | | William C. Carter,
Peter R. Schneider:
Design of dynamically checked computers.
IFIP Congress (2) 1968: 878-883 |
| 1965 |
|---|
| 2 | | B. R. S. Buckingham,
William C. Carter,
W. R. Crawford,
G. A. Nowell:
The controls automation system
FOCS 1965: 279-288 |
| 1962 |
|---|
| 1 | | William C. Carter:
Mathematical Analysis of Merge-Sorting Techniques.
IFIP Congress 1962: 62-66 |
