Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings

Description

This book constitutes the refereed proceedings of the 15th European Workshop on Computer Performance Engineering, EPEW 2018, held in Paris, France, in October 2018. The 17 papers presented together with the abstracts of two invited talks in this volume were carefully reviewed and selected from 27 submissions. The papers presented at the workshop reflect the diversity of modern performance engineering, with topics ranging from advances in performanceengineering realm, including, dependability and security modeling, performance oriented model verification and testing, hardware and software systems case-studies, applications/extensions of queuing theory and network design Front Matter ....Pages I-XVI On the Degradation of Distributed Graph Databases with Eventual Consistency (Paul Ezhilchelvan, Isi Mitrani, Jim Webber)....Pages 1-13 To What Extent Does Performance Awareness Support Developers in Fixing Performance Bugs? (Alexandru Danciu, Helmut Krcmar)....Pages 14-29 Deriving Symbolic Ordinary Differential Equations from Stochastic Symmetric Nets Without Unfolding (Marco Beccuti, Lorenzo Capra, Massimiliano De Pierro, Giuliana Franceschinis, Simone Pernice)....Pages 30-45 Mean Value Analysis of Closed G-Networks with Signals (Jean-Michel Fourneau)....Pages 46-61 Extending the Steady State Analysis of Hierarchical Semi-Markov Processes with Parallel Regions (Marco Biagi, Enrico Vicario, Reinhard German)....Pages 62-77 Formal Parameter Synthesis for Energy-Utility-Optimal Fault Tolerance (Linda Herrmann, Christel Baier, Christof Fetzer, Sascha Klüppelholz, Markus Napierkowski)....Pages 78-93 Performance Model of Apache Cassandra Under Heterogeneous Workload Using the Quantitative Verification Approach (Al Amjad Tawfiq Isstaif, Nizar Alhafez)....Pages 94-109 Modelling Smart Buildings Using Fault Maintenance Trees (Alessandro Abate, Carlos E. Budde, Nathalie Cauchi, Arnaud van Harmelen, Khaza Anuarul Hoque, Mariëlle Stoelinga)....Pages 110-125 Performance Impact of Misbehaving Voters (Mohammed Alotaibi, Nigel Thomas)....Pages 126-141 Information Flow Security for Stochastic Processes (Jane Hillston, Andrea Marin, Carla Piazza, Sabina Rossi)....Pages 142-156 Towards Probabilistic Modeling and Analysis of Real-Time Systems (Laura Carnevali, Luca Santinelli, Giuseppe Lipari)....Pages 157-172 An Ontology Framework for Generating Discrete-Event Stochastic Models (Ken Keefe, Brett Feddersen, Michael Rausch, Ronald Wright, William H. Sanders)....Pages 173-189 A Mixed Strategy for a Competitive Game in Delay Tolerant Networks (Thi Thu Hang Nguyen, Olivier Brun, Balakrishna Prabhu)....Pages 190-204 Second Order Fluid Performance Evaluation Models for Interactive 3D Multimedia Streaming (Enrico Barbierato, Marco Gribaudo, Mauro Iacono, Pietro Piazzolla)....Pages 205-218 Modeling the Effect of Parallel Execution on Multi-site Computation Offloading in Mobile Cloud Computing (Ismail Sheikh, Olivia Das)....Pages 219-234 An OpenFlow Controller Performance Evaluation Tool (Zhihao Shang, Han Wu, Katinka Wolter)....Pages 235-249 Product-Form Queueing Networks with Batches (P. G. Harrison)....Pages 250-264 Back Matter ....Pages 265-265