29 search results - page 1 / 6 » rtss 2005 |
RTSS
2005
IEEE
13 years 10 months ago
2005
IEEE
RTSS
2006
IEEE
13 years 10 months ago
2006
IEEE
Much of the research on scheduling schemes is prevented from being used in practice by the lack of implementations vide the necessary abstractions. An example of this lack of prov...
RTSS
2005
IEEE
13 years 10 months ago
2005
IEEE
A polynomial-time algorithm is presented for partitioning a collection of sporadic tasks among the processors of an identical multiprocessor platform. Since the partitioning probl...
RTSS
2005
IEEE
13 years 10 months ago
2005
IEEE
The periodic resource model for hierarchical, compositional scheduling abstracts task groups by resource requirements. We study this model in the presence of dataflow constraints...
RTSS
2005
IEEE
13 years 10 months ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...