321 search results - page 2 / 65 » Relating complexity and precision in control flow analysis |
ESOP
1999
Springer
13 years 8 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
ICSM
2005
IEEE
13 years 10 months ago
2005
IEEE
Program flow analysis has many applications in software tools for program understanding, restructuring, verification, testing and reverse engineering. There are two important re...
RTSS
2000
IEEE
13 years 9 months ago
2000
IEEE
RV
2010
Springer
13 years 2 months ago
2010
Springer
We describe a combination of runtime information and static analysis for checking properties of complex and configurable systems. The basic idea of our approach is to 1) let the p...
ESTIMEDIA
2006
Springer
13 years 8 months ago
2006
Springer
This paper presents the influence of the loop nest splitting source code optimization on the worst-case execution time (WCET). Loop nest splitting minimizes the number of executed...