0004-5411

Journal of the ACM (JOLACM) - Issue 121 论文列表

点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息
卷期号: 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.