5683 search results - page 20 / 1137 » Interactive Schedulability Analysis |
RTCSA
2007
IEEE
14 years 2 months ago
2007
IEEE
In this paper we explore the possibility of using commodity graphics processing units (GPUs) to speedup standard schedulability analysis algorithms. Our long-term goal is to explo...
RTSS
1998
IEEE
14 years 20 days ago
1998
IEEE
We propose a unifying method for analysis of scheduling problems in real-time systems. The method is based on ACSR-VP, a real-time process algebra with value-passing capabilities....
B
2007
Springer
14 years 2 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 1 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 1 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 ...