3387 search results - page 53 / 678 » Model-Checking for Real-Time Systems |
ECRTS
2009
IEEE
13 years 5 months ago
2009
IEEE
Allocation of bandwidth among components is a fundamental problem in compositional real-time systems. Stateof-the-art algorithms for bandwidth allocation use either exponential-ti...
ICAT
2007
IEEE
14 years 1 months ago
2007
IEEE
In the design of a large-scale device, it is very important to confirm that there is no interference or spatial conflict among the parts. Virtual reality devices have been used ...
ICESS
2004
Springer
14 years 1 months ago
2004
Springer
An integrated solution to guarantee real-time requirements in embedded real-time monitor and control systems is presented in this paper. First l task model is abstracted from such ...
RTAS
2010
IEEE
13 years 6 months ago
2010
IEEE
While most prior work on multiprocessor real-time scheduling focuses on independent tasks, dependencies due to non-preemptive sections, suspensions, and pipelinebased precedence c...
ECRTS
2009
IEEE
13 years 5 months ago
2009
IEEE
Reader preference, writer preference, and task-fair readerwriter locks are shown to cause undue blocking in multiprocessor real-time systems. A new phase-fair reader-writer lock i...