Probability Models for Buffer Storage Allocation Problems

JOURNAL ARTICLE published April 1971 in Journal of the ACM

Authors: Donald P. Gaver | Peter A. W. Lewis

Program and Addressing Structure in a Time-Sharing Environment

JOURNAL ARTICLE published January 1966 in Journal of the ACM

Authors: B. W. Arden | B. A. Galler | T. C. O'Brien | F. H. Westervelt

Floating-Point Arithmetics

JOURNAL ARTICLE published April 1960 in Journal of the ACM

Authors: W. G. Wadey

Chebyshev Solution of n+1 Linear Equations in n + 1 n Unknowns

JOURNAL ARTICLE published July 1965 in Journal of the ACM

Authors: David Moursund

On the Recognition of Information With a Digital Computer

JOURNAL ARTICLE published April 1957 in Journal of the ACM

Authors: Herbert T. Glantz

Some Binary Derivation Systems

JOURNAL ARTICLE published April 1974 in Journal of the ACM

Authors: E. E. Sibert | D. Michie

Lower Bounds on Implementing Mediators in Asynchronous Systems with Rational and Malicious Agents

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (IIS-1703846, IIS-0911036) | ARO (W911NF-17-1-0592) | MURI (W911NF-19-1-0217)

Authors: Ivan Geffner | Joseph Y. Halpern

Almost Optimal Exact Distance Oracles for Planar Graphs

JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM

Research funded by NSF (CF-1637546, CCF-1815316) | Israel Science Foundation (592/17, 810/21) | Independent Research Fund Denmark (7027-00050B)

Authors: Panagiotis Charalampopoulos | Paweł Gawrychowski | Yaowei Long | Shay Mozes | Seth Pettie | Oren Weimann | Christian Wulff-Nilsen

An analytic approach to the height of binary search trees II

JOURNAL ARTICLE published May 2003 in Journal of the ACM

Authors: Michael Drmota

Periodification scheme

JOURNAL ARTICLE published September 2000 in Journal of the ACM

Authors: Mirosław kutyłowski | Krzysztof Loryś | Brigitte Oesterdiekhoff | Rolf Wanka

On the complexity analysis of static analyses

JOURNAL ARTICLE published July 2002 in Journal of the ACM

Authors: David McAllester

How to use expert advice

JOURNAL ARTICLE published May 1997 in Journal of the ACM

Authors: Nicolò Cesa-Bianchi | Yoav Freund | David Haussler | David P. Helmbold | Robert E. Schapire | Manfred K. Warmuth

Efficient algorithms for inverting evolution

JOURNAL ARTICLE published July 1999 in Journal of the ACM

Authors: Martin Farach | Sampath Kannan

A Unified Translation of Linear Temporal Logic to ω-Automata

JOURNAL ARTICLE published 31 December 2020 in Journal of the ACM

Research funded by Deutsche Forschungsgemeinschaft (317422601) | H2020 European Research Council (787367)

Authors: Javier Esparza | Jan Křetínský | Salomon Sickert

Fitting Distances by Tree Metrics Minimizing the Total Error within a Constant Factor

JOURNAL ARTICLE published 30 April 2024 in Journal of the ACM

Research funded by VILLUM (16582) | European Union’s Horizon 2020 (801199)

Authors: Vincent Cohen-Addad | Debarati Das | Evangelos Kipouridis | Nikos Parotsidis | Mikkel Thorup

Optimal scheduling policies for a class of queues with customer deadlines to the beginning of service

JOURNAL ARTICLE published October 1988 in Journal of the ACM

Authors: Shivendra S. Panwar | Don Towsley | Jack K. Wolf

The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative-Type Metrics into ℓ ₁

JOURNAL ARTICLE published 2 March 2015 in Journal of the ACM

Authors: Subhash A. Khot | Nisheeth K. Vishnoi

The mutual exclusion problem

JOURNAL ARTICLE published April 1986 in Journal of the ACM

Authors: Leslie Lamport

A Polynomial Solution to the Undirected Two Paths Problem

JOURNAL ARTICLE published July 1980 in Journal of the ACM

Authors: Yossi Shiloach

Fast Decision Procedures Based on Congruence Closure

JOURNAL ARTICLE published April 1980 in Journal of the ACM

Authors: Greg Nelson | Derek C. Oppen