Sciweavers

850 search results - page 45 / 170
» An Architecture for Adaptive Algorithmic Hybrids
Sort
View
ICCAD
2009
IEEE
171views Hardware» more  ICCAD 2009»
14 years 10 months ago
A hybrid local-global approach for multi-core thermal management
Multi-core processors have become an integral part of mainstream high performance computer systems. In parallel, exponentially increasing power density and packaging costs have ne...
Ramkumar Jayaseelan, Tulika Mitra
101
Voted
ICNP
2009
IEEE
15 years 7 months ago
Declarative Policy-based Adaptive MANET Routing
—This paper presents the design and implementation of declarative policy-based adaptive MANET routing protocols. Our work builds upon declarative networking, a recent innovation ...
Changbin Liu, Ricardo Correa, Xiaozhou Li, Prithwi...
131
Voted
ISLPED
2005
ACM
122views Hardware» more  ISLPED 2005»
15 years 6 months ago
A simple mechanism to adapt leakage-control policies to temperature
Leakage power reduction in cache memories continues to be a critical area of research because of the promise of a significant pay-off. Various techniques have been developed so fa...
Stefanos Kaxiras, Polychronis Xekalakis, Georgios ...
82
Voted
ICIP
2000
IEEE
15 years 4 months ago
Adaptive Target Detection Across a Clutter Boundary: GLR and Maximally Invariant Detectors
We present and compare adaptive detection algorithms developed for synthetic aperture radar (SAR) targets in structured clutter, utilizing both generalized likelihood ratio (GLR) ...
Hyung Soo Kim, Alfred O. Hero III
90
Voted
DAC
2003
ACM
16 years 1 months ago
A hybrid SAT-based decision procedure for separation logic with uninterpreted functions
SAT-based decision procedures for quantifier-free fragments of firstorder logic have proved to be useful in formal verification. These decision procedures are either based on enco...
Sanjit A. Seshia, Shuvendu K. Lahiri, Randal E. Br...