1291 search results - page 183 / 259 » Arithmetic program paths |
147
click to vote
PADS
1999
ACM
15 years 5 months ago
1999
ACM
We have developed a set of performance prediction tools which help to estimate the achievable speedups from parallelizing a sequential simulation. The tools focus on two important...
109
click to vote
ISSTA
1998
ACM
15 years 5 months ago
1998
ACM
Automated analyses for regression test selection (RTS) attempt to determine if a modified program, when run on a test t, will have the same behavior as an old version of the prog...
107
Voted
POPL
1996
ACM
15 years 4 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
134
Voted
LCPC
2000
Springer
15 years 4 months ago
2000
Springer
Embedded systems consisting of the application program ROM, RAM, the embedded processor core, and any custom hardware on a single wafer are becoming increasingly common in applicat...
113
Voted
AMAST
2008
Springer
15 years 2 months ago
2008
Springer
In this paper, we present a novel approach that establishes a synergy between static and dynamic analyses for detecting memory errors in C code. We extend the standard C type syste...