Investigation of Computer Operating Time and System Capacity for Man-Machine Digital Systems

JOURNAL ARTICLE published October 1964 in Journal of the ACM

Authors: Harold Sackman | J. B. Munson

The Solvability of the Derivability Problem for One-Normal Systems

JOURNAL ARTICLE published April 1966 in Journal of the ACM

Authors: Stephen A. Cook

Special Editor's Note

JOURNAL ARTICLE published January 1977 in Journal of the ACM

Authors: Susan L. Graham

A Note on the Downhill Method

JOURNAL ARTICLE published April 1959 in Journal of the ACM

Authors: George C. Caldwell

A Note on a Method of Computing the Gamma Function

JOURNAL ARTICLE published October 1960 in Journal of the ACM

Authors: N. L. Gordon | A. H. Flasterstein

Corrigendum: `` Control System Model for Critically Timed Success''

JOURNAL ARTICLE published April 1980 in Journal of the ACM

Authors: Rainer Parchmann

Errata: “An axiomatic approach to code optimization for Expressions”

JOURNAL ARTICLE published January 1973 in Journal of the ACM

Authors: James C. Beatty

On a Statistical Model of Strand and Westwater for the Numerical Solution of a Fredholm Integral Equation of the First Kind

JOURNAL ARTICLE published January 1974 in Journal of the ACM

Authors: David G. Herr

A Model of Replication

JOURNAL ARTICLE published January 1969 in Journal of the ACM

Authors: Abraham Waksman

Erratum: “An axiomatic approach to code optimization for expressions”

JOURNAL ARTICLE published July 1973 in Journal of the ACM

Authors: James C. Beatty

Renamings, Maximal Parallelism, and Space-Time Tradeoff in Program Schemata

JOURNAL ARTICLE published October 1979 in Journal of the ACM

Authors: Luigi Logrippo

Efficient Computation of Expressions with Common Subexpressions

JOURNAL ARTICLE published January 1980 in Journal of the ACM

Authors: Bhaskaram Prabhala | Ravi Sethi

The Number of Fanout-Free Functions with Various Gates

JOURNAL ARTICLE published January 1980 in Journal of the ACM

Authors: Edward A. Bender

Mathematical Structure of Nonarithmetic Data Processing Procedures

JOURNAL ARTICLE published January 1962 in Journal of the ACM

Authors: Lionello Lombardi

A Method for Obtaining Specific Values of Compiling-Parameter Functions

JOURNAL ARTICLE published July 1962 in Journal of the ACM

Authors: James J. Peterka

Conclusions After Using the PACT I Advanced Coding Technique

JOURNAL ARTICLE published October 1956 in Journal of the ACM

Authors: I. D. Greenwald | H. G. Martin

The Complexity and Expressive Power of Limit Datalog

JOURNAL ARTICLE published 28 February 2022 in Journal of the ACM

Authors: Mark Kaminski | Egor V. Kostylev | Bernardo Cuenca Grau | Boris Motik | Ian Horrocks

Game Semantics for Interface Middleweight Java

JOURNAL ARTICLE published 28 February 2021 in Journal of the ACM

Research funded by Engineering and Physical Sciences Research Council (EP/J019577/1)

Authors: Andrzej S. Murawski | Nikos Tzevelekos

Invited Article Foreword

JOURNAL ARTICLE published August 2021 in Journal of the ACM

Authors: Eva Tardos

Decision List Compression by Mild Random Restrictions

JOURNAL ARTICLE published 31 December 2021 in Journal of the ACM

Research funded by NSF (1614023)

Authors: Shachar Lovett | Kewen Wu | Jiapeng Zhang