2620 search results - page 334 / 524 » Efficient Hardware Voxelization |
204
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
Compared are different methods for evaluation of formulas expressing microprocessor correctness in the logic of Equality with Uninterpreted Functions and Memories (EUFM) by transl...
161
click to vote
ICCD
2001
IEEE
16 years 3 months ago
2001
IEEE
We propose two new instructions, swperm and sieve, that can be used to efficiently complete an arbitrary bit-level permutation of an n-bit word with or without repetitions. Permut...
132
Voted
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
This paper describes an efficient implementation of an effective sequential synthesis operation that uses induction to detect and merge sequentially-equivalent nodes. State-encodi...
185
click to vote
ICCAD
2007
IEEE
16 years 3 months ago
2007
IEEE
- Power gating is an efficient technique for reducing leakage power in electronic devices by disconnecting blocks idle for long periods of time from the power supply. Disconnecting...
149
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
This paper presents figures of merit and error formulae to determine which interconnects require volume discretization in the GHZ range. Most of the previous work focused mainly o...