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

卷期号： Issue 104

发布时间：

卷期年份： 1980

卷期官网：

Mean-Value Analysis of Closed Multichain Queuing Networks.

GO Is Polynomial-Space Hard.

New Algorithms for Bin Packing.

Queuing Network Models with State-Dependent Routing.

A Syntactic Theory of Message Passing.

Testing Deadlock-Freedom of Computer Systems.

An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic.

A New Algorithm for Preemptive Scheduling of Trees.

Fast Decision Procedures Based on Congruence Closure.

Reaching Agreement in the Presence of Faults.

Equality and Domain Closure in First-Order Databases.

Can Any Stationary Iteration Using Linear Information Be Globally Convergent?.

The Cycle Time Distribution of Exponential Cyclic Queues.

Corrigendum: "Control System Model for Critically Timed Success".

On the Correctness of Semantic-Syntax-Directed Translations.

Lower Bounds on Information Transfer in Distributed Computations.