34170 search results - page 430 / 6834 » Optimization |
157
click to vote
SAS
2007
Springer
16 years 24 days 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...
114
click to vote
DATE
2006
IEEE
16 years 22 days 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...
132
click to vote
DATE
2006
IEEE
16 years 22 days 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...
163
click to vote
DATE
2006
IEEE
16 years 22 days 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...
202
click to vote
ECRTS
2006
IEEE
16 years 22 days 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...