Volume 40, Number 1, January 1993
John D. Hobby
: Generating Automatically Tuned Bitmaps from Outlines.
Volume 40, Number 2, April 1993
Nader H. Bshouty
: On the Complexity of Functions for Random Access Machines.
David M. Nicol
: The Cost of Conservative Synchronization in Parallel Discrete Event Simulations.
, Sam Toueg
: Simulating Synchronized Clocks and Common Knowledge in Distributed Systems.
Kin K. Leung
: An Execution/Sleep Scheduling Policy for Serving an Additional Job in Priority Queueing Systems.
Volume 40, Number 3, July 1993
: Unification in Commutative Theories, Hilbert's Basis Theorem, and Gröbner Bases.
C. A. Johnson
: Factorization and Circuit in the Connection Method.
: Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms.
Volume 40, Number 4, September 1993
Volume 40, Number 5, November 1993
Y. C. Tay
: On the Optimality of Strategies for Multiple Joins.
: On the Sojourn Time Distribution in a Finite Capacity Processor Shared Queue.