Checking Experiments ror Sequential Machines
- Edward P. Hsieh
- 1971
- IEEE TC
Paper
Publications
314 results at IEEE TC
Functional Memory and Its Microprogramming Implications
- Peter L. Gardner
- 1971
- IEEE TC
PaperA Heuristic Algorithm for the Testing of Asynchronous Circuits
- Gianfranco R. Putzolu
- J. Paul Roth
- 1971
- IEEE TC
PaperAlgorithms for Detection of Faults in Logic Circuits
- Willard G. Bouricius
- Edward P. Hsieh
- et al.
- 1971
- IEEE TC
PaperProving Programs to be Correct
- James C. King
- 1971
- IEEE TC
PaperA Computing Machine Based on Tree Structures
- Klaus J. Berkling
- 1971
- IEEE TC
PaperState Assignments for Asynchronous Sequential Machines
- Chung-Jen Tan
- 1971
- IEEE TC
PaperReliability Modeling for Fault-Tolerant Computers
- Willard G. Bouricius
- W.C. Carter
- et al.
- 1971
- IEEE TC
PaperA Heuristic Procedure For the Partitioning and Mapping of Computer Logic Graphs
- Roy L. Russo
- Peter H. Oden
- et al.
- 1971
- IEEE TC
PaperOn the Time Necessary to Compute Switching Functions
- Philip M. Spira
- 1971
- IEEE TC
Paper