1145 search results - page 185 / 229 » The Correctness of an Optimized Code Generation |
102
click to vote
ECCV
2002
Springer
16 years 1 months ago
2002
Springer
Estimating geometric structure from uncalibrated images accurately enough for high quality rendering is difficult. We present a method where only coarse geometric structure is trac...
110
click to vote
IEEEPACT
2006
IEEE
15 years 5 months ago
2006
IEEE
This paper presents an automated performance tuning solution, which partitions a program into a number of tuning sections and finds the best combination of compiler options for e...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
121
click to vote
ISCA
1995
IEEE
15 years 3 months ago
1995
IEEE
For many programs, especially integer codes, untolerated load instruction latencies account for a significant portion of total execution time. In this paper, we present the desig...
TCSV
2008
14 years 11 months ago
2008
Recently, among various data hiding techniques, a new subset, lossless data hiding, has received increasing interest. Most of the existing lossless data hiding algorithms are, howe...