Modulus division on a two's complement machine
- Henry S. Warren Jr.
- A. Shawhan Fox
- et al.
- 1981
- Information Processing Letters
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
Featured collections
Popular topics
8892 results for Computer Science
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
Optimal policies for inventory models with some specified markets and finite time horizon
- Lineu C. Barbosa
- Moshe Friedman
- 1981
- EJOR
Cardiorespiratory simulation for the evaluation of recovery following coronary artery bypass surgery
- Edward J. Farrell
- John H. Siegel
- 1981
- Computers in Biology and Medicine
Josephson LSI circuits
- S.M. Faris
- 1981
- IEEE Circuits and Systems Magazine
Equivalence of free boolean graphs can be decided probabilistically in polynomial time
- Manuel Blum
- Ashok K. Chandra
- et al.
- 1980
- Information Processing Letters