243 search results - page 9 / 49 » Precise Interprocedural Dependence Analysis of Parallel Prog... |
119
click to vote
WOMPAT
2004
Springer
15 years 2 months ago
2004
Springer
A program analysis tool can play an important role in helping users understand and improve OpenMP codes. Dragon is a robust interactive program analysis tool based on the Open64 co...
LCPC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. We have designed and implemented an interprocedural algorithm to analyze symbolic value ranges that can be assumed by variables at any given point in a program. Our algor...
90
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Context-free approaches to static analysis gain precision over classical approaches by perfectly matching returns to call sites-a property that eliminates spurious interprocedural...
CC
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. A key scalability challenge for interprocedural dataflow analysis comes from large libraries. Our work addresses this challenge for the general category of interprocedura...
ICS
1995
Tsinghua U.
15 years 1 months ago
1995
Tsinghua U.
In this paper, we present a GSA-based technique that performs more e cient and more precise symbolic analysis of predicated assignments, recurrences and index arrays. The e ciency...