2858 search results - page 489 / 572 » Logics with Aggregate Operators |
149
click to vote
ICCD
2006
IEEE
16 years 3 months ago
2006
IEEE
—This paper introduces the microarchitecture and logical implementation of SMT (Simultaneous Multithreading) improvement of Godson-2 processor which is a 64-bit, four-issue, out-...
153
click to vote
ICCD
2004
IEEE
16 years 3 months ago
2004
IEEE
As the performance gap between processors and memory systems increases, the CPU spends more time stalled waiting for data from main memory. Critical long latency instructions, suc...
141
click to vote
ICCAD
2008
IEEE
16 years 3 months ago
2008
IEEE
Functional decomposition is a fundamental operation in logic synthesis. Prior BDD-based approaches to functional decomposition suffer from the memory explosion problem and do not...
165
click to vote
ICCAD
2006
IEEE
16 years 3 months ago
2006
IEEE
Abstract— Design variability due to within-die and die-todie process variations has the potential to significantly reduce the maximum operating frequency and the effective yield...
186
click to vote
TIME
2009
IEEE
16 years 28 days ago
2009
IEEE
The model checking problem for CTL is known to be P-complete (Clarke, Emerson, and Sistla (1986), see Schnoebelen (2002)). We consider fragments of CTL obtained by restricting the...