2355 search results - page 203 / 471 » Scheduling in the Z-Polyhedral Model |
204
click to vote
FASE
2006
Springer
15 years 9 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
174
click to vote
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
— Low energy consumption is a critical issue in embedded systems design. As the technology feature sizes of SoC (Systems on Chip) become smaller and smaller, the percentage of le...
147
click to vote
AIPS
2008
15 years 8 months ago
2008
We consider the Resource-Constrained Project Scheduling Problem with minimal and maximal time lags under resource and duration uncertainties. To manage resource uncertainties, we ...
175
click to vote
RSS
2007
15 years 7 months ago
2007
— Recent progress in the algorithm as well as the processor power have made the dynamics simulation of complex kinematic chains more realistic in various fields such as human mo...
168
click to vote
IFIP12
2004
15 years 7 months ago
2004
The recent deregulation occurred in the public railway sector in many parts of the world has increased the awareness of this sector of the need for quality service that must be oer...