75 search results - page 5 / 15 » Resource-Optimal Scheduling Using Priced Timed Automata |
FORMATS
2003
Springer
14 years 20 days ago
2003
Springer
This text is dedicated to modelling of real-time applications running under multitasking operating system. Theoretical background is based on timed automata by Alur and Dill. As th...
TRANSCI
2010
13 years 5 months ago
2010
In this paper, we develop models for adjusting or setting fares on a transit system to encourage passengers to choose travel strategies that lead to the least travel delay for the...
AHSWN
2010
13 years 7 months ago
2010
One way to prolong the lifetime of a wireless sensor network is to schedule the active times of sensor nodes, so that a node is active only when it is really needed. In the dynami...
HCW
1999
IEEE
13 years 11 months ago
1999
IEEE
A framework for task assignment in heterogeneous computing systems is presented in this work. The framework is based on a learning automata model. The proposed model can be used f...
GLOBECOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract—Increasing interest in sensor networking and ubiquitous computing has created a trend towards embedding more and more intelligence into our surroundings. This enables th...