Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 26 Issue 1, Jan. 1979

Control System Model for Critically Timed Sources
Rainer Parchmann
Pages: 1-5
DOI: 10.1145/322108.322109

Characterizing the Storage Process and Its Effect on the Update of Main Memory by Write Through
Alan Jay Smith
Pages: 6-27
DOI: 10.1145/322108.322110

Bounds on Storage for Consecutive Retrieval
Udaiprakash Gupta
Pages: 28-36
DOI: 10.1145/322108.322111

On Axiomatizing Multivalued Dependencies in Relational Databases
Alberto O. Mendelzon
Pages: 37-44
DOI: 10.1145/322108.322112

Security in Databases: A Combinatorial Study
Steven P. Reiss
Pages: 45-57
DOI: 10.1145/322108.322113

A Fast Selection Algorithm and the Problem of Optimum Distribution of Effort
Zvi Galil, Nimrod Megiddo
Pages: 58-64
DOI: 10.1145/322108.322114

Speedup in Parallel Algorithms for Adaptive Quadrature
James M. Lemme, John R. Rice
Pages: 65-71
DOI: 10.1145/322108.322115

Odd-Even Reduction for Banded Linear Equations
Garry H. Rodrigue, Niel K. Madsen, Jack I. Karush
Pages: 72-81
DOI: 10.1145/322108.322116

Estimating the Mean of a Correlated Binary Sequence with an Application to Discrete Event Simulation
George S. Fishman, Louis R. Moore
Pages: 82-94
DOI: 10.1145/322108.322117

Optimality of the Fast Fourier transform
Christos H. Papadimitriou
Pages: 95-102
DOI: 10.1145/322108.322118

Time Bounded Random Access Machines with Parallel Processing
Walter J. Savitch, Michael J. Stimson
Pages: 103-118
DOI: 10.1145/322108.322119

A Complete and Consistent Hoare Axiomatics for a Simple Programming Language
John C. Cherniavsky, Samuel N. Kamin
Pages: 119-128
DOI: 10.1145/322108.322120

Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems
Edmund Melson Clarke, Jr.
Pages: 129-147
DOI: 10.1145/322108.322121

Minimal and Optimal Computations of Recursive Programs
Gérard Berry, Jean-Jacques Lévy
Pages: 148-175
DOI: 10.1145/322108.322122