1145 search results - page 173 / 229 » The Correctness of an Optimized Code Generation |
LCTRTS
2004
Springer
15 years 5 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
CODES
2007
IEEE
15 years 3 months ago
2007
IEEE
For the worst-case execution time (WCET) analysis, especially loops are an inherent source of unpredictability and loss of precision. This is caused by the difficulty to obtain sa...
WWW
2007
ACM
16 years 15 days ago
2007
ACM
XML delivers key advantages in interoperability due to its flexibility, expressiveness, and platform-neutrality. As XML has become a performance-critical aspect of the next genera...
105
click to vote
CVPR
2004
IEEE
16 years 1 months ago
2004
IEEE
The problem of multibody motion segmentation is an important and challenging issue in computer vision. In this paper, a novel segmentation technique based on simulated annealing (...
WWW
2002
ACM
16 years 15 days ago
2002
ACM
We present an algorithm for translating XSLT programs into SQL. Our context is that of virtual XML publishing, in which a single XML view is defined from a relational database, an...