2620 search results - page 137 / 524 » Efficient Hardware Voxelization |
153
click to vote
CAV
1997
Springer
15 years 8 months ago
1997
Springer
We demonstrate the feasibility of using the XSB tabled logic programming system as a programmable fixed-point engine for implementing efficient local model checkers. In particular,...
118
click to vote
IWMM
2010
Springer
15 years 6 months ago
2010
Springer
Shadow memory is used by dynamic program analysis tools to store metadata for tracking properties of application memory. The efficiency of mapping between application memory and s...
152
Voted
ASPDAC
2010
ACM
15 years 2 months ago
2010
ACM
The gramian approximation methods have been proposed recently to overcome the high computing costs of classical balanced truncation based reduction methods. But those methods typi...
153
click to vote
ICCAD
2010
IEEE
15 years 2 months ago
2010
IEEE
3D stacked circuits reduce communication delay in multicore system-on-chips (SoCs) and enable heterogeneous integration of cores, memories, sensors, and RF devices. However, vertic...
149
click to vote
DPHOTO
2009
15 years 2 months ago
2009
Most digital cameras employ a spatial subsampling process, implemented as a color filter array (CFA), to capture color images. The choice of CFA patterns has a great impact on the...