762 search results - page 11 / 153 » Conditionally correct superoptimization |
POPL
2002
ACM
14 years 10 months ago
2002
ACM
Many classical compiler optimizations can be elegantly expressed using rewrite rules of form: I = I if , where I, I are intermediate language instructions and is a property expre...
VTC
2007
IEEE
14 years 4 months ago
2007
IEEE
—TURBO principle has been exploited gainfully to implement many receiver functions. RF front-end impairments are a serious issue in high spectral efficient applications. IQ imba...
MFCS
1998
Springer
14 years 2 months ago
1998
Springer
Abstract. We provide concise abstract code for running the Java Virtual Machine (JVM) to execute compiled Java programs, and define a general compilation scheme of Java programs to...
ICPR
2006
IEEE
14 years 11 months ago
2006
IEEE
A luminance and color correction algorithm for multi-view video compression is proposed in this paper. Due to the dissimilar radiometric characteristics of different cameras and t...
ACCV
1998
Springer
14 years 2 months ago
1998
Springer
There are emerging interests from both computer vision and computer graphics communities in obtaining photorealistic modeling of a scene or an object from real images. This paper p...