Proving Programs to be Correct
- James C. King
- 1971
- IEEE TC
Publications
Date
Featured collections
Popular topics
314 results at IEEE TC
A Fast Algorithm for the Disjunctive Decomposition of Switching Functions
- V. Yun-Shen Shen
- Archie C. Mckellar
- et al.
- 1971
- IEEE TC
Iteratively Realized Sequential Circuits
- Thomas F. Arnold
- Chung-Jen Tan
- et al.
- 1970
- IEEE TC
Signed-Digit Division Using Combinational Arithmetic Nets
- Chin Tung
- 1970
- IEEE TC
On the Apparent Continuity of Processing in a Paging Environment
- Chin Tung
- 1970
- IEEE TC
A Universal Arithmetic Building Element (ABE) and Design Methods for Arithmetic Processors
- Chin Tung
- 1970
- IEEE TC
High-Speed Computer Multiplication Using a Multiple-Bit Decoding Algorithm
- H. Ling
- 1970
- IEEE TC
Mathematical “Lower Bounds” and the Logic Circuit Designer
- A.S. Farber
- E.S. Schlig
- 1970
- IEEE TC
Generation of Grey Tones by Computer for Simulation of Visual Information Systems
- P. Stucki
- 1969
- IEEE TC
Methods Used in an Automatic Logic Design Generator (ALERT)
- Theodore D. Friedman
- Sih-Chin Yang
- 1969
- IEEE TC