Facet browsing currently unavailable
Page 1 of 3236 results
Sort by: relevance publication year
Cerise: Program Verification on a Capability Machine in the Presence of Untrusted Code JOURNAL ARTICLE published 29 February 2024 in Journal of the ACM Research funded by Villum Investigator (25804) | DFF (6108-00363) | Air Force Office of Scientific Research (FA9550-21-1-0054) |
Complexity Analysis of Generalized and Fractional Hypertree Decompositions JOURNAL ARTICLE published 31 October 2021 in Journal of the ACM Research funded by Austrian Science Fund (P30930 and Y698) | Royal Society “RAISON DATA” (RP\R1\201074) |
Impossibility Results for Truthful Combinatorial Auctions with Submodular Valuations JOURNAL ARTICLE published 30 March 2016 in Journal of the ACM Research funded by EU CIG (618128) | Israel Science Foundation (4/11) |
A randomized linear-time algorithm to find minimum spanning trees JOURNAL ARTICLE published March 1995 in Journal of the ACM |
The Salesman’s Improved Paths through Forests JOURNAL ARTICLE published 31 August 2019 in Journal of the ACM Research funded by LabEx PERSYVAL-Lab (ANR 11-LABX-0025) | Simons Foundation (359525) |
The verifying compiler JOURNAL ARTICLE published January 2003 in Journal of the ACM |
Applications of a logic of knowledge to motion planning under uncertainty JOURNAL ARTICLE published September 1997 in Journal of the ACM |
The Choice of Origin and Scale for Graphs JOURNAL ARTICLE published April 1965 in Journal of the ACM |
Finding the Lengths of All Shortest paths in N -Node Nonnegative-Distance Complete Networks Using ½ N 3 Additions and N 3 Comparisons JOURNAL ARTICLE published July 1972 in Journal of the ACM |
On the Consistency of Precedence Matrices JOURNAL ARTICLE published July 1960 in Journal of the ACM |
An Improved Bidirectional Heuristic Search Algorithm JOURNAL ARTICLE published April 1977 in Journal of the ACM |
Psychological Tests and Selection of Computer Programmers JOURNAL ARTICLE published July 1957 in Journal of the ACM |
A Numerical Method of Solving a Heat Flow Problem with Moving Boundary JOURNAL ARTICLE published April 1958 in Journal of the ACM |
Countable nondeterminism and random assignment JOURNAL ARTICLE published 10 August 1986 in Journal of the ACM |
Behavioral equivalence in the polymorphic pi-calculus JOURNAL ARTICLE published May 2000 in Journal of the ACM |
A unified theory of shared memory consistency JOURNAL ARTICLE published September 2004 in Journal of the ACM |
A Family of Quadrature Formulas Which Achieve High Accuracy in Composite Rules JOURNAL ARTICLE published July 1959 in Journal of the ACM |
Numerical Solution of Systems of Nonlinear Equations JOURNAL ARTICLE published October 1963 in Journal of the ACM |
JOURNAL ISSUE published 1 June 2012 in Journal of the ACM |
An in-place sorting with O ( n log n ) comparisons and O ( n ) moves JOURNAL ARTICLE published July 2005 in Journal of the ACM |