2673 search results - page 115 / 535 » Guided Static Analysis |
125
click to vote
FDL
2004
IEEE
15 years 7 months ago
2004
IEEE
The article describes semi-symbolic methods for the analysis of control and signal processing systems, including static and dynamic uncertainties. This above mentioned semi-symbol...
124
click to vote
ICSM
2005
IEEE
15 years 9 months ago
2005
IEEE
Many of the approaches that analyze software evolution consider a static perspective of a system. Static analysis approaches focus on the evolution of static software entities suc...
199
click to vote
CC
2012
Springer
13 years 11 months ago
2012
Springer
Pointer analysis is one of the most important static analyses during compilation. While several enhancements have been made to scale pointer analysis, the work on parallelizing the...
118
click to vote
IPPS
2006
IEEE
15 years 10 months ago
2006
IEEE
In this paper we describe a compiler framework which can identify communication patterns for MPIbased parallel applications. This has the potential of providing significant perfo...
110
click to vote
FLOPS
2006
Springer
15 years 7 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...