Journal of the ACM（JOLACM ）的ISSUE 124论文列表

卷期号： Issue 124

发布时间：

卷期年份： 1985

卷期官网：

A Fixpoint Semantics for Nondeterministic Data Flow

Soundness and Completeness of a Synthesis Algorithm Based on Example Computations

A Complexity Theory Based on Boolean Algebra

Beyond Two-Phase Locking

Optimal Static Load Balancing in Distributed Computer Systems

Decidable Problems for Powerful Programs

On the Efficiency of Subsumption Algorithms

Impossibility of Distributed Consensus with One Faulty Process

Parallel Algorithms for Data Compression

Feedback Vertex Sets and Cyclically Reducible Graphs

Algorithms for Resolving Conflicts in Dynamic Storage Allocation

The Traveling Salesman Problem in Graphs with 3-Edge Cutsets