34170 search results - page 430 / 6834 » Optimization |
161
click to vote
SAS
2007
Springer
16 years 1 months ago
2007
Springer
abstraction on real-valued programs David Monniaux Laboratoire d’informatique de l’´Ecole normale sup´erieure 45, rue d’Ulm, 75230 Paris cedex 5, France June 30, 2007 In t...
118
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, an approximated closed-form total power consumption equation for circuits working at their optimal supply and threshold voltage is presented. Comparisons of this fo...
134
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
In this paper, we present a technique that exploits the statistical behavior of data values transmitted on global signal buses to determine an energy-efficient ordering of bits t...
168
click to vote
DATE
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper presents a systematic and optimal design of hybrid cascode compensation method which is used in fully differential two-stage CMOS operational transconductance amplifier...
210
click to vote
ECRTS
2006
IEEE
16 years 1 months ago
2006
IEEE
We study the problem of dynamically scheduling a set of state-feedback control tasks controlling a set of linear plants. We consider an on-line non-preemptive scheduling policy th...