author = {Wolfgang Schreiner and Tamas Berczes and Adam Toth},
title = {{Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking}},
language = {english},
abstract = {We report in this paper on initial results of modeling and analyzing with the probabilistic model checker PRISM various cluster scheduling schemes that were introduced by Do, Vu, Tran, and Nguyen in their paper “A generalized model for investigating scheduling schemes in computational clusters” and analyzed by simulation there. The preliminary results are encouraging, but there also remain some open issues that need to be addressed.},
year = {2014},
month = {September},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
sponsor = {Supported by the project HU 10/2012 of the Austrian Academic Exchange Service (ÖAD) and by the TÁMOP- 4.2.2.C-11/1/KONV-2012-0001 project.},
length = {41}