Journal of the ACM, Volume 24, 1977
Volume 24, Number 1, January 1977
Neil C. Wilhelm:
A General Model for the Performance of Disk Systems. 14-31 David B. Loveman:
Program Improvement by Source-to-Source Transformation. 121-145
Volume 24, Number 2, April 1977
Alexandre Brandwajn:
A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions. 222-240 Micha Hofri:
On Certain Output-Buffer Management Techniques--A Stochastic Model. 241-249 Toshihide Ibaraki:
The Power of Dominance Relations in Branch-and-Bound Algorithms. 264-279 Philip J. Davis:
Proof, Completeness, Transcendentals, and Sampling. 298-310
Volume 24, Number 3, July 1977
K. Hwang,
S. Bing Yao:
Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems. 441-454 Lawrence T. Kou:
On Live-Dead Analysis for Global Data Flow Problems. 473-483 Ben Wegbreit:
Complexity of Synthesizing Inductive Assertions. 504-512
Volume 24, Number 4, October 1977
Mamoru Maekawa:
Queueing Models for Computer Systems Connected by a Communication Line. 566-582 Nancy A. Lynch:
Log Space Recognition and Translation of Parenthesis Languages. 583-590 Tien Dai Bui:
Errata and Comments on a Paper by J. R. Cash. 623 Paul Young:
Optimization Among Provably Equivalent Programs. 693-700
maintained by
, founded at
Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic Scholar
last updated on 2019-02-20 22:10 CET by the dblp team
data released under the ODC-BY 1.0 license
