2355 search results - page 2 / 471 » Scheduling in the Z-Polyhedral Model |
SIGADA
2007
Springer
14 years 3 months ago
2007
Springer
A system based on a hierarchical scheduler is a system in which the processor is shared between several collaborative schedulers. Such schedulers exist since 1960 and they are bec...
WSC
2008
14 years 3 days ago
2008
In this paper we develop a two stage algorithm for scheduling call centers with strict SLAs and arrival rate uncertainty. The first cut schedule can be developed in less than a mi...
IJAR
1998
13 years 9 months ago
1998
The objective of multi-site scheduling is to support the scheduling activities of a global scheduler and schedulers in distributed production plants in a cooperative way. A global...
ICEB
2004
13 years 11 months ago
2004
An integrated optimization model of production plan and scheduling is introduced. Function objective is to minimize sum of total setup cost (initial setup cost and related setup c...
FORMATS
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...