Wolfgang Schreiner, Tamas Berczes, Adam Roth,
"Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking"
, Serie Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria, RISC, JKU, Hagenberg, Linz, 9-2014
Original Titel:
Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking
Sprache des Titels:
Englisch
Original Kurzfassung:
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.
Sprache der Kurzfassung:
Englisch
Veröffentlicher:
RISC, JKU
Verlagsanschrift:
Hagenberg, Linz
Serie:
Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria
Forschungs-