792 search results - page 50 / 159 » Static Analysis of XSLT Programs |
129
click to vote
ISCA
2012
IEEE
13 years 3 months ago
2012
IEEE
Efficient execution of well-parallelized applications is central to performance in the multicore era. Program analysis tools support the hardware and software sides of this effor...
134
Voted
TGC
2010
Springer
14 years 10 months ago
2010
Springer
Static analysers are becoming so complex that it is crucial to ascertain the soundness of their results in a provable way. In this paper we develop a certified checker in Coq that ...
103
click to vote
OOPSLA
2004
Springer
15 years 6 months ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
100
click to vote
SIGSOFT
1994
ACM
15 years 4 months ago
1994
ACM
In this paper we present an approach, based on data ow analysis, that can provide cost-e ective analysis of concurrent programs with respect to explicitly stated correctness prope...
106
click to vote
DAC
2006
ACM
16 years 1 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...