4725 search results - page 200 / 945 » Dependence-Based Program Analysis |
123
click to vote
EMSOFT
2009
Springer
15 years 11 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
171
click to vote
JMLR
2012
13 years 7 months ago
2012
Variable selection is an important and practical problem that arises in analysis of many high-dimensional datasets. Convex optimization procedures that arise from relaxing the NP-...
125
click to vote
SAS
1999
Springer
15 years 9 months ago
1999
Springer
This paper describes a powerful method for dead code analysis and elimination in the presence of recursive data constructions. We describe partially dead recursive data using live...
111
click to vote
SIGADA
1998
Springer
15 years 9 months ago
1998
Springer
The requirements of High Integrity safety-critical, secure and mission-critical Software force developers to use specialised development techniques. Often the choice of computer l...
141
click to vote
ECOOP
2004
Springer
15 years 10 months ago
2004
Springer
Many compiler optimizations and software engineering tools need precise pointer analyses to be effective. Unfortunately, many Java features, such as dynamic class loading, refle...