Termination for direct sums of left-linear complete term rewriting systems

JOURNAL ARTICLE published November 1995 in Journal of the ACM

Authors: Y. Toyama | J. W. Klop | H. P. Barendregt

Corrections to Bierstone's Algorithm for Generating Cliques

JOURNAL ARTICLE published April 1972 in Journal of the ACM

Authors: Gordon D. Mulligan | D. G. Corneil

Efficient Generation of Optimal Prefix Code

JOURNAL ARTICLE published April 1975 in Journal of the ACM

Authors: Y. Perl | M. R. Garey | S. Even

A Note on Fuzzy Deduction

JOURNAL ARTICLE published October 1980 in Journal of the ACM

Authors: Jack Minker | Alan R. Aronson | Barry E. Jacobs

Unification in commutative theories, Hilbert's basis theorem, and Gröbner bases

JOURNAL ARTICLE published July 1993 in Journal of the ACM

Authors: Franz Baader

A tight bound for black and white pebbles on the pyramid

JOURNAL ARTICLE published January 1985 in Journal of the ACM

Authors: Maria M. Klawe

Path Detection in Multidimensional Iterative Arrays

JOURNAL ARTICLE published April 1967 in Journal of the ACM

Authors: William M. Waite

Micro-Programming

JOURNAL ARTICLE published April 1957 in Journal of the ACM

Authors: Robert J. Mercer

A Subroutine for Computations with Rational Numbers

JOURNAL ARTICLE published January 1956 in Journal of the ACM

Authors: Peter Henrici

Derivation of a Waiting-Time Factor for a Multiple-Bank Memory

JOURNAL ARTICLE published July 1964 in Journal of the ACM

Authors: Ivan Flores

Monte Carlo summation and integration applied to multiclass queuing networks

JOURNAL ARTICLE published November 1994 in Journal of the ACM

Authors: Keith W. Ross | Danny H. K. Tsang | Jie Wang

The High-Speed Electronic Calculating Machine of the Academy of Sciences of the U.S.S.R.

JOURNAL ARTICLE published July 1956 in Journal of the ACM

Authors: S. A. Lebedev

A performance evaluation of several priority policies for parallel processing systems

JOURNAL ARTICLE published July 1993 in Journal of the ACM

Authors: Randolph Nelson | Donald Towsley

Errors Due to Overflow in Arithmetic Operations Particularly as Regards FINAC Electronic Computer

JOURNAL ARTICLE published October 1957 in Journal of the ACM

Authors: Paolo Ercoli | Roberto Vacca

A Simpler Construction for Showing the Intrinsically Exponential Complexity of the Circularity Problem for Attribute Grammars

JOURNAL ARTICLE published October 1981 in Journal of the ACM

Authors: Mehdi Jazayeri

Some Aspects of Hierarchical Memory Systems

JOURNAL ARTICLE published January 1974 in Journal of the ACM

Authors: Debasis Mitra

Template Dependencies

JOURNAL ARTICLE published April 1982 in Journal of the ACM

Authors: Fereidoon Sadri | Jeffrey D. Ullman

A Queueing Model of Multiprogrammed Computer Systems Under Full Load Conditions

JOURNAL ARTICLE published April 1977 in Journal of the ACM

Authors: Alexandre Brandwajn

Transitions 1959--1964

JOURNAL ARTICLE published January 2003 in Journal of the ACM

Authors: Mario L. Juncosa

JACM editors-in-chief

JOURNAL ARTICLE published January 2003 in Journal of the ACM