RISC

JKU

RISC Publications		RISC Report Series		Search		Gröbner Bases Bibliography
Publications & Reports in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '		Publications in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '		Talks in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '

Technical Reports in the frame of project 'Performance Analysis of Real-time Systems and Software Designs '

2014

Wolfgang Schreiner, Tamas Berczes, Adam Toth. Analyzing Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2014. [pdf] [bib]
Wolfgang Schreiner, Tamas Berczes, Adam Toth. Analyzing the Energy Efficiency of Cluster Scheduling Schemes by Probabilistic Model Checking. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, December 2014. [pdf] [bib]

2013

Wolfgang Schreiner, Tamas Berczes, Janos Sztrik, Gabor Kusper. A Case Study on Exploring the Performance Limits of PRISM. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, September 2013. [pdf] [bib]
Wolfgang Schreiner. Initial Results on Modeling in PRISM Mobile Cellular Networks with Spectrum Renting. Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 9 2013. [pdf] [bib]
Wolfgang Schreiner. Experiments with Measuring Time in PRISM 4.0 (Addendum). Research Institute for Symbolic Computation (RISC), Johannes Kepler University, Linz, Austria. Technical report, April 2013. [pdf] [bib]