5 search results - page 1 / 1 » ecrts 1998 |
172
Voted
ECRTS
1998
IEEE
15 years 11 months ago
1998
IEEE
142
Voted
ECRTS
1998
IEEE
15 years 11 months ago
1998
IEEE
168
click to vote
ECRTS
1998
IEEE
15 years 11 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 ...
175
click to vote
ECRTS
1998
IEEE
15 years 11 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-...
201
click to vote
ECRTS
1998
IEEE
15 years 11 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...