352 search results - page 19 / 71 » Evaluating the imprecision of static analysis |
106
Voted
CSREAESA
2004
15 years 3 months ago
2004
In this paper we present an approach to the optimisation of interpreted Java programs using superinstructions. Unlike existing techniques, we examine the feasibility of identifying...
152
click to vote
APSEC
2001
IEEE
15 years 5 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
ANSS
2003
IEEE
15 years 7 months ago
2003
IEEE
Crosstalk noise evaluation consists in analysing the effect of the transition of a signal - called aggressor - on its neighbours - called victims. This evaluation is based on a mo...
GD
2005
Springer
15 years 7 months ago
2005
Springer
Dynamic processes frequently occur in many applications. Visualizations of dynamically evolving data, for example as part of the data analysis, are typically restricted to a cumula...
WCET
2008
15 years 3 months ago
2008
Static WCET analysis obtains a safe estimation of the WCET of a program. The timing behaviour of a program depends in many cases on input, and an analysis could take advantage of ...