Sciweavers

3686 search results - page 25 / 738
» Pattern-Based Parallel Programming
Sort
View
ACPC
1991
Springer
15 years 5 months ago
Data Parallel Program Design
Ted G. Lewis, R. Currey, Jie Liu
POPL
2012
ACM
13 years 9 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