219 search results - page 1 / 44 » Automatic Verification of Determinism for Structured Paralle... |
SAS
2010
Springer
13 years 3 months ago
2010
Springer
ICSE
2010
IEEE-ACM
13 years 6 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
EUROPAR
2005
Springer
13 years 10 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
IPPS
1996
IEEE
13 years 9 months ago
1996
IEEE
This paper introduces an analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutati...