Journal of the ACM -- 1987

Volume 34, Number 1, January 1987

• B. Chazelle and D. P. Dobkin. Intersection of convex objects in two and three dimensions. Journal of the ACM, 34(1):1-27, January 1987. Citations. [BibTeX entry]

• Victor Vianu. Dynamic functional dependencies and database aging. Journal of the ACM, 34(1):28-59, January 1987. Citations. [BibTeX entry]

• John H. Reif and Leslie G. Valiant. A logarithmic time sort for linear size networks. Journal of the ACM, 34(1):60-76, January 1987. Citations. [BibTeX entry]

• Danny Dolev, Cynthia Dwork, and Larry Stockmeyer. On the minimal synchronism needed for distributed consensus. Journal of the ACM, 34(1):77-97, January 1987. Citations. [BibTeX entry]

• Greg N. Frederickson and Nancy A. Lynch. Electing a leader in a synchronous ring. Journal of the ACM, 34(1):98-115, January 1987. Citations. [BibTeX entry]

• Eli Upfal and Avi Wigderson. How to share memory in a distributed system. Journal of the ACM, 34(1):116-127, January 1987. Citations. [BibTeX entry]

• Yoshihito Toyama. On the Church-Rosser property for the direct sum of term rewriting systems. Journal of the ACM, 34(1):128-143, January 1987. Citations. [BibTeX entry]

• Dorit S. Hochbaum and David B. Shmoys. Using dual approximation algorithms for scheduling problems: Theoretical and practical results. Journal of the ACM, 34(1):144-162, January 1987. Citations. [BibTeX entry]

• Rüdiger Reischuk. Simultaneous WRITES of parallel random access machines do not help to compute simple arithmetic functions. Journal of the ACM, 34(1):163-178, January 1987. Citations. [BibTeX entry]

• Lorenzo Donatiello and Balakrishna R. Iyer. Analysis of a composite performance reliability measure for fault-tolerant systems. Journal of the ACM, 34(1):179-199, January 1987. [BibTeX entry]

• Richard Cole. Slowing down sorting networks to obtain faster sorting algorithms. Journal of the ACM, 34(1):200-208, January 1987. Citations. [BibTeX entry]

• Alasdair Urquhart. Hard examples for resolution. Journal of the ACM, 34(1):209-219, January 1987. Citations. [BibTeX entry]

Volume 34, Number 2, April 1987

• Neil V. Murray and Erik Rosenthal. Inference with path resolution and semantic graphs. Journal of the ACM, 34(2):225-254, April 1987. Abstract, Citations, etc. [BibTeX entry]

• Wen-Lian Hsu. Recognizing planar perfect graphs. Journal of the ACM, 34(2):255-288, April 1987. [BibTeX entry]

• Albert G. Greenberg, Philippe Flajolet, and Richard E. Ladner. Estimating the multiplicities of conflicts to speed their resolution in multiple access channels. Journal of the ACM, 34(2):289-325, April 1987. Citations. [BibTeX entry]

• Yann-Hang Lee and Kang G. Shin. Optimal reconfiguration strategy for a degradable multimodule computing system. Journal of the ACM, 34(2):326-348, April 1987. [BibTeX entry]

• Edward P. F. Chan and Alberto O. Mendelzon. Answering queries on embedded-complete database schemes. Journal of the ACM, 34(2):349-375, April 1987. [BibTeX entry]

• Christos A. Papachristou. Associative table lookup processing for multioperand residue arithmetic. Journal of the ACM, 34(2):376-396, April 1987. [BibTeX entry]

• Georg Ch. Pflug and Hans W. Kessler. Linear probing with a nonuniform address distribution. Journal of the ACM, 34(2):397-410, April 1987. [BibTeX entry]

• Pierpaolo Degano and Ugo Montanari. A model for distributed systems based on graph rewriting. Journal of the ACM, 34(2):411-449, April 1987. [BibTeX entry]

• David Peleg. Concurrent dynamic logic. Journal of the ACM, 34(2):450-479, April 1987. Citations. [BibTeX entry]

• Steven Homer. Minimal degrees for polynomial reducibilities. Journal of the ACM, 34(2):480-491, April 1987. Citations. [BibTeX entry]

• K. N. Venkataraman. Decidability of the purely existential fragment of the theory of term algebras. Journal of the ACM, 34(2):492-510, April 1987. Citations. [BibTeX entry]

Volume 34, Number 3, July 1987

• Zvi Galil, Christoph M. Hoffmann, Eugene M. Luks, Claus P. Schnorr, and Andreas Weber. An O(n^3 log n) deterministic and an O(n^3) Las Vegas isomorphism test for trivalent graphs. Journal of the ACM, 34(3):513-531, July 1987. [BibTeX entry]

• Robert W. Irving, Paul Leather, and Dan Gusfield. An efficient algorithm for the ``optimal'' stable marriage. Journal of the ACM, 34(3):532-543, July 1987. Citations. [BibTeX entry]

• Catriel Beeri and Michael Kifer. A theory of intersection anomalies in relational database schemes. Journal of the ACM, 34(3):544-577, July 1987. [BibTeX entry]

• A. Blumer, J. Blumer, D. Haussler, R. McConnell, and A. Ehrenfeucht. Complete inverted files for efficient text retrieval and analysis. Journal of the ACM, 34(3):578-595, July 1987. Citations. [BibTeX entry]

• Michael L. Fredman and Robert Endre Tarjan. Fibonacci heaps and their uses in improved network optimization algorithms. Journal of the ACM, 34(3):596-615, July 1987. Citations. [BibTeX entry]

• D. S. Hirschberg and L. L. Larmore. New applications of failure functions. Journal of the ACM, 34(3):616-625, July 1987. Citations. [BibTeX entry]

• T. K. Srikanth and Sam Toueg. Optimal clock synchronization. Journal of the ACM, 34(3):626-645, July 1987. Citations. [BibTeX entry]

• Stanley Cabay and Bart Domzy. Systems of linear equations with dense univariate polynomial coefficients. Journal of the ACM, 34(3):646-660, July 1987. [BibTeX entry]

• Randolph Nelson. Stochastic catastrophe theory in computer performance modeling. Journal of the ACM, 34(3):661-685, July 1987. [BibTeX entry]

• Rajan Suri. Infinitesimal perturbation analysis for general discrete event systems. Journal of the ACM, 34(3):686-717, July 1987. Citations. [BibTeX entry]

• Ronald V. Book and Ding-Zhu Du. The existence and density of generalized complexity cores. Journal of the ACM, 34(3):718-730, July 1987. Citations. [BibTeX entry]

• Michio Oyamaguchi. The equivalence problem for real-time DPDAs. Journal of the ACM, 34(3):731-760, July 1987. [BibTeX entry]

Volume 34, Number 4, October 1987

• Alfred Inselberg, Tuval Chomut, and Mordechai Reif. Convexity algorithms in parallel coordinates. Journal of the ACM, 34(4):765-801, October 1987. [BibTeX entry]

• Debasis Mitra and Randall A. Cieslak. Randomized parallel communications on an extension of the omega network. Journal of the ACM, 34(4):802-824, October 1987. Citations. [BibTeX entry]

• Jeffrey Scott Vitter. Design and analysis of dynamic Huffman codes. Journal of the ACM, 34(4):825-845, October 1987. [BibTeX entry]

• Dan E. Willard. Multidimensional search trees that provide new types of memory reductions. Journal of the ACM, 34(4):846-858, October 1987. Citations. [BibTeX entry]

• Joshua J. Bloch, Dean S. Daniels, and Alfred Z. Spector. A weighted voting algorithm for replicated directories. Journal of the ACM, 34(4):859-909, October 1987. Citations. [BibTeX entry]

• Gabriel Bracha. An O(log n) expected rounds randomized Byzantine generals protocol. Journal of the ACM, 34(4):910-920, October 1987. [BibTeX entry]

• Prasoon Tiwari. Lower bounds on communication complexity in distributed computer networks. Journal of the ACM, 34(4):921-938, October 1987. Citations. [BibTeX entry]

• Shu Tezuka. On the discrepancy of GFSR pseudorandom numbers. Journal of the ACM, 34(4):939-949, October 1987. [BibTeX entry]

• Donald B. Johnson. Parallel algorithms for minimum cuts and maximum flows in planar networks. Journal of the ACM, 34(4):950-967, October 1987. Citations. [BibTeX entry]

• Michael Kaminski. A linear time algorithm for residue computation and a fast algorithm for division with a sparse divisor. Journal of the ACM, 34(4):968-984, October 1987. [BibTeX entry]

• James McKenna. Asymptotic expansions of the sojourn time distribution functions of jobs in closed, product-form queuing networks. Journal of the ACM, 34(4):985-1003, October 1987. [BibTeX entry]

• Miklos Ajtai and Yuri Gurevich. Monotone versus positive. Journal of the ACM, 34(4):1004-1015, October 1987. Citations. [BibTeX entry]

• Y. Sagiv, C. Delobel, D. S. Parker, Jr., and Ronald Fagin. Correction to ``An equivalence between relational database dependencies and a fragment of propositional logic''. Journal of the ACM, 34(4):1016-1018, October 1987. References. [BibTeX entry]

Shortcuts: