Publications

9066 results for Computer Science

A note on the existence of continuous functionals
- - J.Lawrence Carter
  - Ronald Fagin
- 1981
- Theoretical Computer Science
A very fast shift-register sequence random number generator
- - Scott Kirkpatrick
  - Erich P Stoll
- 1981
- Journal of Computational Physics
Cardiorespiratory simulation for the evaluation of recovery following coronary artery bypass surgery
- - Edward J. Farrell
  - John H. Siegel
- 1981
- Computers in Biology and Medicine
On the total correctness of nondeterministic programs
- - David Harel
- 1981
- Theoretical Computer Science
Conservative differencing procedures for rotationally symmetric flow with swirl
- - W.E. Langlois
- 1981
- Comput. Methods Appl. Mech. Eng.
More on advice on structuring compilers and proving them correct
- - James W. Thatcher
  - Eric G. Wagner
  - et al.
- 1981
- Theoretical Computer Science
A Probability Model for Simple Closed Random Curves
- - Dimitris Anastassiou
  - David J. Sakrison
- 1981
- IEEE Trans. Inf. Theory
Josephson LSI circuits
- - S.M. Faris
- 1981
- IEEE Circuits and Systems Magazine
Airy stress function for atomic models
- - Paul J. Steinhardt
  - P. Chaudhari
- 1981
- Journal of Computational Physics
A fast algorithm for multiprocessor scheduling
- - Barbara Simons
- 1980
- FOCS 1980