1291 search results - page 182 / 259 » Arithmetic program paths |
90
Voted
CGO
2007
IEEE
15 years 7 months ago
2007
IEEE
Applying the right compiler optimizations to a particular program can have a significant impact on program performance. Due to the non-linear interaction of compiler optimization...
109
Voted
FCCM
2007
IEEE
15 years 7 months ago
2007
IEEE
Programming efficiency of heterogeneous concurrent systems is limited by the use of lock-based synchronization mechanisms. Transactional memories can greatly improve the programmi...
SP
2007
IEEE
15 years 7 months ago
2007
IEEE
We present a new technique that enables software recovery in legacy applications by retrofitting exception-handling capabilities, error virtualization using rescue points. We int...
108
Voted
CC
2005
Springer
15 years 6 months ago
2005
Springer
CodeSurfer/x86 is a prototype system for analyzing x86 executables. It uses a static-analysis algorithm called value-set analysis (VSA) to recover intermediate representations that...
ICSE
2010
IEEE-ACM
15 years 5 months ago
2010
IEEE-ACM
A reachability question is a search across feasible paths through a program for target statements matching search criteria. In three separate studies, we found that reachability q...