Sciweavers

3686 search results - page 25 / 738
» Pattern-Based Parallel Programming
Sort
View
90
Voted
ACPC
1991
Springer
15 years 10 months ago
Data Parallel Program Design
Ted G. Lewis, R. Currey, Jie Liu
130
Voted
PDIS
1991
IEEE
15 years 10 months ago
Data partition: A Practical Parallel Evaluation of Datalog Programs
Weining Zhang, Ke Wang, Siu-Cheung Chau
176
Voted
POPL
2012
ACM
14 years 1 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