1161 search results - page 39 / 233 » Resource Modeling for Timed Creol Models |
130
click to vote
CAV
2001
Springer
15 years 7 months ago
2001
Springer
In this paper we show how the classical job-shop scheduling problem can be modeled as a special class of acyclic timed automata. Finding an optimal schedule corresponds, then, to n...
142
click to vote
TIP
2008
15 years 3 months ago
2008
The number of slices for error resilient video coding is jointly optimized with 802.11a-like media access control and the physical layers with automatic repeat request and rate com...
117
click to vote
PDPTA
2004
15 years 4 months ago
2004
Abstract One of the goals envisioned by Grid computing is to make the execution of both computational and data-intensive problems possible. A key problem is finding the optimal set...
134
click to vote
FDL
2006
IEEE
15 years 9 months ago
2006
IEEE
To ensure correctness and performance of real-time embedded systems, early evaluation of properties is needed. Based on design experience for real-time systems and using the conce...
271
click to vote
RTAS
2011
IEEE
14 years 7 months ago
2011
IEEE
—In this paper, we propose two adaptive scheduling approaches to support real-time control applications with highly varying computation times. The use of a resource reservation s...