296 search results - page 35 / 60 » Using SAT-based techniques in power estimation |
ASPDAC
2009
ACM
14 years 2 months ago
2009
ACM
Majority of practical multivariate statistical analyses and optimizations model interdependence among random variables in terms of the linear correlation among them. Though linear...
ICC
2007
IEEE
14 years 2 months ago
2007
IEEE
— In this paper, the frequency domain (FD) SAGE (Space-Alternating Generalized Expectation-maximization) algorithm has been extended to the MIMO case in order to determine the an...
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
We define the reachability-bound problem to be the problem of finding a symbolic worst-case bound on the number of times a given control location inside a procedure is visited in ...
FCCM
2006
IEEE
14 years 1 months ago
2006
IEEE
In this paper, we investigate a combination of two techniques — instruction coding and instruction re-ordering — for optimizing energy in embedded processor control. We presen...
GECCO
2004
Springer
14 years 1 months ago
2004
Springer
Portable embedded systems are being driven by consumer demands to be thermally efficient, perform faster, and have longer battery life. To design such a system, various hardware un...