Publications

This is our catalog of publications authored by IBM researchers, in collaboration with the global research community. It’s an ever-growing body of work that shows why IBM is one of the most important contributors to modern computing.

Date

Start

End

Featured collections

Popular topics

314 results at IEEE TC

Proving Programs to be Correct
- - James C. King
- 1971
- 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