Characterizing transactional memory consistency conditions using observational refinement
- Hagit Attiya
- Sandeep Hans
- et al.
- 2017
- Journal of the ACM
Publications
Date
Featured collections
Popular topics
195 results at Journal of the ACM
Statistical algorithms and a lower bound for detecting planted cliques
- Vitaly Feldman
- Elena Grigorescu
- et al.
- 2017
- Journal of the ACM
Low-rank approximation and regression in input sparsity time
- Kenneth L. Clarkson
- David P. Woodruff
- 2017
- Journal of the ACM
Revisiting asynchronous linear solvers: Provable convergence rate through randomization
- Haim Avron
- Alex Druinsky
- et al.
- 2015
- Journal of the ACM
Document spanners: A formal approach to information extraction
- Ronald Fagin
- Benny Kimelfeld
- et al.
- 2015
- Journal of the ACM
Nearly optimal solutions for the chow parameters problem and low-weight approximation of halfspaces
- Anindya De
- Ilias Diakonikolas
- et al.
- 2014
- Journal of the ACM
From Sylvester-Gallai configurations to rank bounds: Improved blackbox identity test for depth-3 circuits
- Nitin Saxena
- C. Seshadhri
- 2013
- Journal of the ACM
Random graphs and the parity quantifier
- Phokion G. Kolaitis
- Swastik Kopparty
- 2013
- Journal of the ACM
Sublinear optimization for machine learning
- Kenneth L. Clarkson
- Elad Hazan
- et al.
- 2012
- Journal of the ACM
Defining fairness in reactive and concurrent systems
- Hagen Völzer
- Daniele Varacca
- 2012
- Journal of the ACM