William C. Carter

Design of dynamically checked computers.

William C. Carter, Peter R. Schneider · IFIP Congress · 1968 · 301 citations

Computing, Computer Science, Computer Systems +9

Symbolic Simulation for Correct Machine Design

William C. Carter, William H. Joyner, Daniël Brand · Design Automation Conference · 1979 · 47 citations

Computing, Computer Engineering, Computer Science +11

Microprogram verification considered necessary.

William C. Carter, William H. Joyner, Daniël Brand · AFIPS conference proceedings · 1978 · 35 citations

Engineering, Computer Engineering, Computer Science +7

Gross hematuria in 110 adult urologic hospital patients

William C. Carter, Stephen N. Rous · Urology · 1981 · 32 citations

Medicine, Nephrology, Urology +6

Signature Testing with Guaranteed Bounds for Fault Coverage.

William C. Carter · International Test Conference · 1982 · 20 citations

Computing, Computer Engineering, Computer Science +14