Facet browsing currently unavailable
Page 4 of 3243 results
Sort by: relevance publication year
Intermediate Value Linearizability: A Quantitative Correctness Criterion JOURNAL ARTICLE published 30 April 2023 in Journal of the ACM |
Sample-efficient strategies for learning in the presence of noise JOURNAL ARTICLE published September 1999 in Journal of the ACM |
A Purely Homomorphic Characterization of Recursively Enumerable Sets JOURNAL ARTICLE published April 1979 in Journal of the ACM |
On Computing the Exact Determinant of Matrices with Polynomial Entries JOURNAL ARTICLE published January 1975 in Journal of the ACM |
Tree Structures for Optimal Searching JOURNAL ARTICLE published July 1970 in Journal of the ACM |
Probability Models for Buffer Storage Allocation Problems JOURNAL ARTICLE published April 1971 in Journal of the ACM |
Program and Addressing Structure in a Time-Sharing Environment JOURNAL ARTICLE published January 1966 in Journal of the ACM |
Floating-Point Arithmetics JOURNAL ARTICLE published April 1960 in Journal of the ACM |
Chebyshev Solution of n+1 Linear Equations in n + 1 n Unknowns JOURNAL ARTICLE published July 1965 in Journal of the ACM |
Some Binary Derivation Systems JOURNAL ARTICLE published April 1974 in Journal of the ACM |
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) |
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) |
An analytic approach to the height of binary search trees II JOURNAL ARTICLE published May 2003 in Journal of the ACM |
Periodification scheme JOURNAL ARTICLE published September 2000 in Journal of the ACM |
On the complexity analysis of static analyses JOURNAL ARTICLE published July 2002 in Journal of the ACM |
How to use expert advice JOURNAL ARTICLE published May 1997 in Journal of the ACM |
Efficient algorithms for inverting evolution JOURNAL ARTICLE published July 1999 in Journal of the ACM |
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) |
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) |
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 |