Sciweavers

2018 search results - page 21 / 404
» Code Normal Forms
Sort
View
CVPR
2007
IEEE
14 years 12 months ago
Viewpoint-Coded Structured Light
We introduce a theoretical framework and practical algorithms for replacing time-coded structured light patterns with viewpoint codes, in the form of additional camera locations. ...
Mark Young, Erik Beeson, James Davis, Szymon Rusin...
ASYNC
1998
IEEE
122views Hardware» more  ASYNC 1998»
14 years 2 months ago
A Fast Asynchronous Huffman Decoder for Compressed-Code Embedded Processors
This paper presents the architecture and design of a high-performance asynchronous Huffman decoder for compressed-code embedded processors. In such processors, embedded programs a...
Martin Benes, Steven M. Nowick, Andrew Wolfe
GI
2004
Springer
14 years 3 months ago
A Formal Correctness Proof for Code Generation from SSA Form in Isabelle/HOL
Abstract: Optimizations in compilers are the most error-prone phases in the compilation process. Since correct compilers are a vital precondition for software correctness, it is ne...
Jan Olaf Blech, Sabine Glesner
EUROPAR
2008
Springer
13 years 11 months ago
Efficiently Building the Gated Single Assignment Form in Codes with Pointers in Modern Optimizing Compilers
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs characterize the behavior of code ...
Manuel Arenaz, Pedro Amoedo, Juan Touriño
ICCV
2009
IEEE
13 years 7 months ago
Attached shadow coding: Estimating surface normals from shadows under unknown reflectance and lighting conditions
We present a novel technique, termed attached shadow coding, for estimating surface normals from shadows when the reflectance and lighting conditions are unknown. Our key idea is ...
Takahiro Okabe, Imari Sato, Yoichi Sato