474 search results - page 16 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
POPL
1994
ACM
15 years 1 months ago
1994
ACM
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
Predicting the running time of a parallel program is useful for determining the optimal values for the parameters of the implementation and the optimal mapping of data on processo...
111
Voted
PASTE
1998
ACM
15 years 1 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...
ISPAN
2002
IEEE
15 years 2 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
IPPS
2008
IEEE
15 years 3 months ago
2008
IEEE
We are designing scalable dynamic information flow tracking techniques and employing them to carry out tasks related to debugging (bug location and fault avoidance), security (so...