Volume 24, Number 1, January 1977
Volume 24, Number 2, April 1977
: A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions.
: On Certain Output-Buffer Management Techniques--A Stochastic Model.
: The Power of Dominance Relations in Branch-and-Bound Algorithms.
Philip J. Davis
: Proof, Completeness, Transcendentals, and Sampling.
Volume 24, Number 3, July 1977
, S. Bing Yao
: Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems.
Lawrence T. Kou
: On Live-Dead Analysis for Global Data Flow Problems.
: Complexity of Synthesizing Inductive Assertions.
Volume 24, Number 4, October 1977
: Queueing Models for Computer Systems Connected by a Communication Line.
Nancy A. Lynch
: Log Space Recognition and Translation of Parenthesis Languages.
T. D. Bui
: Errata and Comments on a Paper by J. R. Cash.
: Optimization Among Provably Equivalent Programs.