949 search results - page 101 / 190 » Theory of Constraints |
91
Voted
FM
2005
Springer
15 years 6 months ago
2005
Springer
In formal design, decoupling means to make the features of a formal system as independent as possible from each other. Decoupling tends to make the features semantically more primi...
ATAL
2006
Springer
15 years 4 months ago
2006
Springer
We consider PAC learning of simple cooperative games, in which the coalitions are partitioned into "winning" and "losing" coalitions. We analyze the complexity...
103
Voted
HYBRID
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. An invariant of a system is a predicate that holds for every reachable state. In this paper, we present techniques to generate invariants for hybrid systems. This is achi...
117
click to vote
RTSS
1997
IEEE
15 years 4 months ago
1997
IEEE
In certain real-time applications, ranging from multimedia to telecommunication systems, timing constraints can be more flexible than scheduling theory usually permits. For exampl...
101
Voted
CDC
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract-- This paper concerns the power minimization problem in server farms. The power minimization problem over dynamic power allocation schemes is formally defined and formulat...