William C. Carter

27 papers A* 2A 1Journal 14Unranked 10

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