90 search results - page 12 / 18 » Data-Flow Analysis for MPI Programs |
167
click to vote
ATVA
2008
Springer
15 years 6 months ago
2008
Springer
Goanna is an industrial-strength static analysis tool used in academia and industry alike to find bugs in C/C++ programs. Unlike existing approaches Goanna uses the off-the-shelf N...
149
click to vote
PLDI
1994
ACM
15 years 9 months ago
1994
ACM
In this paper, we describe the program structure tree (PST), a hierarchical representation of program structure based on single entry single exit (SESE) regions of the control flo...
135
click to vote
ECOOP
2008
Springer
15 years 6 months ago
2008
Springer
Inconsistency between metadata and code customizations is a major concern in modern, configurable enterprise systems. The increasing reliance on metadata, in the form of XML files,...
179
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Today’s parallel computers with SMP nodes provide both multithreading and message passing as their modes of parallel execution. As a consequence, performance analysis a...
153
Voted
PPOPP
2006
ACM
15 years 10 months ago
2006
ACM
In prior work, we have proposed techniques to extend the ease of shared-memory parallel programming to distributed-memory platforms by automatic translation of OpenMP programs to ...