COMPUTER PERFORMANCE ENGINEERING : 14th european workshop, epew 2017

• Publisher: SPRINGER INTERNATIONAL PU
• Year: 2017
• Tongue: English
• Leaves: 306
• Category: Library

✦ Synopsis

This book constitutes the refereed proceedings of the 14th EuropeanWorkshop on Computer Performance Engineering, EPEW 2017, held in Berlin,Germany, in September 2017.
The 18 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 30 submissions. The papers presented at the workshop reflect the diversity of modern performanceengineering, with topics ranging from advances in Markov models; advances in quantitative analysis; model checking; and cyber-physical systems to performance, energy and security.

✦ Table of Contents

Front Matter ....Pages I-XVI
Front Matter ....Pages 1-1
Analysis of Markov Decision Processes Under Parameter Uncertainty (Peter Buchholz, Iryna Dohndorf, Dimitri Scheftelowitsch)....Pages 3-18
Bounded Aggregation for Continuous Time Markov Decision Processes (Peter Buchholz, Iryna Dohndorf, Alexander Frank, Dimitri Scheftelowitsch)....Pages 19-32
Interactive Markovian Equivalence (Arpit Sharma)....Pages 33-49
Front Matter ....Pages 51-51
Delay Analysis of Resequencing Buffer in Markov Environment with HOQ-FIFO-LIFO Policy (Rostislav Razumchik, Miklós Telek)....Pages 53-68
Analysis of Timed Properties Using the Jump-Diffusion Approximation (Paolo Ballarini, Marco Beccuti, Enrico Bibbona, Andras Horvath, Roberta Sirovich, Jeremy Sproston)....Pages 69-84
Stability Analysis of a Multiclass Retrial System with Coupled Orbit Queues (Evsey Morozov, Ioannis Dimitriou)....Pages 85-98
Front Matter ....Pages 99-99
Model Checking the STL Time-Bounded Until on Hybrid Petri Nets Using Nef Polyhedra (Adrian Godde, Anne Remke)....Pages 101-116
A New Approach to Predicting Reliable Project Runtimes via Probabilistic Model Checking (Ulrich Vogl, Markus Siegle)....Pages 117-132
Front Matter ....Pages 133-133
Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study (Karl Meinke)....Pages 135-151
An Inspection-Based Compositional Approach to the Quantitative Evaluation of Assembly Lines (Marco Biagi, Laura Carnevali, Tommaso Papini, Kumiko Tadano, Enrico Vicario)....Pages 152-166
Front Matter ....Pages 167-167
Machine Learning Models for Predicting Timely Virtual Machine Live Migration (Osama Alrajeh, Matthew Forshaw, Nigel Thomas)....Pages 169-183
Model-Based Simulation in Möbius: An Efficient Approach Targeting Loosely Interconnected Components (Giulio Masetti, Silvano Chiaradonna, Felicita Di Giandomenico)....Pages 184-198
Analysis of Performance and Energy Consumption in the Cloud (Mehdi Kandi, Farah Aït-Salaht, Hind Castel-Taleb, Emmanuel Hyon)....Pages 199-213
Deriving Power Models for Architecture-Level Energy Efficiency Analyses (Christian Stier, Dominik Werle, Anne Koziolek)....Pages 214-229
ADaCS: A Tool for Analysing Data Collection Strategies (John C. Mace, Nipun Thekkummal, Charles Morisset, Aad Van Moorsel)....Pages 230-245
Front Matter ....Pages 247-247
Improving ZooKeeper Atomic Broadcast Performance by Coin Tossing (Ibrahim EL-Sanosi, Paul Ezhilchelvan)....Pages 249-265
Modelling and Analysis of Commit Protocols with PEPA (Said Naser Said Kamil, Nigel Thomas)....Pages 266-281
Stochastic Models for Solar Power (Dimitra Politaki, Sara Alouf)....Pages 282-297
Back Matter ....Pages 299-299

✦ Subjects

Computer science;Computer system failures;Software engineering;Computer logic;Mathematical statistics;Artificial intelligence;Computer simulation;Computer Science;System Performance and Evaluation;Probability and Statistics in Computer Science;Logics and Meanings of Programs;Software Engineering;Simulation and Modeling;Artificial Intelligence (incl. Robotics)