Sciweavers

23 search results - page 1 / 5
» rts 2008
Sort
View
64
Voted
RTS
2008
83views more  RTS 2008»
14 years 10 months ago
Efficient implementation of tight response-times for tasks with offsets
Jukka Mäki-Turja, Mikael Nolin
70
Voted
BIOSTEC
2008
115views Healthcare» more  BIOSTEC 2008»
15 years 11 days ago
Authentication of Professionals in the RTS E-Health System
André Zúquete, Helder Gomes, Jo&atil...
78
Voted
RTS
2008
131views more  RTS 2008»
14 years 10 months ago
Formal verification of multitasking applications based on timed automata model
The aim of this paper is to show, how a multitasking application running under a real-time operating system compliant with an OSEK/VDX standard can be modeled by timed automata. Th...
Libor Waszniowski, Zdenek Hanzálek
77
Voted
RTS
2008
133views more  RTS 2008»
14 years 10 months ago
Non-migratory feasibility and migratory schedulability analysis of multiprocessor real-time systems
Abstract The multiprocessor scheduling of collections of real-time jobs is considered. Sufficient tests are derived for feasibility analysis of a collection of sporadic jobs where ...
Sanjoy K. Baruah, Nathan Fisher