Volume 50, Number 1, 8 April 1994
: Determining the Global Progress of Parallel Simulation with FIFO Communication Property.
: An Explanatory Presentation of Composition Rules for Assumption-Commitment Specifications.
: An Optimal Scheduling Algorithm for Preemptable Real-Time Tasks.
Volume 50, Number 2, April 1994
: Static and Dynamic Parallel Computation of Connected Components.
Y. L. Chen
: Finding the k Quickset Simple Paths in a Network.
: Corrigendum: Leftmost one Computation on Meshes with Row Broadcasting.
Volume 50, Number 3, 9 May 1994
: Logic Program Semantics and Circumscription of Autoepistemic Theories.
Volume 50, Number 4, 25 May 1994
: Simpler Proof of a Realizability Theorem on Delaunay Triangulations.
: A Primal-Dual Approximation Algorithm for the Steiner Forest Problem.
, Sun Wu
: An Algorithm for Approximate Membership checking with Application to Password Security.
Simon Y. Berkovich
: Multiprocessor Interconnection Network Using Pairwise Balanced Combinatorial Designs.
Volume 50, Number 5, 10 June 1994
: Sparse Matrix Vector Multiplication on Distributed Architectures: Lower Bounds and Average Complexity Results.
: Trajectory Planning in H-Space.
Chris H. Perleberg
: Single Character Searching Methods and the shift-or Pattern-Matching Algorithm.
, Akira Maruoka
: On the Relationship Between the Diameter and the Size of a Boundary of a Directed Graph.
Volume 50, Number 6, 27 June 1994
José Fortes Gálvez
: A Note on a Proposed LALR Parser for Extended Context-Free Grammars.
David A. Naumann
: A Recursion Theorem for Predicate Transformers on Inductive Data Types.