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