Sciweavers

23 search results - page 1 / 5
» rts 2008
Sort
View
77
Voted
RTS
2008
83views more  RTS 2008»
15 years 18 days ago
Efficient implementation of tight response-times for tasks with offsets
Jukka Mäki-Turja, Mikael Nolin
92
Voted
BIOSTEC
2008
115views Healthcare» more  BIOSTEC 2008»
15 years 2 months ago
Authentication of Professionals in the RTS E-Health System
André Zúquete, Helder Gomes, Jo&atil...
95
Voted
RTS
2008
131views more  RTS 2008»
15 years 18 days 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
97
Voted
RTS
2008
133views more  RTS 2008»
15 years 18 days 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