936 search results - page 154 / 188 » Task Graph Scheduling Using Timed Automata |
127
Voted
IEEEPACT
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper describes a compiler for stream programs that efficiently schedules computational kernels and stream memory operations, and allocates on-chip storage. Our compiler uses...
145
click to vote
PODC
1989
ACM
15 years 6 months ago
1989
ACM
Two tasks of communication in a multi-hop synchronous radio network are considered: point-to-point communication and broadcast (sending a message to all nodes of a network). Effi...
107
Voted
WCET
2010
15 years 1 days ago
2010
Schedulability analysis for hard real-time systems requires bounds on the execution times of its tasks. To obtain useful bounds in the presence of caches, cache analysis is mandat...
136
Voted
ICML
2004
IEEE
16 years 3 months ago
2004
IEEE
In sequence modeling, we often wish to represent complex interaction between labels, such as when performing multiple, cascaded labeling tasks on the same sequence, or when longra...
105
Voted
EMSOFT
2006
Springer
15 years 5 months ago
2006
Springer
We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The faultintolerant initial system consists of a set of independent periodic t...