Sciweavers

23 search results - page 1 / 5
» rts 2008
Sort
View
BIOSTEC
2008
115views Healthcare» more  BIOSTEC 2008»
13 years 6 months ago
Authentication of Professionals in the RTS E-Health System
André Zúquete, Helder Gomes, Jo&atil...
RTS
2008
131views more  RTS 2008»
13 years 4 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
RTS
2008
133views more  RTS 2008»
13 years 4 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