111 search results - page 18 / 23 » Source Code Composition with the Reuseware Composition Frame... |
80
Voted
ERSHOV
1999
Springer
15 years 1 months ago
1999
Springer
The traditional representation of a program is as a linear sequence of text. At some stage in the execution sequence the source text is checked for type correctness and its transla...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We discuss the problem of building a compiler which can lift in a provably correct way pieces of information on the execution cost of the object code to cost annotations on the so...
112
click to vote
DATE
2007
IEEE
15 years 3 months ago
2007
IEEE
Solid frameworks and toolkits for design and analysis of embedded systems are of high importance, since they enable early reasoning about critical properties of a system. This pap...
MM
2006
ACM
15 years 3 months ago
2006
ACM
When a video is displayed on a smaller display than originally intended, some of the information in the video is necessarily lost. In this paper, we introduce Video Retargeting th...
CVPR
2010
IEEE
15 years 5 months ago
2010
IEEE
In this paper we propose a framework for gradient descent
image alignment in the Fourier domain. Specifically,
we propose an extension to the classical Lucas & Kanade
(LK) a...