6308 search results - page 1131 / 1262 » Modeling Urgency in Timed Systems |
119
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
166
click to vote
DAC
2010
ACM
15 years 4 months ago
2010
ACM
Given the increasing complexity of multi-processor systems-onchip, a wide range of parameters must be tuned to find the best trade-offs in terms of the selected system figures of ...
151
click to vote
SIGCOMM
2010
ACM
15 years 4 months ago
2010
ACM
This paper proposes an architecture for optimized resource allocation in Infrastructure-as-a-Service (IaaS)-based cloud systems. Current IaaS systems are usually unaware of the ho...
152
click to vote
QUESTA
2007
15 years 3 months ago
2007
Fairness is an inherent and fundamental factor of queue service disciplines in a large variety of queueing applications, ranging from airport and supermarket waiting lines to comp...
123
click to vote
TPDS
2010
15 years 2 months ago
2010
—Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumption that such a system has to satisfy for a common lea...