166 search results - page 24 / 34 » Symbolic Schedulability Analysis of Real-Time Systems |
152
click to vote
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
165
Voted
IANDC
2007
15 years 5 months ago
2007
We present a model, task automata, for real time systems with non-uniformly recurring computation tasks. It is an extended version of timed automata with asynchronous processes th...
307
click to vote
RTAS
2011
IEEE
14 years 9 months ago
2011
IEEE
—The WirelessHART standard has been specifically designed for real-time communication between sensor and actuator devices for industrial process monitoring and control. End-toen...
165
Voted
COMCOM
2004
15 years 5 months ago
2004
The worst-case fairness index (WFI) has proved to be an important metric in the provision of fairness and bounded delay in both wired and wireless networks. A feature of wireless l...
170
click to vote
TACAS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. We study schedulability problems of timed systems with nonuniformly recurring computation tasks. Assume a set of real time tasks whose best and worst execution times, and...