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