2620 search results - page 146 / 524 » Efficient Hardware Voxelization |
153
click to vote
ICCD
2008
IEEE
16 years 1 months ago
2008
IEEE
— The aggregate power consumption of the Internet is increasing at an alarming rate, due in part to the rapid increase in the number of connected edge devices such as desktop PCs...
135
click to vote
ICCD
2002
IEEE
16 years 1 months ago
2002
IEEE
Boolean functions are fundamental to synthesis and verification of digital logic, and compact representations of Boolean functions have great practical significance. Popular repre...
106
click to vote
ICCD
2000
IEEE
16 years 1 months ago
2000
IEEE
This paper presents a new method to extract functionally equivalent structures from logic netlists. It uses a fast functional regularity extraction algorithm based on structural e...
129
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
This paper presents an efficient method for verifying hazard freedom in timed asynchronous circuits. Timed circuits are a class of asynchronous circuits that utilize explicit tim...
148
click to vote
DATE
2009
IEEE
15 years 11 months ago
2009
IEEE
— In this paper, we propose a novel, energy aware scheduling algorithm for applications running on DVS-enabled multiprocessor systems, which exploits variation in execution times...