Computer Performance Engineering: 12th European Workshop, EPEW 2015, Madrid, Spain, August 31 - September 1, 2015, Proceedings

✍ Scribed by Marta Beltrán, William Knottenbelt, Jeremy Bradley (eds.)

• Publisher: Springer International Publishing
• Year: 2015
• Tongue: English
• Leaves: 309
• Series: Lecture Notes in Computer Science 9272
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 12th European Workshop on Computer Performance Engineering, EPEW 2015, held in Madrid, Spain, in August/September 2015. The 19 papers presented in this volume were carefully reviewed and selected from 39 submissions. They were organized in topical sections named: applications; modelling techniques, software performance, and simulation techniques.

✦ Table of Contents

Front Matter....Pages I-X
Front Matter....Pages 1-1
A Markovian Queueing System for Modeling a Smart Green Base Station....Pages 3-18
Static and Dynamic Hosting of Cloud Servers....Pages 19-31
Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing Attacks....Pages 32-46
Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3....Pages 47-62
Front Matter....Pages 63-63
Simplifying Layered Queuing Network Models....Pages 65-79
Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems....Pages 80-95
On Generalized Processor Sharing and Objective Functions: Analytical Framework....Pages 96-111
Front Matter....Pages 113-113
Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques....Pages 115-129
Estimating the Impact of Code Additions on Garbage Collection Overhead....Pages 130-145
Performance Awareness in Java EE Development Environments....Pages 146-160
Front Matter....Pages 161-161
Canonical Form of Order-2 Non-stationary Markov Arrival Processes....Pages 163-176
Markov Decision Petri Nets with Uncertainty....Pages 177-192
On-the-fly Fluid Model Checking via Discrete Time Population Models....Pages 193-207
Computing Response Time Distributions Using Iterative Probabilistic Model Checking....Pages 208-224
Front Matter....Pages 225-225
iDSL: Automated Performance Prediction and Analysis of Medical Imaging Systems....Pages 227-242
Stream Processing on Demand for Lambda Architectures....Pages 243-257
An AnyLogic Simulation Model for Power and Performance Analysis of Data Centres....Pages 258-272
Front Matter....Pages 273-273
Rare Event Simulation with Fully Automated Importance Splitting....Pages 275-290
Speed-Up of Stochastic Simulation of PCTMC Models by Statistical Model Reduction....Pages 291-305
Back Matter....Pages 307-307

✦ Subjects

System Performance and Evaluation