@article{Chazelle-Dobkin/87,
AUTHOR = {Chazelle, B. and Dobkin, D.P.},
TITLE = {Intersection of convex objects in two and three dimensions},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {1-27},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Vianu/87,
AUTHOR = {Vianu, V.},
TITLE = {Dynamic functional dependencies and database aging},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {28-59},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Reif-Valiant/87,
AUTHOR = {Reif, J.H. and Valiant, L.G.},
TITLE = {Logarithmic time sort for linear size networks},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {60-76},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Dolev-Dwork-Stockmeyer/87,
AUTHOR = {Dolev, D. and Dwork, C. and Stockmeyer, L.},
TITLE = {On the minimal synchronism needed for distributed consensus},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {77-97},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Frederickson-Lynch/87,
AUTHOR = {Frederickson, G.N. and Lynch, N.A.},
TITLE = {Electing a leader in a synchronous ring},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {98-115},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Upfal-Wigderson/87,
AUTHOR = {Upfal, E. and Wigderson, A.},
TITLE = {How to share memory in a distributed system},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {116-127},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Toyama/87,
AUTHOR = {Toyama, Y.},
TITLE = {On the Church-Rosser property for the direct sum of term rewriting systems},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {128-143},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hochbaum-Shmoys/87,
AUTHOR = {Hochbaum, D.S. and Shmoys, D.B.},
TITLE = {Using dual approximation algorithms for scheduling problems: Theoretical and practical results},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {144-162},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Reischuk/87,
AUTHOR = {Reischuk, R.},
TITLE = {Simultaneous WRITES of parallel random access machines do not help to compute simple arithmetic functions},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {163-178},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Donatiello-Iyer/87,
AUTHOR = {Donatiello, L. and Iyer, B.R.},
TITLE = {Analysis of a composite performance reliability measure for fault-tolerant systems},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {179-199},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cole/87,
AUTHOR = {Cole, R.},
TITLE = {Slowing down sorting networks to obtain faster sorting algorithms},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {200-208},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Urquhart/87,
AUTHOR = {Urquhart, A.},
TITLE = {Hard examples for resolution},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {1},
PAGES = {209-219},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Murray-Rosenthal/87a,
AUTHOR = {Murray, Neil V. and Rosenthal, Erik},
TITLE = {Inference with path resolution and semantic graphs},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {225-254},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hsu/87,
AUTHOR = {Hsu, Wen-Lian},
TITLE = {Recognizing planar perfect graphs},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {255-288},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Greenberg-Flajolet-Ladner/87,
AUTHOR = {Greenberg, Albert G. and Flajolet, Philippe and Ladner, Richard E.},
TITLE = {Estimating the multiplicities of conflicts to speed their resolution in multiple access channels},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {289-325},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Lee-Shin/87,
AUTHOR = {Lee, Yann-Hang and Shin, Kang G.},
TITLE = {Optimal reconfiguration strategy for a degradable multimodule computing system},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {326-348},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Chan-Mendelzon/87,
AUTHOR = {Chan, Edward P.F. and Mendelzon, Alberto O.},
TITLE = {Answering queries on embedded-complete database schemes},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {349-375},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Papachristou/87,
AUTHOR = {Papachristou, Christos A.},
TITLE = {Associative table lookup processing for multioperand residue arithmetic},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {376-396},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Pflug-Kessler/87,
AUTHOR = {Pflug, Georg Ch. and Kessler, Hans W.},
TITLE = {Linear probing with a nonuniform address distribution},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {397-410},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Degano-Montanari/87a,
AUTHOR = {Degano, Pierpaolo and Montanari, Ugo},
TITLE = {A model for distributed systems based on graph rewriting},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {411-449},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Peleg/87b,
AUTHOR = {Peleg, David},
TITLE = {Concurrent dynamic logic},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {450-479},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Homer/87,
AUTHOR = {Homer, Steven},
TITLE = {Minimal degrees for polynomial reducibilities},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {480-491},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Venkataraman/87,
AUTHOR = {Venkataraman, K.N.},
TITLE = {Decidability of the purely existential fragment of the theory of term algebras},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {2},
PAGES = {492-510},
YEAR = {1987},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Galil-Hoffmann-Luks-Schnorr-Weber/87,
AUTHOR = {Galil, Zvi and Hoffmann, Christoph M. and Luks, Eugene M. and Schnorr, Claus P. and Weber, Andreas},
TITLE = {An $O(n^3\log n)$ deterministic and an $O(n^3)$ Las Vegas isomorphism test for trivalent graphs},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {513-531},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Irving-Leather-Gusfield/87,
AUTHOR = {Irving, Robert W. and Leather, Paul and Gusfield, Dan},
TITLE = {An efficient algorithm for the ``optimal'' stable marriage},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {532-543},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Beeri-Kifer/87,
AUTHOR = {Beeri, Catriel and Kifer, Michael},
TITLE = {A theory of intersection anomalies in relational database schemes},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {544-577},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Blumer-Blumer-Haussler-McConnell-Ehrenfeucht/87,
AUTHOR = {Blumer, A. and Blumer, J. and Haussler, D. and McConnell, R. and Ehrenfeucht, A.},
TITLE = {Complete inverted files for effecient text retrieval and analysis},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {578-595},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Fredman-Tarjan/87,
AUTHOR = {Fredman, Michael L. and Tarjan, Robert Endre},
TITLE = {Fibonacci heaps and their uses in improved network optimization algorithms},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {596-615},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Hirschberg-Larmore/87a,
AUTHOR = {Hirschberg, D.S. and Larmore, L.L.},
TITLE = {New applications of failure functions},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {616-625},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Srikanth-Toueg/87,
AUTHOR = {Srikanth, T.K. and Toueg, Sam},
TITLE = {Optimal clock synchronization},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {626-645},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Cabay-Domzy/87,
AUTHOR = {Cabay, Stanley and Domzy, Bart},
TITLE = {Systems of linear equations with dense univariate polynomial coefficients},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {646-660},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Nelson/87,
AUTHOR = {Nelson, Randolph},
TITLE = {Stochastic catastrophe theory in computer performance modeling},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {661-685},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Suri/87,
AUTHOR = {Suri, Rajan},
TITLE = {Infinitesimal perturbation analysis for general discrete event systems},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {686-717},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Book-Du/87,
AUTHOR = {Book, Ronald V. and Du, Ding-Zhu},
TITLE = {The existence and density of generalized complexity cores},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {718-730},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Oyamaguchi/87a,
AUTHOR = {Oyamaguchi, Michio},
TITLE = {The equivalence problem for real-time DPDAs},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {3},
PAGES = {731-760},
YEAR = {1987, July},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Inselberg-Chomut-Reif/87,
AUTHOR = {Inselberg, Alfred and Chomut, Tuval and Reif, Mordechai},
TITLE = {Complexity algorithms in parallel coordinates},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {765-801},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Mitra-Cieslak/87,
AUTHOR = {Mitra, Debasis and Cieslak, Randall A.},
TITLE = {Randomized parallel computations on an extension of the Omega network},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {802-824},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Vitter/87,
AUTHOR = {Vitter, Jeffrey Scott},
TITLE = {Design and analysis of dynamic Huffman codes},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {825-845},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Willard/87,
AUTHOR = {Willard, Dan E.},
TITLE = {Multidimensional search trees that provide new types of memory reductions},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {846-858},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bloch-Daniels-Spector/87,
AUTHOR = {Bloch, Joshua J. and Daniels, Dean S. and Spector, Alfred Z.},
TITLE = {A weighted voting algorithm for replicated directories},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {859-909},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Bracha/87,
AUTHOR = {Bracha, Gabriel},
TITLE = {An $O(\log n)$ expected rounds randomized Byzantine generals protocol},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {910-920},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tiwari/87,
AUTHOR = {Tiwari, Prasoon},
TITLE = {Lower bounds on communication complexity in distributed computer networks},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {921-938},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Tezuka/87,
AUTHOR = {Tezuka, Shu},
TITLE = {On the discrepancy of GFSR pseudorandom numbers},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {939-949},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Johnson/87,
AUTHOR = {Johnson, Donald B.},
TITLE = {Parallel algorithms for minimum cuts and maximum flows in planar networks},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {950-967},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Kaminski/87,
AUTHOR = {Kaminski, Michael},
TITLE = {A linear time algorithm for residue computation and a fast algorithm for division with a sparse divisor},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {968-984},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{McKenna/87,
AUTHOR = {McKenna, James},
TITLE = {Asymptotic expansions of the sojourn time distribution functions of jobs in closed, product-form queuing networks},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {985-1003},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Ajtai-Gurevich/87,
AUTHOR = {Ajtai, Mikl{\'o}s and Gurevich, Yuri},
TITLE = {Monotone versus positive},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {1004-1015},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}
@article{Sagiv-Delobel-Parker-Fagin/87,
AUTHOR = {Sagiv, Y. and Delobel, C. and Parker, D.S., Jr. and Fagin, Ronald},
TITLE = {Correction to ``An equivalence between relational database dependencies and a fragment of propositional logic''},
JOURNAL = {J. ACM},
VOLUME = {34},
NUMBER = {4},
PAGES = {1016-1018},
YEAR = {1987, October},
PUBLISHER = {ACM Press},
ADDRESS = {New York},
}