21437 search results - page 4011 / 4288 » Hardware |
207
click to vote
HPDC
2012
IEEE
13 years 9 months ago
2012
IEEE
Interest has been growing in powering data centers (at least partially) with renewable or “green” sources of energy, such as solar or wind. However, it is challenging to use t...
154
click to vote
ATVA
2009
Springer
16 years 1 months ago
2009
Springer
: In this paper, we address the problem of synthesizing opaque systems. A secret predicate S over the runs of a system G is opaque to an external user having partial observability ...
161
click to vote
ISCA
2005
IEEE
16 years 7 days ago
2005
IEEE
Chip multiprocessors (CMPs) substantially increase capacity pressure on the on-chip memory hierarchy while requiring fast access. Neither private nor shared caches can provide bot...
226
click to vote
MOBICOM
2004
ACM
16 years 2 days ago
2004
ACM
We demonstrate a system built using probabilistic techniques that allows for remarkably accurate localization across our entire office building using nothing more than the built-...
174
click to vote
ICCAD
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents several important enhancements to the recently published multilevel placement package mPL [12]. The improvements include (i) unconstrained quadratic relaxation...