Journal of the ACM （JOLACM） - Issue 104 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： 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.