Proving Programs to be Correct
- James C. King
- 1971
- IEEE TC
Publications
314 results at IEEE TC
Algorithms for Detection of Faults in Logic Circuits
- Willard G. Bouricius
- Edward P. Hsieh
- et al.
- 1971
- IEEE TC
A Heuristic Algorithm for the Testing of Asynchronous Circuits
- Gianfranco R. Putzolu
- J. Paul Roth
- 1971
- IEEE TC
Checking Experiments ror Sequential Machines
- Edward P. Hsieh
- 1971
- IEEE TC
A Simple Self-Testing Decoder Checking Circuit
- W.C. Carter
- D.C. Jessep
- et al.
- 1971
- IEEE TC
A Heuristic Procedure For the Partitioning and Mapping of Computer Logic Graphs
- Roy L. Russo
- Peter H. Oden
- et al.
- 1971
- IEEE TC
Reliability Modeling for Fault-Tolerant Computers
- Willard G. Bouricius
- W.C. Carter
- et al.
- 1971
- IEEE TC
State Assignments for Asynchronous Sequential Machines
- Chung-Jen Tan
- 1971
- IEEE TC
A Computing Machine Based on Tree Structures
- Klaus J. Berkling
- 1971
- IEEE TC
A Binary Multiplication Scheme Based on Squaring
- Tien CHI Chen
- 1971
- IEEE TC