166 search results - page 6 / 34 » Symbolic Schedulability Analysis of Real-Time Systems |
WORDS
2002
IEEE
14 years 11 days ago
2002
IEEE
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
ECRTS
2004
IEEE
13 years 11 months ago
2004
IEEE
This paper presents a new approach to understand the event stream model. Additionally a new approximation algorithm for the feasibility test of the sporadic and the generalized mu...
RTSS
1999
IEEE
13 years 11 months ago
1999
IEEE
This paper presents a process algebra for specifying soft real-time constraints in a compositional way. For these soft constraints we take a stochastic point of view and allow arb...
RTSS
2000
IEEE
13 years 12 months ago
2000
IEEE
This paper describes how Dynamic WindowConstrained Scheduling (DWCS) can guarantee real-time service to packets from multiple streams with different performance objectives. We sho...
ECRTS
2003
IEEE
14 years 22 days ago
2003
IEEE
We revisit the problem of supertasking in Pfair-scheduled multiprocessor systems. In this approach, a set of tasks, called component tasks, is assigned to a server task, called a ...