214 search results - page 29 / 43 » Automatic Correction of Loop Transformations |
104
Voted
SIGGRAPH
2010
ACM
15 years 4 months ago
2010
ACM
We introduce an interactive, portable, and inexpensive solution for estimating refractive errors in the human eye. While expensive optical devices for automatic estimation of refr...
110
click to vote
FOSSACS
2006
Springer
15 years 4 months ago
2006
Springer
We define a new decidable logic for expressing and checking invariants of programs that manipulate dynamically-allocated objects via pointers and destructive pointer updates. The ...
ICIP
2010
IEEE
14 years 10 months ago
2010
IEEE
Video editing plays an important role in today's cinematic post-production: editing operations are typically applied on a keyframe basis and propagated automatically to the r...
107
click to vote
GPCE
2009
Springer
14 years 10 months ago
2009
Springer
Template languages are widely used within generative programming, because they provide intuitive means to generate software artefacts expressed in a specific object language. Howe...
139
click to vote
ACL2
2006
ACM
15 years 6 months ago
2006
ACM
A verifying compiler is one that emits both object code and a proof of correspondence between object and source code.1 We report the use of ACL2 in building a verifying compiler f...