151 search results - page 9 / 31 » SaveCCM - A Component Model for Safety-Critical Real-Time Sy... |
ASIAN
2006
Springer
15 years 3 months ago
2006
Springer
A component-based realtime system is a simple model for the server-client relation with time constraints. This paper presents an efficient algorithm, called a blackbox testing algo...
IPPS
2000
IEEE
15 years 4 months ago
2000
IEEE
The coordination paradigm has been used extensively as a mechanism for software composition and integration. However, little work has been done for the cases where the software com...
ECRTS
2003
IEEE
15 years 5 months 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 ...
RTSS
2006
IEEE
15 years 5 months ago
2006
IEEE
In this paper, we consider the system-wide energy management problem for a set of periodic real-time tasks running on a DVS-enabled processor. Our solution uses a generalized powe...
ANSOFT
1999
14 years 11 months ago
1999
We give a formal framework for studying real-time discrete-event systems. It describes concurrent processes as sets of possible behaviors. Compositions of processes are processes ...