Computer Performance Engineering

1. Front Matter

   Pages I-X

   PDF

2. Applications I

   1. Front Matter

      Pages 1-1

      PDF

   2. A Markovian Queueing System for Modeling a Smart Green Base Station

      • Ioannis Dimitriou, Sara Alouf, Alain Jean-Marie

      Pages 3-18

   3. Static and Dynamic Hosting of Cloud Servers

      • Paul Ezhilchelvan, Isi Mitrani

      Pages 19-31

   4. Security and Performance Tradeoff Analysis of Mobile Offloading Systems Under Timing Attacks

      • Tianhui Meng, Katinka Wolter, Qiushi Wang

      Pages 32-46

   5. Non-Markovian Performability Evaluation of ERTMS/ETCS Level 3

      • Laura Carnevali, Francesco Flammini, Marco Paolieri, Enrico Vicario

      Pages 47-62

3. Modelling Techniques I

   1. Front Matter

      Pages 63-63

      PDF

   2. Simplifying Layered Queuing Network Models

      • Farhana Islam, Dorina Petriu, Murray Woodside

      Pages 65-79

   3. Moment-Generating Algorithm for Response Time in Processor Sharing Queueing Systems

      • Tiberiu Chis, Peter Harrison

      Pages 80-95

   4. On Generalized Processor Sharing and Objective Functions: Analytical Framework

      • Jasper Vanlerberghe, Joris Walraevens, Tom Maertens, Stijn De Vuyst, Herwig Bruneel

      Pages 96-111

4. Software Performance

   1. Front Matter

      Pages 113-113

      PDF

   2. Comparing the Accuracy of Resource Demand Measurement and Estimation Techniques

      • Felix Willnecker, Markus Dlugi, Andreas Brunnert, Simon Spinner, Samuel Kounev, Wolfgang Gottesheim et al.

      Pages 115-129

   3. Estimating the Impact of Code Additions on Garbage Collection Overhead

      • Peter Libič, Lubomír Bulej, Vojtěch Horký, Petr Tůma

      Pages 130-145

   4. Performance Awareness in Java EE Development Environments

      • Alexandru Danciu, Alexander Chrusciel, Andreas Brunnert, Helmut Krcmar

      Pages 146-160

5. Modelling Techniques II

   1. Front Matter

      Pages 161-161

      PDF

   2. Canonical Form of Order-2 Non-stationary Markov Arrival Processes

      • András Mészáros, Miklós Telek

      Pages 163-176

   3. Markov Decision Petri Nets with Uncertainty

      • Marco Beccuti, Elvio G. Amparore, Susanna Donatelli, Dimitri Scheftelowitsch, Peter Buchholz, Giuliana Franceschinis

      Pages 177-192

   4. On-the-fly Fluid Model Checking via Discrete Time Population Models

      • Diego Latella, Michele Loreti, Mieke Massink

      Pages 193-207

   5. Computing Response Time Distributions Using Iterative Probabilistic Model Checking

      • Freek van den Berg, Jozef Hooman, Arnd Hartmanns, Boudewijn R. Haverkort, Anne Remke

      Pages 208-224

6. Applications II

   1. Front Matter

      Pages 225-225

      PDF

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.

• Dependable systems
• Fault-tolerant systems
• High-performance simulations
• Model checking
• Modeling and simulation
• Agent models
• Continuous models
• Discrete models
• Distribution functions
• Formal security models
• Massively parallel simulations
• Model development and analysis
• Performance modeling
• Platform power issues
• Probability and statistics
• Rare-event simulation
• Software performance
• Stochastic processes
• Verification
• Vulnerability management

• Universidad Rey Juan Carlos, Mostoles (Madrid), Spain

  Marta Beltrán

• Imperial College London, London, United Kingdom

  William Knottenbelt, Jeremy Bradley

Policies and ethics