10907 search results - page 327 / 2182 » Constraint Based Strategies |
185
click to vote
RTAS
2009
IEEE
16 years 1 months ago
2009
IEEE
Thermal management becomes a prominent issue in system design for both server systems and embedded systems. A system could fail if the peak temperature exceeds its thermal constra...
122
click to vote
ICRA
2008
IEEE
16 years 1 months ago
2008
IEEE
— The control approaches based on tasks, and particularly based on a hierarchy of tasks, enable to build complex behaviors with some nice properties of robustness and portability...
161
click to vote
CAV
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We present a new method for the generation of linear invariants which reduces the problem to a non-linear constraint solving problem. Our method, based on Farkas’ Lemma...
155
click to vote
AISC
2006
Springer
15 years 10 months ago
2006
Springer
In program analysis and verification, there are some constraints that have to be processed repeatedly. A possible way to speed up the processing is to find some relations among the...
158
click to vote
AIPS
2000
15 years 8 months ago
2000
Despite the importance of the management of inventory in industrial scheduling applications, there has been little research that has addressed reasoning about inventory directly a...