90 search results - page 1 / 18 » Data-Flow Analysis for MPI Programs |
ICPP
2006
IEEE
13 years 10 months ago
2006
IEEE
Message passing via MPI is widely used in singleprogram, multiple-data (SPMD) parallel programs. Existing data-flow frameworks do not model the semantics of message-passing SPMD ...
SBACPAD
2005
IEEE
13 years 10 months ago
2005
IEEE
The Data-Flow Graph (DFG) of a parallel application is frequently used to take scheduling decisions, based on the information that it models (dependencies among the tasks and volu...
POPL
1994
ACM
13 years 8 months ago
1994
ACM
ESEC
1999
Springer
13 years 8 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
SIGSOFT
1994
ACM
13 years 8 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...