3645 search results - page 596 / 729 » Implementing mapping composition |
118
click to vote
DATE
2006
IEEE
15 years 11 months ago
2006
IEEE
Abstract: This paper addresses the problem of equivalence veriļ¬cation of RTL descriptions that implement arithmetic computations (add, mult, shift) over bitvectors that have diļ¬...
144
click to vote
GLVLSI
2006
IEEE
15 years 11 months ago
2006
IEEE
In this paper we have applied statistical sizing in an industrial setting. Efficient implementation of the statistical sizing algorithm is achieved by utilizing a dedicated interi...
145
click to vote
HICSS
2006
IEEE
15 years 11 months ago
2006
IEEE
Hardware designers are increasingly turning to Single Chip Multi-Processors to achieve power and throughput goals. To further increase performance for a specific application the c...
134
click to vote
ICARCV
2006
IEEE
15 years 11 months ago
2006
IEEE
ā This paper presents a novel approach for tracking a moving target of interest across a large-scale distributed camera system where some of the cameras are mobile. The growing t...
157
Voted
ICCD
2006
IEEE
15 years 11 months ago
2006
IEEE
Microfluidics-based biochips offer exciting possibilities for highthroughput sequencing, parallel immunoassays, blood chemistry for clinical diagnostics, DNA sequencing, and envir...