RISC RISC Research Institute for Symbolic Computation  
  • @techreport{RISC5177,
    author = {Wolfgang Schreiner and Tamas Berczes and Janos Sztrik and Adam Toth},
    title = {{Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking (Addendum)}},
    language = {english},
    abstract = {This short note presents an addendum to the previously published report “Analyzing Clus- ter Scheduling Schemes by Probabilistic Model Checking” in which we have used the prob- abilistic 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. Here we model and analyze two new policies for the “Separate Queue” scheme where each server has a separate job queue; in these policies the mean response time of new jobs is taken into account. It is shown that the policies may perform better than the original one; for a certain range of parameters, however, they also may perform worse.},
    year = {2015},
    month = {October},
    institution = {Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria},
    sponsor = {Supported by the project 90öu6 “Leistungsmodellierung von Drahtlosen Sensor-Netzwerken” of the Stiftung Aktion Österreich-Ungarn},
    length = {17}