1145 search results - page 84 / 229 » The Correctness of an Optimized Code Generation |
CAV
2010
Springer
14 years 26 days 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...
MEMOCODE
2008
IEEE
14 years 3 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
13 years 9 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...
ICCV
2005
IEEE
14 years 2 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
14 years 10 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...