Journal of the ACM （JOLACM） - Issue 157 论文列表
| 点击这里查看 Journal of the ACM 的JCR分区、影响因子等信息 |
| 卷期号： Issue 157 |
| 发布时间： |
| 卷期年份： 1993 |
| 卷期官网： |
本期论文列表
A Performance Evaluation of Several Priority Policies for Parallel Processing Systems.
Factorization and Circuit in the Connection Method.
Taking Random Walks to Grow Trees in Hypercubes.
Dissolution: Making Paths Vanish.
Undecidable Optimization Problems for Database Logic Programs.
Randomized Algorithms and Pseudorandom Numbers.
Constant Depth Circuits, Fourier Transform, and Learnability.
Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases.
Decidability of Bisimulation Equivalence for Processes Generating Context-Free Languages.
Randomized Parallel Algorithms for Backtrack Search and Branch-and-Bound Computation.
Dynamic Interpolation Search.
Random Walks on Weighted Graphs and Applications to On-line Algorithms.
Union-Copy Structures and Dynamic Segment Trees.
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.