1145 search results - page 84 / 229 » The Correctness of an Optimized Code Generation |
CAV
2010
Springer
15 years 3 months ago
2010
Springer
Well-defined memory consistency models are necessary for writing correct parallel software. Developing and understanding formal specifications of hardware memory models is a chal...
106
click to vote
MEMOCODE
2008
IEEE
15 years 6 months ago
2008
IEEE
We present a component-based description language for heterogeneous systems composed of several data flow processing components and a unique eventbased controller. Descriptions a...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
This paper presents a new functionality of the Automatic Differentiation (AD) Tool tapenade. tapenade generates adjoint codes which are widely used for optimization or inverse prob...
103
click to vote
ICCV
2005
IEEE
15 years 5 months ago
2005
IEEE
— We present a general approach for the hierarchical segmentation and labeling of document layout structures. This approach models document layout as a grammar and performs a glo...
ICIP
2002
IEEE
16 years 1 months ago
2002
IEEE
Current rate control schemes in video coding standards do not have efficient frame-level bit allocation because of the inherent constraints in real-time encoding. In this paper, w...