932 search results - page 9 / 187 » Analysis and Optimization of CHR Programs |
136
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
Speculative execution, such as control speculation and data speculation, is an effective way to improve program performance. Using edge/path profile information or simple heuristi...
PPPJ
2004
ACM
15 years 8 months ago
2004
ACM
To enable analysis and visualization of phased behavior in Java programs and to facilitate optimization development, we have implemented a freely-available, phase analysis framewo...
145
click to vote
FM
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. The paper presents a deductive framework for proving program equivalence and its application to automatic verification of transformations performed by optimizing compiler...
114
click to vote
JCB
2000
15 years 2 months ago
2000
Large scale gene duplication is a major force driving the evolution of genetic functional innovation. Whole genome duplications are widely believed to have played an important rol...
105
click to vote
SAS
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. Pointer information is a prerequisite for most program analyses, and inclusion-based, i.e. Andersen-style, pointer analysis is widely used to compute such information. Ho...