ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 12 Issue 1, Jan. 1965

A Turing Machine Simulator
M. W. Curtis
Pages: 1-13
DOI: 10.1145/321250.321251

A Programming Language for Simulating Digital Systems
Robert M. McClure
Pages: 14-22
DOI: 10.1145/321250.321252

A Machine-Oriented Logic Based on the Resolution Principle
J. A. Robinson
Pages: 23-41
DOI: 10.1145/321250.321253

A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
Sheila A. Greibach
Pages: 42-52
DOI: 10.1145/321250.321254

A Fixed Optimum Cell-Size for Records of Various Lengths
Eric Wolman
Pages: 53-70
DOI: 10.1145/321250.321255

Sequential Search: A Method for Solving Constrained Optimization Problems
H. Glass, L. Cooper
Pages: 71-82
DOI: 10.1145/321250.321256

Uniform Random Number Generators
M. Donald MacLaren, George Marsaglia
Pages: 83-89
DOI: 10.1145/321250.321257

Numerical Evaluation of Symmetric Polynomials
Aaron Booker
Pages: 90-94
DOI: 10.1145/321250.321258

A Fast Direct Solution of Poisson's Equation Using Fourier Analysis
R. W. Hockney
Pages: 95-113
DOI: 10.1145/321250.321259

Approximation of Solutions of Mixed Boundary Value Problems for Poisson's Equation by Finite Differences
J. H. Bramble, B. E. Hubbard
Pages: 114-123
DOI: 10.1145/321250.321260

A Modified Multistep Method for the Numerical Integration of Ordinary Differential Equations
J. C. Butcher
Pages: 124-135
DOI: 10.1145/321250.321261

An Error Bound for a Numerical Filtering Technique
Edward B. Anders
Pages: 136-140
DOI: 10.1145/321250.321262

Analysis and Synthesis of Stable Linear Sequential Circuits
Arthur Gill
Pages: 141-149
DOI: 10.1145/321250.321263