179 search results - page 5 / 36 » Resource Allocation for a Modular Software System |
JSS
2006
14 years 9 months ago
2006
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
91
Voted
OSDI
1994
ACM
14 years 10 months ago
1994
ACM
This paper presents lottery scheduling, a novel randomized resource allocation mechanism. Lottery scheduling provides efficient, responsive control over the relative execution rat...
87
Voted
SIGMETRICS
2010
ACM
14 years 9 months ago
2010
ACM
This paper addresses the problem of distributed resource allocation in general fork and join processing networks. The problem is motivated by the complicated processing requiremen...
90
Voted
SIES
2009
IEEE
15 years 4 months ago
2009
IEEE
—The performance estimation of complex multi-processor systems-on-chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to th...
101
click to vote
FAST
2009
14 years 7 months ago
2009
Rapid adoption of virtualization technologies has led to increased utilization of physical resources, which are multiplexed among numerous workloads with varying demands and impor...