Cyclic Queues with Bulk Arrivals
- Igal Adiri
- 1973
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
7834 results for AI
Toward Abstract Numerical Analysis
- Webb Miller
- 1973
- Journal of the ACM
Canonical Precedence Schemes
- James N. Gray
- Michael A. Harrison
- 1973
- Journal of the ACM
A Formalization of Transition Diagram Systems
- David Bruce Lomet
- 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
Real-Time Simulation of Multihead Tape Units
- Patrick C. Fischer
- Albert R. Meyer
- et al.
- 1972
- Journal of the ACM
Bounds on Optimal Merge Performance, and a Strategy for Optimality
- W.D. Frazer
- B.T. Bennett
- 1972
- Journal of the ACM
A Minimum Variance Sampling Technique for Simulation Models
- A.J. Bayes
- 1972
- Journal of the ACM