474 search results - page 30 / 95 » Parallel Data Flow Analysis for OpenMP Programs |
122
Voted
ESOP
2006
Springer
15 years 5 months ago
2006
Springer
We present and solve a path optimization problem on programs. Given a set of program nodes, called critical nodes, we find a shortest path through the program's control flow g...
124
click to vote
SIGADA
2004
Springer
15 years 7 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...
PLDI
1996
ACM
15 years 6 months ago
1996
ACM
This paper presents a new analysis technique, commutativity analysis, for automatically parallelizing computations that manipulate dynamic, pointer-based data structures. Commutat...
99
Voted
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Parallel programming is becoming an important cornerstone of general computing. In addition, type systems have significant impact on program analysis. In this paper, we demonstrat...
100
click to vote
CSFW
2010
IEEE
15 years 5 months ago
2010
IEEE
—Quantitative information-flow analysis (QIF) is an emerging technique for establishing information-theoretic confidentiality properties. Automation of QIF is an important step...