1243 search results - page 42 / 249 » EDZL Scheduling Analysis |
B
2007
Springer
14 years 5 months ago
2007
Springer
Following a brief discussion of uniprocessor scheduling in which we argue the case for formal analysis, we describe a distributed Event B model of interrupt driven scheduling. We ï...
IWQOS
2005
Springer
14 years 4 months ago
2005
Springer
In this paper, we study the performance of opportunistic scheduling for downlink data transmissions with type-II packet-combining hybrid ARQ in a multirate cellular network for a f...
ANSS
2003
IEEE
14 years 4 months ago
2003
IEEE
This paper studies parallel job scheduling in a distributed system. A simulation model is used to address performance issues associated with scheduling. Five policies are used to ...
COR
2010
13 years 11 months ago
2010
We present a memetic approach for multi-objective improvement of robustness influencing features (called robustness objectives) in airline schedules. Improvement of the objectives...
IANDC
2007
13 years 11 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...