94 search results - page 1 / 19 » Detecting loop-carried dependences in programs with dynamic ... |
JPDC
2007
13 years 4 months ago
2007
ICS
1993
Tsinghua U.
13 years 9 months ago
1993
Tsinghua U.
—Data dependence analysis techniques are the main component of today’s strategies for automatic detection of parallelism. Parallelism detection strategies are being incorporate...
ATVA
2009
Springer
13 years 11 months ago
2009
Springer
We present a new approach for automatic verification of data-dependent programs manipulating dynamic heaps. A heap is encoded by a graph where the nodes represent the cells, and t...
PLDI
2012
ACM
11 years 7 months ago
2012
ACM
Existing dynamic race detectors suffer from at least one of the following three limitations: (i) space overhead per memory location grows linearly with the number of parallel thre...
SODA
2004
ACM
13 years 6 months ago
2004
ACM
We describe a machine model for automatically dynamizing static algorithms and apply it to historyindependent data structures. Static programs expressed in this model are dynamize...