An Interactive System for Reading Unformatted Printed Text
- Robert N. Ascher
- George M. Koppelman
- et al.
- 1971
- IEEE TC
Publications
314 results at IEEE TC
A Binary Multiplication Scheme Based on Squaring
- Tien CHI Chen
- 1971
- IEEE TC
Proving Programs to be Correct
- James C. King
- 1971
- IEEE TC
A Simple Self-Testing Decoder Checking Circuit
- W.C. Carter
- D.C. Jessep
- et al.
- 1971
- IEEE TC
State Assignments for Asynchronous Sequential Machines
- Chung-Jen Tan
- 1971
- IEEE TC
Reliability Modeling for Fault-Tolerant Computers
- Willard G. Bouricius
- W.C. Carter
- 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
On the Time Necessary to Compute Switching Functions
- Philip M. Spira
- 1971
- IEEE TC
Logic Design for Dynamic and Interactive Recovery
- W.C. Carter
- D.C. Jessep
- et al.
- 1971
- IEEE TC
Checking Experiments ror Sequential Machines
- Edward P. Hsieh
- 1971
- IEEE TC