1010 search results - page 184 / 202 » Logics for Contravariant Simulations |
122
click to vote
SPAA
1998
ACM
15 years 6 months ago
1998
ACM
Modern shared-memory multiprocessors use complex memory system implementations that include a variety of non-trivial and interacting optimizations. More time is spent in verifying...
128
click to vote
ASPDAC
2008
ACM
15 years 4 months ago
2008
ACM
Meeting power and performance requirement is a challenging task in high speed ALUs. Supply voltage scaling is promising because it reduces both switching and active power but it al...
122
click to vote
IANDC
2008
15 years 2 months ago
2008
act Interpretation Francesco Ranzato and Francesco Tapparo Dipartimento di Matematica Pura ed Applicata, Universit`a di Padova, Italy The Paige and Tarjan algorithm (PT) for comp...
110
click to vote
ICCAD
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we present NoCEE, a fast and accurate method for extracting energy models for packet-switched Network on Chip (NoC) routers. Linear regression is used to model the r...
130
click to vote
SAINT
2008
IEEE
15 years 8 months ago
2008
IEEE
In the ubiquitous computing environment, we believe that P2P-based context-aware application utilizing sensing data is important. However, since sensors are not placed under the c...