ACM DL

Journal of the ACM (JACM)

Menu

Search Issue
enter search term and/or author name

Archive


Journal of the ACM (JACM), Volume 40 Issue 3, July 1993

Random walks on weighted graphs and applications to on-line algorithms
Don Coppersmith, Peter Doyle, Prabhakar Raghavan, Marc Snir
Pages: 421-453
DOI: 10.1145/174130.174131

Randomized algorithms and pseudorandom numbers
Howard J. Karloff, Prabhakar Raghavan
Pages: 454-476
DOI: 10.1145/174130.174132

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases
Franz Baader
Pages: 477-503
DOI: 10.1145/174130.174133

Dissolution: making paths vanish
Neil V. Murray, Erik Rosenthal
Pages: 504-535
DOI: 10.1145/174130.174135

Factorization and circuit in the connection method
C. A. Johnson
Pages: 536-557
DOI: 10.1145/174130.174136

Z-module reasoning: an equality-oriented proving method with built-in ring axioms
Tie-Cheng Wang
Pages: 558-606
DOI: 10.1145/174130.174137

Constant depth circuits, Fourier transform, and learnability
Nathan Linial, Yishay Mansour, Noam Nisan
Pages: 607-620
DOI: 10.1145/174130.174138

Dynamic interpolation search
Kurt Mehlhorn, Athanasios Tsakalidis
Pages: 621-634
DOI: 10.1145/174130.174139

Union-copy structures and dynamic segment trees
Marc J. van Kreveld, Mark H. Overmars
Pages: 635-652
DOI: 10.1145/174130.174140

Decidability of bisimulation equivalence for process generating context-free languages
J. C. M. Baeten, J. A. Bergstra, J. W. Klop
Pages: 653-682
DOI: 10.1145/174130.174141

Undecidable optimization problems for database logic programs
Haim Gaifman, Harry Mairson, Yehoshua Sagiv, Moshe Y. Vardi
Pages: 683-713
DOI: 10.1145/174130.174142

A performance evaluation of several priority policies for parallel processing systems
Randolph Nelson, Donald Towsley
Pages: 714-740
DOI: 10.1145/174130.174143

Taking random walks to grow trees in hypercubes
Sandeep Bhatt, Jin-Yi Cai
Pages: 741-764
DOI: 10.1145/174130.174144

Randomized parallel algorithms for backtrack search and branch-and-bound computation
Richard M. Karp, Yanjun Zhang
Pages: 765-789
DOI: 10.1145/174130.174145