243 search results - page 25 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
115
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
115
click to vote
HPCN
1995
Springer
15 years 4 months ago
1995
Springer
Abstract. Optimistic execution techniques are widely used in the field of parallel discrete event simulation. In this paper we discuss the use of optimism as a technique for paral...
119
click to vote
IPPS
1996
IEEE
15 years 5 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...
124
click to vote
PLDI
2011
ACM
14 years 4 months ago
2011
ACM
For more than thirty years, the parallel programming community has used the dependence graph as the main abstraction for reasoning about and exploiting parallelism in “regular...
IEEEPACT
2009
IEEE
15 years 8 months ago
2009
IEEE
Abstract—As programmers are asked to manage more complicated parallel machines, it is likely that they will become increasingly dependent on tools such as multi-threaded data rac...