Metadata Search Funding Data Link References Status API Help
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)

Authors: Aïna Linn Georges | Armaël Guéneau | Thomas Van Strydonck | Amin Timany | Alix Trieu | Dominique Devriese | Lars Birkedal

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)

Authors: Georg Gottlob | Matthias Lanzinger | Reinhard Pichler | Igor Razgon

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)

Authors: Shahar Dobzinski | Jan Vondrák

A randomized linear-time algorithm to find minimum spanning trees

JOURNAL ARTICLE published March 1995 in Journal of the ACM

Authors: David R. Karger | Philip N. Klein | Robert E. Tarjan

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)

Authors: András Sebő | Anke Van Zuylen

The verifying compiler

JOURNAL ARTICLE published January 2003 in Journal of the ACM

Authors: Tony Hoare

Applications of a logic of knowledge to motion planning under uncertainty

JOURNAL ARTICLE published September 1997 in Journal of the ACM

Authors: Ronen I. Brafman | Jean-Claude Latombe | Yoram Moses | Yoav Shoham

The Choice of Origin and Scale for Graphs

JOURNAL ARTICLE published April 1965 in Journal of the ACM

Authors: W. J. Dixon | R. A. Kronmal

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

Authors: Jin Y. Yen

On the Consistency of Precedence Matrices

JOURNAL ARTICLE published July 1960 in Journal of the ACM

Authors: Frank Harary

An Improved Bidirectional Heuristic Search Algorithm

JOURNAL ARTICLE published April 1977 in Journal of the ACM

Authors: Lenie Sint | Dennis de Champeaux

Psychological Tests and Selection of Computer Programmers

JOURNAL ARTICLE published July 1957 in Journal of the ACM

Authors: T. C. Rowan

A Numerical Method of Solving a Heat Flow Problem with Moving Boundary

JOURNAL ARTICLE published April 1958 in Journal of the ACM

Authors: L. W. Ehrlich

Countable nondeterminism and random assignment

JOURNAL ARTICLE published 10 August 1986 in Journal of the ACM

Authors: K. R. Apt | G. D. Plotkin

Behavioral equivalence in the polymorphic pi-calculus

JOURNAL ARTICLE published May 2000 in Journal of the ACM

Authors: Benjamin C. Pierce | Davide Sangiorgi

A unified theory of shared memory consistency

JOURNAL ARTICLE published September 2004 in Journal of the ACM

Authors: Robert C. Steinke | Gary J. Nutt

A Family of Quadrature Formulas Which Achieve High Accuracy in Composite Rules

JOURNAL ARTICLE published July 1959 in Journal of the ACM

Authors: A. Ralston

Numerical Solution of Systems of Nonlinear Equations

JOURNAL ARTICLE published October 1963 in Journal of the ACM

Authors: Ferdinand Freudenstein | Bernhard Roth

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

Authors: Gianni Franceschini | Viliam Geffert