Journal of the ACM (JACM)


Search Issue
enter search term and/or author name


Journal of the ACM (JACM), Volume 30 Issue 1, Jan. 1983

Search Algorithms Under Different Kinds of Heuristics—A Comparative Study
A. Bagchi, A. Mahanti
Pages: 1-21
DOI: 10.1145/322358.322359

Bidirectional Heuristic Search Again
Dennis de Champeaux
Pages: 22-32
DOI: 10.1145/322358.322360

A Note on `` A Note on Multiple Error Detection in ASCII Numeric Data Communication''
D. V. Sarwate
Pages: 33-35
DOI: 10.1145/322358.322361

Locking Expressions for Increased Database Concurrency
Anthony Klug
Pages: 36-54
DOI: 10.1145/322358.322362

Locking Primitives in a Database System
Henry F. Korth
Pages: 55-79
DOI: 10.1145/322358.322363

Implicit Data Structures for the Dictionary Problem
Greg N. Frederickson
Pages: 80-94
DOI: 10.1145/322358.322364

A Supernormal-Form Theorem for Context-Free Grammars
H. A. Maurer, A. Salomaa, D. Wood
Pages: 95-102
DOI: 10.1145/322358.322365

Solving Linear Algebraic Equations on an MIMD Computer
R. E. Lord, J. S. Kowalik, S. P. Kumar
Pages: 103-117
DOI: 10.1145/322358.322366

Formulations and Algorithms for the Capacitated Minimal Directed Tree Problem
Bezalel Gavish
Pages: 118-132
DOI: 10.1145/322358.322367

Polynomial-Time Aggregation of Integer Programming Problems
Ravindran Kannan
Pages: 133-145
DOI: 10.1145/322358.322368

The Time for a Round Trip in a Cycle of Exponential Queues
R. Schassberger, H. Daduna
Pages: 146-150
DOI: 10.1145/322358.322369

The Expressiveness of Simple and Second-Order Type Structures
Steven Fortune, Daniel Leivant, Michael O'Donnell
Pages: 151-185
DOI: 10.1145/322358.322370

Vector Execution of Flow Graphs
H. R. Strong
Pages: 186-196
DOI: 10.1145/322358.322371

Formal Justification of a Proof System for Communicating Sequential Processes
Krzysztof R. Apt
Pages: 197-216
DOI: 10.1145/322358.322372

Probabilistic Algorithms for Deciding Equivalence of Straight-Line Programs
Oscar H. Ibarra, Shlomo Moran
Pages: 217-228
DOI: 10.1145/322358.322373