ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 24 Issue 3, July 1977

Automatic Proofs of Theorems in Analysis Using Nonstandard Techniques
W. W. Bledsoe, A. Michael Ballantyne
Pages: 353-374
DOI: 10.1145/322017.322018

Stability and Optimal Control of the Packet Switching Broadcast Channel
Guy Fayolle, Erol Gelenbe, Jacques Labetoulle
Pages: 375-386
DOI: 10.1145/322017.322019

On Equivalence and Containment Problems for Formal Languages
Harry B. Hunt, III, Daniel J. Rosenkrantz
Pages: 387-396
DOI: 10.1145/322017.322020

Local Feedback in Full-Text Retrieval Systems
R. Attar, A. S. Fraenkel
Pages: 397-417
DOI: 10.1145/322017.322021

Operations Research Applied to Document Indexing and Retrieval Decisions
Abraham Bookstein, Don Kraft
Pages: 418-427
DOI: 10.1145/322017.322022

The Complexity of Trie Index Construction
Douglas Comer, Ravi Sethi
Pages: 428-440
DOI: 10.1145/322017.322023

Optimal Batched Searching of Tree Structured Files in Multiprocessor Computer Systems
K. Hwang, S. B. Yao
Pages: 441-454
DOI: 10.1145/322017.322024

A Linear Time Algorithm for Deciding Subject Security
R. J. Lipton, L. Snyder
Pages: 455-464
DOI: 10.1145/322017.322025

Development of a Parametric Generating Procedure for Integer Programming Test Problems
Benjamin W. Y. Lin, Ronald L. Rardin
Pages: 465-472
DOI: 10.1145/322017.322026

On Live-Dead Analysis for Global Data Flow Problems
Lawrence T. Kou
Pages: 473-483
DOI: 10.1145/322017.322027

Semantics of the Domain of Flow Diagrams
John C. Reynolds
Pages: 484-503
DOI: 10.1145/322017.322028

Complexity of Synthesizing Inductive Assertions
Ben Wegbreit
Pages: 504-512
DOI: 10.1145/322017.322029

The Complexity of Parallel Evaluation of Linear Recurrences
L. Hyafil, H. T. Kung
Pages: 513-521
DOI: 10.1145/322017.322030

Word Problems Solvable in Logspace
Richard J. Lipton, Yechezkel Zalcstein
Pages: 522-526
DOI: 10.1145/322017.322031

Errata: `` Analysis of Several Task-Scheduling Algorithms for a Model of Multiprogramming Computer Systems''
K. L. Krause, V. Y. Shen, H. D. Schwetman
Page: 527
DOI: 10.1145/322017.322032