Sciweavers

5210 search results - page 56 / 1042
» Exact geometric computation
Sort
View
DAC
1994
ACM
14 years 2 months ago
Incorporating Speculative Execution in Exact Control-Dependent Scheduling
- This paper describes a symbolic formulation that allows incorporation of speculative operation execution (preexecution) in an exact control-dependent scheduling of arbitrary forw...
Ivan P. Radivojevic, Forrest Brewer
DAC
2005
ACM
14 years 11 months ago
An exact jumper insertion algorithm for antenna effect avoidance/fixing
As the process technology enters the nanometer era, reliability has become a major concern in the design and manufacturing of VLSI circuits. In this paper we focus on one reliabil...
Bor-Yiing Su, Yao-Wen Chang
ISBI
2008
IEEE
14 years 10 months ago
DTI registration with exact finite-strain differential
We propose an algorithm for the diffeomorphic registration of diffusion tensor images (DTI). Previous DTI registration algorithms using full tensor information suffer from difficu...
B. T. Thomas Yeo, Tom Vercauteren, Pierre Fillard,...
EGH
2007
Springer
14 years 4 months ago
Exact and error-bounded approximate color buffer compression and decompression
In this paper, we first present a survey of existing color buffer compression algorithms. After that, we introduce a new scheme based on an exactly reversible color transform, si...
Jim Rasmusson, Jon Hasselgren, Tomas Akenine-M&oum...
ICCAD
2007
IEEE
148views Hardware» more  ICCAD 2007»
14 years 6 months ago
Fast exact Toffoli network synthesis of reversible logic
— The research in the field of reversible logic is motivated by its application in low-power design, optical computing and quantum computing. Hence synthesis of reversible logic...
Robert Wille, Daniel Große