Parallel Data-Flow Analysis of Explicitly Parallel Programs

Euro-Par’99 Parallel Processing - Lecture Notes in Computer Science ◽

10.1007/3-540-48311-x_51 ◽

1999 ◽

pp. 391-400 ◽

Author(s):

Jens Knoop

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Parallel Programs ◽

Data Flow Analysis ◽

Download Full-text

Parallel Data Flow Analysis for OpenMP Programs

Lecture Notes in Computer Science - A Practical Programming Model for the Multi-Core Era ◽

10.1007/978-3-540-69303-1_14 ◽

2008 ◽

pp. 138-142 ◽

Author(s):

Lei Huang ◽

Girija Sethuraman ◽

Barbara Chapman

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Download Full-text

The combining DAG: a technique for parallel data flow analysis

IEEE Transactions on Parallel and Distributed Systems ◽

10.1109/71.298205 ◽

1994 ◽

Vol 5 (8) ◽

pp. 805-813 ◽

Author(s):

R. Kramer ◽

R. Gupta ◽

M.L. Soffa

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Download Full-text

A comprehensive approach to parallel data flow analysis

Proceedings of the 6th international conference on Supercomputing - ICS '92 ◽

10.1145/143369.143415 ◽

1992 ◽

Author(s):

Yong-Fong Lee ◽

Barbara G. Ryder

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Comprehensive Approach ◽

Data Flow Analysis ◽

Download Full-text

The combining DAG: a technique for parallel data flow analysis

Proceedings Sixth International Parallel Processing Symposium ◽

10.1109/ipps.1992.222990 ◽

2003 ◽

Author(s):

R. Kramer ◽

R. Gupta ◽

M.L. Soffa

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Download Full-text

Data flow analysis for parallel programs

Proceedings of the 1993 ACM conference on Computer science - CSC '93 ◽

10.1145/170791.170853 ◽

1993 ◽

Author(s):

M. Robert Ito ◽

A. Zaafrani

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Parallel Programs ◽

Data Flow Analysis

Download Full-text

Incremental data flow analysis in a structured program editor

ACM SIGPLAN Notices ◽

10.1145/502949.502888 ◽

1984 ◽

Vol 19 (6) ◽

pp. 132-143 ◽

Author(s):

Frank Kenneth Zadeck

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Structured Program

Download Full-text

Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2006.06.019 ◽

2007 ◽

Vol 176 (3) ◽

pp. 97-108 ◽

Author(s):

Wolfram Amme ◽

Marc-André Möller ◽

Philipp Adler

Keyword(s):

Data Flow ◽

Flow Analysis ◽

General Concept ◽

Data Flow Analysis

Download Full-text

Data flow analysis of applicative programs using minimal function graphs

10.1145/512644.512672 ◽

1986 ◽

Author(s):

Neil D. Jones ◽

Alan Mycroft

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Minimal Function

Download Full-text

On Probabilistic Techniques for Data Flow Analysis

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2007.07.005 ◽

2007 ◽

Vol 190 (3) ◽

pp. 59-77 ◽

Author(s):

Alessandra Di Pierro ◽

Chris Hankin ◽

Herbert Wiklicky

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis

Download Full-text

Implementation techniques for efficient data-flow analysis of large programs

Proceedings IEEE International Conference on Software Maintenance. ICSM 2001 ◽

10.1109/icsm.2001.972711 ◽

2002 ◽

Author(s):

D.C. Atkinson ◽

W.G. Griswold

Keyword(s):

Data Flow ◽

Flow Analysis ◽

Data Flow Analysis ◽

Implementation Techniques ◽

Download Full-text