4725 search results - page 74 / 945 » Dependence-Based Program Analysis |
119
click to vote
IWOMP
2007
Springer
15 years 8 months ago
2007
Springer
The paper presents a compiler framework for analyzing and optimizing OpenMP programs. The framework includes Parallel Control Flow Graph and Parallel Data Flow equations based on t...
109
click to vote
LCPC
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. With the fast development of multi-core processors, automatic parallelization becomes increasingly important. In this work, we focus on the parallelization of utility pro...
106
click to vote
PLDI
1990
ACM
15 years 6 months ago
1990
ACM
While logic programming languages offer a great deal of scope for parallelism, there is usually some overhead associated with the execution of goals in parallel because of the wor...
106
click to vote
JAR
2008
15 years 2 months ago
2008
We analyze three proof strategies commonly used in deductive verification of deterministic sequential programs formalized with operational semantics. The strategies are: (i) stepw...
SLP
1990
15 years 3 months ago
1990
eric abstract interpretation framework. The results show significant benefits when using the proposed incremental analysis algorithms.