2201 search results - page 394 / 441 » Improvement of ASIC Design Processes |
136
click to vote
DAC
2002
ACM
16 years 7 months ago
2002
ACM
We propose Satisfiability Checking (SAT) techniques that lead to a consistent performance improvement of up to 3x over state-ofthe-art SAT solvers like Chaff on important problem ...
169
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we present a methodology for low-cost and rapid context switch for multithreaded embedded processors with realtime guarantees. Context-switch, which involves saving...
194
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
We address the problem of integrating objects from a source taxonomy into a master taxonomy. This problem is not only currently pervasive on the web, but also important to the eme...
158
click to vote
WWW
2003
ACM
16 years 6 months ago
2003
ACM
Mobile devices have already been widely used to access the Web. However, because most available web pages are designed for desktop PC in mind, it is inconvenient to browse these l...
176
click to vote
HPCA
2002
IEEE
16 years 6 months ago
2002
IEEE
Cyclops is a new architecture for high performance parallel computers being developed at the IBM T. J. Watson Research Center. The basic cell of this architecture is a single-chip...