2355 search results - page 23 / 471 » Scheduling in the Z-Polyhedral Model |
DATE
2008
IEEE
14 years 4 months ago
2008
IEEE
ANOR
2008
13 years 10 months ago
2008
ICCAD
2005
IEEE
14 years 6 months ago
2005
IEEE
Abstract — This paper describes a practical technique for the optimal scheduling of control dominated systems minimizing the weighted average latency over all control branches. S...
FMICS
2007
Springer
14 years 4 months ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
WAOA
2004
Springer
14 years 3 months ago
2004
Springer
We consider a non-preemptive, stochastic parallel machine scheduling model with the goal to minimize the weighted completion times of jobs. In contrast to the classical stochastic ...