ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 17 Issue 2, April 1970

Form and Content in Computer Science (1970 ACM turing lecture)
Marvin Minsky
Pages: 197-215
DOI: 10.1145/321574.321575

A Programming Language With Automatic Goal Generation and Selection
Arthur J. Nevins
Pages: 216-230
DOI: 10.1145/321574.321576

Connectivity and Reversibility in Automata
Zamir Bavel, David E. Muller
Pages: 231-240
DOI: 10.1145/321574.321577

Computational Complexity and Probability Constructions
David G. Willis
Pages: 241-259
DOI: 10.1145/321574.321578

Kronecker Matrices, Computer Implementation, and Generalized Spectra
H. C. Andrews, J. Kane
Pages: 260-268
DOI: 10.1145/321574.321579

Sequences of Numbers That Are Approximately Completely Equidistributed
Seymour Haber
Pages: 269-272
DOI: 10.1145/321574.321580

Methods of Search for Solving Polynomial Equations
Peter Henrici
Pages: 273-283
DOI: 10.1145/321574.321581

Stability Analysis of a New Algorithm Used for Integrating a System of Ordinary Differential Equations
H. S. Rahme
Pages: 284-293
DOI: 10.1145/321574.321582

Application of the Method of Lines to Parabolic Partial Differential Equations With Error Estimates
A. Zafarullah
Pages: 294-302
DOI: 10.1145/321574.321583

An Approach to Solving Linear Discrete Optimization Problems
Richard H. Roth
Pages: 303-313
DOI: 10.1145/321574.321584

A Feedback Queueing System With Batch Arrivals, Bulk Service, and Queue-Dependent Service Time
L. E. N. Delbrouck
Pages: 314-323
DOI: 10.1145/321574.321585

Preemptive Scheduling of Real-Time Tasks on Multiprocessor Systems
R. R. Muntz, E. G. Coffman, Jr.
Pages: 324-338
DOI: 10.1145/321574.321586

The Logical Complexity of Geometric Properties in the Plane
Louis Hodes
Pages: 339-347
DOI: 10.1145/321574.321587

On Limit Properties in Digitization Schemes
G. Ugo Montanari
Pages: 348-360
DOI: 10.1145/321574.321588

An Algorithmic Semantics for ALGOL 60 Identifier Denotation
J. M. Boyle, A. A. Grau
Pages: 361-382
DOI: 10.1145/321574.321589

Accelerating List Processing in Discrete Programming
B. L. Fox
Pages: 383-384
DOI: 10.1145/321574.321590

On Canonical Forms and Simplification
B. F. Caviness
Pages: 385-396
DOI: 10.1145/321574.321591