4725 search results - page 140 / 945 » Dependence-Based Program Analysis |
123
click to vote
SERP
2007
15 years 6 months ago
2007
Escape analysis can improve the speed and memory efficiency of garbage collected languages by allocating objects to the call stack, but an offline analysis will potentially interf...
109
click to vote
ICCL
1992
IEEE
15 years 9 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
177
click to vote
SIGSOFT
2010
ACM
15 years 2 months ago
2010
ACM
It is widely believed that program analysis can be more closely targeted to the needs of programmers if the program is accompanied by further redundant documentation. This may inc...
153
click to vote
JMLR
2012
13 years 7 months ago
2012
We study sparse principal components analysis in the high-dimensional setting, where p (the number of variables) can be much larger than n (the number of observations). We prove o...
131
click to vote
APLAS
2005
ACM
15 years 6 months ago
2005
ACM
In this paper we propose a new parametric abstract finite model of Mobile Ambients able to express several properties on processes. The model can be used for the analysis of these...