Sciweavers

3686 search results - page 25 / 738
» Pattern-Based Parallel Programming
Sort
View
ACPC
1991
Springer
15 years 10 months ago
Data Parallel Program Design
Ted G. Lewis, R. Currey, Jie Liu
184
Voted
POPL
2012
ACM
14 years 2 months ago
Resource-sensitive synchronization inference by abduction
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
Matko Botincan, Mike Dodds, Suresh Jagannathan