774 search results - page 59 / 155 » On Timed Alternating Simulation for Concurrent Timed Games |
HICSS
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper addresses the problem of solving conflicts in railway traffic that arise due to disturbances. It is formulated as a problem of re-scheduling meets and overtakes of trai...
DATE
2006
IEEE
15 years 3 months ago
2006
IEEE
The ever increasing complexity and heterogeneity of modern System-on-Chip (SoC) architectures make an early and systematic exploration of alternative solutions mandatory. Efficien...
103
click to vote
SIGCOMM
2012
ACM
13 years 6 days ago
2012
ACM
Modern data centers are massive, and support a range of distributed applications across potentially hundreds of server racks. As their utilization and bandwidth needs continue to ...
ATAL
2003
Springer
15 years 3 months ago
2003
Springer
In this paper we study a class of resource allocation games which are inspired by the El Farol Bar problem. We consider a system of competitive agents that have to choose between ...
101
click to vote
EMSOFT
2007
Springer
15 years 3 months ago
2007
Springer
Key challenges in the performance estimation of distributed real-time embedded (DRE) systems include the systematic measurement of coverage by simulations, and the automated gener...