Publications

8076 results for AI

Cyclic Queues with Bulk Arrivals
- - Igal Adiri
- 1973
- Journal of the ACM
On Local Roundoff Errors in Floating-Point Arithmetic
- - Toyohisa Kaneko
  - Bede Liu
- 1973
- Journal of the ACM
Toward Abstract Numerical Analysis
- - Webb Miller
- 1973
- Journal of the ACM
Placement of Records on a Secondary Storage Device to Minimize Access Time
- - David D. Grossman
  - Harvey F. Silverman
- 1973
- Journal of the ACM
A Formalization of Transition Diagram Systems
- - David Bruce Lomet
- 1973
- Journal of the ACM
Canonical Precedence Schemes
- - James N. Gray
  - Michael A. Harrison
- 1973
- Journal of the ACM
Upper Bounds for the Total Path Length of Binary Trees
- - J. Nievergelt
  - C.K. Wong
- 1973
- Journal of the ACM
On homomorphisms, simulations,correctness and subroutines for programs and program schemes
- - J.A. Goguen
- 1972
- SWAT 1972
Program equivalence and context-free grammars
- - Barry K. Rosen
- 1972
- SWAT 1972
A Minimum Variance Sampling Technique for Simulation Models
- - A.J. Bayes
- 1972
- Journal of the ACM