5 search results - page 1 / 1 » ecrts 1998 |
93
Voted
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
62
Voted
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we demonstrate the usage of a formal description technique for real-time systems called PLCAutomaton [4] by applying this method to a real-world case study. To this ...
77
Voted
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
98
Voted
ECRTS
1998
IEEE
15 years 3 months ago
1998
IEEE
This paper introduces improvements in partitioning schemes for multiprocessor real-time systems which allow higher processor utilization and enhanced schedulability by using exact...