3387 search results - page 53 / 678 » Model-Checking for Real-Time Systems |
152
click to vote
ECRTS
2009
IEEE
15 years 9 days 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...
113
Voted
ICAT
2007
IEEE
15 years 8 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 ...
125
Voted
ICESS
2004
Springer
15 years 8 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 ...
124
Voted
RTAS
2010
IEEE
15 years 27 days 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...
155
Voted
ECRTS
2009
IEEE
15 years 9 days 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...