2057 search results - page 127 / 412 » Quadratic placement using an improved timing model |
164
click to vote
AAMAS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. We study optimal control in large stochastic multi-agent systems in continuous space and time. We consider multi-agent systems where agents have independent dynamics with...
187
click to vote
CODES
2008
IEEE
16 years 25 days ago
2008
IEEE
To provide Quality of Service (QoS) guarantees in open and unpredictable environments, the utilization control problem is defined to keep the processor utilization at the schedula...
175
click to vote
RTSS
2006
IEEE
16 years 11 days ago
2006
IEEE
Caches have become invaluable for higher-end architectures to hide, in part, the increasing gap between processor speed and memory access times. While the effect of caches on timi...
159
click to vote
SIGECOM
2006
ACM
16 years 9 days ago
2006
ACM
Graphical games have been proposed as a game-theoretic model of large-scale distributed networks of non-cooperative agents. When the number of players is large, and the underlying...
188
click to vote
GLVLSI
2000
IEEE
15 years 10 months ago
2000
IEEE
Symbolic Model checking is a widely used technique in sequential verification. As the size of the OBDDs and also the computation time depends on the order of the input variables,...