author = {Wolfgang Schreiner and Tamas Berczes and Adam Toth},
title = {{Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking}},
language = {english},
abstract = {We report in this paper on our results of modeling and analyzing with the probabilistic model checker PRISM the energy efficiency of various cluster scheduling schemes. These schemes were originally 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. Our investigations with PRISM validate the reported results and also subsequent results that were achieved with the performance analysis tool MOSEL-2. Furthermore, some measures that could be determined by simulation but not with MOSEL-2 could be also derived with PRISM.},
year = {2014},
month = {December},
institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
keywords = {formal methods, performance analysis, energy analysis},
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 = {29}