2620 search results - page 108 / 524 » Efficient Hardware Voxelization |
147
click to vote
DATE
2004
IEEE
15 years 8 months ago
2004
IEEE
ASIC designs for future communication applications cannot be simulated exhaustively. Formal Property Checking is a powerful technology to overcome the limitations of current funct...
117
click to vote
FPL
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a new data representation known as Dual FiXedpoint (DFX), which employs a single bit exponent to select two different fixedpoint scalings. DFX provide...
143
click to vote
DSD
2006
IEEE
15 years 8 months ago
2006
IEEE
Abstract. Network-on-chip-based multiprocessor systems-onchip are considered as future embedded systems platforms. One of the steps in mapping an application onto such a parallel p...
126
click to vote
ASPDAC
2001
ACM
15 years 8 months ago
2001
ACM
Abstract- Traditional state-traversal-basedmethods for verifying sequential circuits are computationally infeasible for circuits with a large number of memory elements. However, if...
116
click to vote
DATE
2010
IEEE
15 years 4 months ago
2010
IEEE
The Monte Carlo (MC) simulation is a well-known solution to the statistical analysis of analog circuits in the presence of device mismatch. Despite MC's superior accuracy comp...