5762 search results - page 609 / 1153 » R-tree: A Hardware Implementation |
179
click to vote
ISQED
2003
IEEE
16 years 16 days ago
2003
IEEE
This paper describes the use of integer equations for high level modeling digital circuits for application of formal verification properties at this level. Most formal verificatio...
150
click to vote
ITC
2003
IEEE
16 years 16 days ago
2003
IEEE
Today’s low cost wireless phones have driven a need to be able to economically test high volumes of complex RF IC’s at a fraction of the cost of the IC. In June of 2001 the IB...
284
click to vote
PPOPP
2003
ACM
16 years 15 days ago
2003
ACM
Because of increasing hardware and software complexity, the running time of many computational science applications is now more than the mean-time-to-failure of highpeformance com...
191
click to vote
DATE
2010
IEEE
16 years 11 days ago
2010
IEEE
Pressure sensors are ideal candidates for implementing portable digital music instruments. Existing commercial pressure sensors, however, are not optimized to meet both timing and...
182
click to vote
DATE
2010
IEEE
16 years 11 days ago
2010
IEEE
Abstract—We present a set of modeling constructs accompanied by a high performance simulation kernel for accuracy adaptive transaction level models. In contrast to traditional, ï...