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

8896 results for Computer Science

Computing eigenvalues of very large symmetric matrices-An implementation of a Lanczos algorithm with no reorthogonalization
- - Jane Cullum
  - Ralph A Willoughby
- 1981
- Journal of Computational Physics
Record allocation for minimizing seek delay
- - U.I. Gupta
  - D.T. Lee
  - et al.
- 1981
- Theoretical Computer Science
Conservative differencing procedures for rotationally symmetric flow with swirl
- - W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
Register allocation via coloring
- - Gregory J. Chaitin
  - Marc A. Auslander
  - et al.
- 1981
- Computer Languages
Modulus division on a two's complement machine
- - Henry S. Warren Jr.
  - A. Shawhan Fox
  - et al.
- 1981
- Information Processing Letters
More on advice on structuring compilers and proving them correct
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1981
- Theoretical Computer Science
An elementary proof of the completeness of PDL
- - Dexter Kozen
  - Rohit Parikh
- 1981
- Theoretical Computer Science
A very fast shift-register sequence random number generator
- - Scott Kirkpatrick
  - Erich P Stoll
- 1981
- Journal of Computational Physics
On the total correctness of nondeterministic programs
- - David Harel
- 1981
- Theoretical Computer Science
Airy stress function for atomic models
- - Paul J. Steinhardt
  - P. Chaudhari
- 1981
- Journal of Computational Physics