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

卷期号： Issue 121

发布时间：

卷期年份： 1984

卷期官网：

Analysis of Interleaved Storage Via a Constant-Service Queuing System with Markov-Chain-Driven Input.

Storing a Sparse Table with 0(1) Worst Case Access Time.

A Mechanical Proof of the Unsolvability of the Halting Problem.

Efficient Schemes for Parallel Communication.

Graph Problems on a Mesh-Connected Processor Array.

A Formal Method for the Abstract Specification of Software.

On the Optimal Solution of Large Linear Systems.

A Theory of Communicating Sequential Processes.

An End-to-End Approach to the Resequencing Problem.

The Format Model: A Theory of database Organization.

Synthesis of a Class of Deadlock-Free Petri Nets.

A Polynomial Linear Search Algorithm for the n-Dimensional Knapsack Problem.

Solving NP-Hard Problems on Graphs That Are Almost Trees and an Application to Facility Location Problems.