370 search results - page 30 / 74 » An efficient implementation of a new DOP model |
297
click to vote
FMCAD
1998
Springer
15 years 10 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
170
click to vote
ISCAS
2006
IEEE
16 years 19 days ago
2006
IEEE
Extremely low power consumption is the critical constraint for designing implantable neural decoders that inter- Desired face directly with the nervous system. Typically a system w...
173
click to vote
CIAC
1997
Springer
15 years 10 months ago
1997
Springer
The efficiency of mergesortprogramsis analysed under a simple unit-cost model. In our analysis the time performance of the sorting programs includes the costs of key comparisons, e...
183
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
- In multiview video coding, disparity compensated prediction exploits the correlation among different views. A common approach is to use the conventional motion compensated predic...
158
click to vote
EHCI
2004
15 years 8 months ago
2004
New display technologies will enable designers to use every surface as a support for interaction with information technology. In this article, we describe techniques and tools for ...