Sciweavers

81 search results - page 17 / 17
» PARAM: A Model Checker for Parametric Markov Models
Sort
View
SIGMETRICS
2010
ACM
195views Hardware» more  SIGMETRICS 2010»
13 years 8 months ago
CWS: a model-driven scheduling policy for correlated workloads
We define CWS, a non-preemptive scheduling policy for workloads with correlated job sizes. CWS tackles the scheduling problem by inferring the expected sizes of upcoming jobs bas...
Giuliano Casale, Ningfang Mi, Evgenia Smirni