2620 search results - page 100 / 524 » Efficient Hardware Voxelization |
130
click to vote
DATE
2010
IEEE
15 years 9 months ago
2010
IEEE
—Bug-free first silicon is not guaranteed by the existing pre-silicon verification techniques. To have impeccable products, it is now required to identify any bug as soon as the ...
119
click to vote
DATE
2010
IEEE
15 years 8 months ago
2010
IEEE
Model checking techniques are promising for automated generation of directed tests. However, due to the prohibitively large time and resource requirements, conventional model chec...
187
Voted
CAV
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The use of Craig interpolants has enabled the development of powerful hardware and software model checking techniques. Efficient algorithms are known for computing interp...
133
click to vote
TVLSI
2010
14 years 11 months ago
2010
Abstract--Image and video signals might be corrupted by impulse noise in the process of signal acquisition and transmission. In this paper, an efficient VLSI implementation for rem...
137
click to vote
ICCD
2003
IEEE
16 years 1 months ago
2003
IEEE
NAND flash memory has become an indispensable component in embedded systems because of its versatile features such as non-volatility, solid-state reliability, low cos,t and high d...