936 search results - page 120 / 188 » Task Graph Scheduling Using Timed Automata |
111
click to vote
EUROPAR
2005
Springer
15 years 7 months ago
2005
Springer
Nested-parallelism programming models, where the task graph associated to a computation is series-parallel, present good analysis properties that can be exploited for scheduling, c...
102
click to vote
SERP
2008
15 years 2 months ago
2008
Model-driven development (MDD) is an emerging paradigm and has become state-of-the-art for embedded systems software design. In the overall design process, several steps have to be...
136
click to vote
RTAS
2011
IEEE
14 years 5 months ago
2011
IEEE
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
115
click to vote
CORR
2006
Springer
15 years 1 months ago
2006
Springer
We introduce a new approach to take into account the memory architecture and the memory mapping in the High- Level Synthesis of Real-Time embedded systems. We formalize the memory...
COCOON
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The Sugiyama framework is the most commonly used concept for visualizing directed graphs. It draws them in a hierarchical way and operates in four phases: cycle removal, ...