8746 search results - page 1368 / 1750 » Diversifying search results |
201
click to vote
MTV
2003
IEEE
16 years 3 days ago
2003
IEEE
Bounded Model Checking (BMC) techniques have been used for formal hardware verification, with the help of tools such as GRASP (Generic search Algorithm for Satisfiability Proble...
189
click to vote
RSP
2003
IEEE
16 years 3 days ago
2003
IEEE
With advances in semiconductor technology, processors are becoming larger and more complex. Future processor designers will face an enormous design space, and must evaluate more a...
175
click to vote
RSP
2003
IEEE
16 years 3 days ago
2003
IEEE
We describe cache architecture, intended for prototype-oriented IC platforms, that automatically finds the best cache configuration for a particular application. The cache itself ...
187
click to vote
CASES
2003
ACM
16 years 2 days ago
2003
ACM
The proliferation of computing technology to low power domains such as hand–held devices has lead to increased interest in portable interface technologies, with particular inter...
194
click to vote
ISLPED
2003
ACM
16 years 2 days ago
2003
ACM
We describe an optimization strategy for minimizing total power consumption using dual threshold voltage (Vth) technology. Significant power savings are possible by simultaneous a...