90 search results - page 1 / 18 » Data-Flow Analysis for MPI Programs |
ICPP
2006
IEEE
14 years 4 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
14 years 4 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
14 years 2 months ago
1994
ACM
ESEC
1999
Springer
14 years 3 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
14 years 2 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...