Journal: Journal of the ACM

Volume 33, Issue 4

633 -- 657Dennis de Champeaux. Subproblem finder and instance checker, two cooperating modules for theorem provers
658 -- 686W. Eric L. Grimson. The combinatorics of local constraints in model-based recognition and localization from sparse data
687 -- 701Vijaya Ramachandran. On driving many long wires in a VLSI layout
702 -- 705R. Chaudhuri, A. N. V. Rao. Approximating grammar probabilities: solution of a conjecture
706 -- 711Bruce Jay Collings, G. Barry Hembree. Initializing generalized feedback shift register pseudorandom number generators
712 -- 723Michel Cosnard, Yves Robert. Complexity of parallel QR factorization
724 -- 767Krzysztof R. Apt, Gordon D. Plotkin. Countable nondeterminism and random assignment
768 -- 791Adrian E. Conway, Nicolas D. Georganas. RECAL - a new efficient algorithm for the exact analysis of multiple-chain closed queuing networks
792 -- 807Oded Goldreich, Shafi Goldwasser, Silvio Micali. How to construct random functions
808 -- 821Ravindran Kannan, Richard J. Lipton. Polynomial-time algorithm for the orbit problem
822 -- 829John H. Rowland, John R. Cowles. Small Sample Algorithms for the Identification of Polynomials

Volume 33, Issue 3

409 -- 422Serge Abiteboul, Seymour Ginsburg. Tuple sequences and lexicographic indexes
423 -- 450Catriel Beeri, Michael Kifer. Elimination of intersection anomalies from database schemes
451 -- 464Francis Y. L. Chin. Security problems on inference control for SUM, MAX, and MIN queries
465 -- 488Seymour Ginsburg, Richard Hull. Sort sets in the relational model
489 -- 498Luc Devroye. A note on the height of binary search trees
499 -- 516Danny Dolev, Nancy A. Lynch, Shlomit S. Pinter, Eugene W. Stark, William E. Weihl. Reaching approximate agreement in the presence of faults
517 -- 532Thomas F. Coleman, Anders Edenbrandt, John R. Gilbert. Predicting fill for sparse orthogonal factorization
533 -- 550Dorit S. Hochbaum, David B. Shmoys. A unified approach to approximation algorithms for bottleneck problems
551 -- 567Samar Singh. Improved methods for storing and updating information in the out-of-kilter algorithm
568 -- 592Debasis Mitra, James McKenna. Asymptotic expansions for closed Markovian networks with state-dependent service rates
593 -- 602John N. Tsitsiklis, Christos H. Papadimitriou, Pierre A. Humblet. The performance of a precedence-based queuing discipline
603 -- 617José L. Balcázar, Ronald V. Book, Uwe Schöning. The polynomial-time hierarchy and sparse oracles
618 -- 627Timothy J. Long, Alan L. Selman. Relativizing complexity classes with sparse oracles

Volume 33, Issue 2

253 -- 289Vincent J. Digricoli, Malcolm C. Harrison. Equality-based binary resolution
290 -- 312Takao Asano, Tetsuo Asano, Hiroshi Imai. Partitioning a polygonal region into trapezoids
313 -- 326Leslie Lamport. The mutual exclusion problem: part I - a theory of interprocess communication
327 -- 348Leslie Lamport. The mutual exclusion problem: partII - statement and solutions
349 -- 370Raymond Reiter. A sound and sometimes complete query evaluation algorithm for relational databases with null values
371 -- 407Philippe Flajolet, Claude Puech. Partial match retrieval of multidimensional data

Volume 33, Issue 1

1 -- 59Zohar Manna, Richard J. Waldinger. Special relations in automated deduction
60 -- 85Kurt Mehlhorn, Franco P. Preparata. Routing through a rectangle
86 -- 104Benny Chor, Charles E. Leiserson, Ronald L. Rivest, James B. Shearer. An application of number theory to the organization of raster-graphics memory
105 -- 129Marc H. Graham, Alberto O. Mendelzon, Moshe Y. Vardi. Notions of dependency satisfaction
130 -- 150Boris D. Lubachevsky, Debasis Mitra. A chaotic asynchronous algorithm for computing the fixed point of a nonnegative matrix of unit spectral radius
151 -- 178E. Allen Emerson, Joseph Y. Halpern. Sometimes and Not Never revisited: on branching versus linear time temporal logic
179 -- 206Derek L. Eager, Kenneth C. Sevcik. Bound hierarchies for multiple-class queuing networks
207 -- 223Appie van de Liefvoort, Lester Lipsky. A matrix-algebraic solution to two K::m:: servers in a loop
224 -- 248David Harel. Effective transformations on infinite trees, with applications to high undecidability, dominoes, and fairness