-
2
-
-
26944443478
-
Survey propagation: An algorithm for satisfiability
-
A. Braunstein, M. Mèzard, and R. Zecchina. Survey propagation: An algorithm for satisfiability. Random Structures and Algorithms, 27(2):201-226, 2005.
-
(2005)
Random Structures and Algorithms
, vol.27
, Issue.2
, pp. 201-226
-
-
Braunstein, A.1
Mèzard, M.2
Zecchina, R.3
-
3
-
-
56449111854
-
Inferring locks for atomic sections
-
Sigmund Cherem, Trishul Chilimbi, and Sumit Gulwani. Inferring locks for atomic sections. In PLDI '08, pages 304-315, 2008.
-
(2008)
PLDI '08
, pp. 304-315
-
-
Cherem, S.1
Chilimbi, T.2
Gulwani, S.3
-
4
-
-
57349155016
-
Three-dimensional Delaunay refinement for multi-core processors
-
Andrey N. Chernikov and Nikos P. Chrisochoides. Three-dimensional Delaunay refinement for multi-core processors. In ICS '08, 2008.
-
(2008)
ICS '08
-
-
Chernikov, A.N.1
Chrisochoides, N.P.2
-
5
-
-
62749095223
-
-
Thomas Cormen, Charles Leiserson, Ronald Rivest, and Clifford Stein, editors, MIT Press
-
Thomas Cormen, Charles Leiserson, Ronald Rivest, and Clifford Stein, editors. Introduction to Algorithms. MIT Press, 2001.
-
(2001)
Introduction to Algorithms
-
-
-
6
-
-
0000786253
-
Spanning trees and spanners
-
J. Sack and J. Urrutia, editors, Elsevier
-
David Eppstein. Spanning trees and spanners. In J. Sack and J. Urrutia, editors, Handbook of Computational Geometry, pages 425-461. Elsevier, 1999.
-
(1999)
Handbook of Computational Geometry
, pp. 425-461
-
-
Eppstein, D.1
-
7
-
-
0001448065
-
Some efficient solutions to the affine scheduling problem: One dimensional time
-
October
-
Paul Feautrier. Some efficient solutions to the affine scheduling problem: One dimensional time. International Journal of Parallel Programming, October 1992.
-
(1992)
International Journal of Parallel Programming
-
-
Feautrier, P.1
-
8
-
-
0024090156
-
A new approach to the maximum-flow problem
-
Andrew V. Goldberg and Robert E. Tarjan. A new approach to the maximum-flow problem. J. ACM, 35(4):921-940, 1988.
-
(1988)
J. ACM
, vol.35
, Issue.4
, pp. 921-940
-
-
Goldberg, A.V.1
Tarjan, R.E.2
-
9
-
-
52449149247
-
Randomized incremental construction of delaunay and voronoi diagrams
-
December
-
Leonidas J. Guibas, Donald E. Knuth, and Micha Sharir. Randomized incremental construction of delaunay and voronoi diagrams. Algorithmica, 7(1):381-413, December 1992.
-
(1992)
Algorithmica
, vol.7
, Issue.1
, pp. 381-413
-
-
Guibas, L.J.1
Knuth, D.E.2
Sharir, M.3
-
12
-
-
42549111870
-
SIGPLAN Not. (Proceedings of PLDI 2007)
-
211-222
-
M. Kulkarni, K. Pingali, B. Walter, G. Ramanarayanan, K. Bala, and L. P. Chew. Optimistic parallelism requires abstractions. SIGPLAN Not. (Proceedings of PLDI 2007), 42(6):211-222, 2007.
-
(2007)
, vol.42
, Issue.6
-
-
Kulkarni, M.1
Pingali, K.2
Walter, B.3
Ramanarayanan, G.4
Bala, K.5
Chew, L.P.6
-
14
-
-
70350600788
-
How much parallelism is there in irregular applications?
-
Milind Kulkarni, Martin Burtscher, Rajasekhar Inkulu, Keshav Pingali, and Calin Casçaval. How much parallelism is there in irregular applications? In PPoPP '09, pages 3-14, 2009.
-
(2009)
PPoPP '09
, pp. 3-14
-
-
Kulkarni, M.1
Burtscher, M.2
Inkulu, R.3
Pingali, K.4
Casçaval, C.5
-
15
-
-
70149092674
-
BruceWalter, Kavita Bala, and L. Paul Chew. Optimistic parallelism benefits from data partitioning
-
Milind Kulkarni, Keshav Pingali, Ganesh Ramanarayanan, BruceWalter, Kavita Bala, and L. Paul Chew. Optimistic parallelism benefits from data partitioning. SIGARCH Comput. Archit. News, 36(1):233-243, 2008.
-
(2008)
SIGARCH Comput. Archit. News
, vol.36
, Issue.1
, pp. 233-243
-
-
Kulkarni, M.1
Pingali, K.2
Ramanarayanan, G.3
-
18
-
-
33745211930
-
Autolocker: Synchronization inference for atomic sections
-
Bill McCloskey, Feng Zhou, David Gay, and Eric Brewer. Autolocker: synchronization inference for atomic sections. In POPL '06, pages 346-358, 2006.
-
(2006)
POPL '06
, pp. 346-358
-
-
McCloskey, B.1
Zhou, F.2
Gay, D.3
Brewer, E.4
-
19
-
-
33749236639
-
Nested transactional memory: Model and architecture sketches
-
J. Eliot B. Moss and Antony L. Hosking. Nested transactional memory: model and architecture sketches. Sci. Comput. Program., 63(2):186-201, 2006.
-
(2006)
Sci. Comput. Program
, vol.63
, Issue.2
, pp. 186-201
-
-
Eliot, J.1
Moss, B.2
Hosking, A.L.3
-
20
-
-
35248882492
-
Polyglot: An extensible compiler framework for java
-
Springer-Verlag
-
Nathaniel Nystrom, Michael R. Clarkson, and Andrew C. Myers. Polyglot: An extensible compiler framework for java. In CC'03, pages 138-152. Springer-Verlag, 2003.
-
(2003)
CC'03
, pp. 138-152
-
-
Nystrom, N.1
Clarkson, M.R.2
Myers, A.C.3
-
21
-
-
77749277903
-
-
http://www.openmp.org/.
-
-
-
-
23
-
-
0023535689
-
Guided self-scheduling: A practical scheduling scheme for parallel supercomputers
-
C. D. Polychronopoulos and D. J. Kuck. Guided self-scheduling: A practical scheduling scheme for parallel supercomputers. IEEE Trans. Comput., 36(12):1425-1439, 1987.
-
(1987)
IEEE Trans. Comput
, vol.36
, Issue.12
, pp. 1425-1439
-
-
Polychronopoulos, C.D.1
Kuck, D.J.2
-
24
-
-
33751032129
-
McRT-STM: A high performance software transactional memory system for a multi-core runtime
-
Bratin Saha, Ali-Reza Adl-Tabatabai, Richard L. Hudson, Chi Cao Minh, and Benjamin Hertzberg. McRT-STM: a high performance software transactional memory system for a multi-core runtime. In PPoPP '06, pages 187-197, 2006.
-
(2006)
PPoPP '06
, pp. 187-197
-
-
Saha, B.1
Adl-Tabatabai, A.-R.2
Hudson, R.L.3
Cao Minh, C.4
Hertzberg, B.5
-
25
-
-
77749277901
-
-
Marc Snir. http://wing.cs.uiuc.edu/group/patterns/.
-
Marc Snir
-
-
-
26
-
-
0001956132
-
Soot - a java bytecode optimization framework
-
Raja Vallée-Rai, Phong Co, Etienne Gagnon, Laurie Hendren, Patrick Lam, and Vijay Sundaresan. Soot - a java bytecode optimization framework. In CASCON '99, page 13, 1999.
-
(1999)
CASCON '99
, pp. 13
-
-
Vallée-Rai, R.1
Co, P.2
Gagnon, E.3
Hendren, L.4
Lam, P.5
Sundaresan, V.6
|