936 search results - page 27 / 188 » Task Graph Scheduling Using Timed Automata |
114
click to vote
ECRTS
2008
IEEE
15 years 7 months ago
2008
IEEE
Task period adaptations are often used to alleviate temporal overload conditions in real-time systems. Existing frameworks assume that only task periods are adjustable and that ta...
133
click to vote
AHSWN
2010
15 years 1 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...
109
click to vote
ISCC
2008
IEEE
15 years 7 months ago
2008
IEEE
We propose efficient scheduling algorithms for downlink MIMO-CDMA systems using zero forcing beamforming to achieve high system throughput with low computational complexity. Base...
100
click to vote
FORMATS
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents assume-guarantee style substitutivity results for the recently published timed I/O automaton modeling framework. These results are useful for decomposing verifi...
118
click to vote
COLCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
In collaboration architectures, a computer must perform both processing and transmission tasks. Intuitively, it seems that these independent tasks should be executed in concurrent ...