Asymptotic miss ratios over independent references
- 1977
- Journal of Computer and System Sciences
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
113 results at Journal of Computer and System Sciences
Finding the median
- A. Schönhage
- M.S. Paterson
- et al.
- 1976
- Journal of Computer and System Sciences
The existence and construction of free iterative theories
- Stephen L. Bloom
- Calvin C. Elgot
- 1976
- Journal of Computer and System Sciences
A characterization of the power of vector machines
- Vaughan R. Pratt
- Larry J. Stockmeyer
- 1976
- Journal of Computer and System Sciences
Program equivalence and context-free grammars
- Barry K. Rosen
- 1975
- Journal of Computer and System Sciences
Distributions of queue lengths and waiting times in a loop with two-way traffic
- Alan G. Konheim
- Bernd Meister
- 1973
- Journal of Computer and System Sciences
Characterizations of flowchartable recursions
- S.A. Walker
- H.R. Strong
- 1973
- Journal of Computer and System Sciences
Program schemata as automata. I
- J.D. Rutledge
- 1973
- Journal of Computer and System Sciences
An interpretation-oriented theorem prover over integers
- James C. King
- Robert W. Floyd
- 1972
- Journal of Computer and System Sciences
A generalization of the theory of incompletely specified machines
- D.E. Muller
- R.E. Miller
- 1972
- Journal of Computer and System Sciences