Sciweavers

RTS
2008
131views more  RTS 2008»
13 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
AIPS
2007
14 years 1 months ago
Managing Personal Tasks with Time Constraints and Preferences
This paper treats the problem of managing personal tasks, through an adaptation of the Squeaky Wheel Optimization (SWO) framework, enhanced with powerful heuristics and full const...
Ioannis Refanidis