Search the dblp DataBase

Publications of Author

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