1243 search results - page 92 / 249 » EDZL Scheduling Analysis |
105
Voted
SBMF
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
103
Voted
VTC
2008
IEEE
15 years 7 months ago
2008
IEEE
— We consider the downlink of a multiuser multi-input multi-output (MIMO) broadcast channel under a single cell structure. To study the achievable link coverage performance of ze...
108
Voted
INFOCOM
2002
IEEE
15 years 5 months ago
2002
IEEE
Abstract— We consider stochastic guarantees for networks with aggregate scheduling, in particular, Expedited Forwarding (EF). Our approach on the assumption that a node can be ab...
105
Voted
RTSS
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper, we derive a statistical delay guarantee of the generalized Virtual Clock scheduling algorithm. We define the concept of an equivalent fluid and packet source and pr...
118
Voted
TC
2008
15 years 21 days ago
2008
Real-time systems are often designed using a set of periodic tasks. Task periods are usually set by the system requirements, but deadlines and computation times can be modified in ...