Computer Performance Engineering: 11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014. Proceedings

✍ Scribed by András Horváth, Katinka Wolter (eds.)

• Publisher: Springer International Publishing
• Year: 2014
• Tongue: English
• Leaves: 284
• Series: Lecture Notes in Computer Science 8721 Programming and Software Engineering
• Edition: 1
• Category: Library

✦ Synopsis

This book constitutes the proceedings of the 11th European Workshop on Performance Engineering, EPEW 2014, held in Florence, Italy, in September 2014. The 18 full papers presented in this volume were carefully reviewed and selected from 30 submissions. The papers are organized in topical sections named: cloud performance modelling; queueing and fluid models; performance of computation and programming; fitting; urban traffic modelling; decision making; and Markovian models, above and beyond.

✦ Table of Contents

Front Matter....Pages -
Optimal Hiring of Cloud Servers....Pages 1-15
Performance Evaluation of NoSQL Databases....Pages 16-29
A Systematic Approach for Composing General Middleware Completions to Performance Models....Pages 30-44
Vacation and Polling Models with Retrials....Pages 45-58
Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline....Pages 59-73
Use of a Levy Distribution for Modeling Best Case Execution Time Variation....Pages 74-88
On the Predictive Properties of Performance Models Derived through Input-Output Relationships....Pages 89-103
Deriving Work Plans for Solving Performance and Scalability Problems....Pages 104-118
Dealing with Zero Density Using Piecewise Phase-Type Approximation....Pages 119-134
Uncertainty in On-The-Fly Epidemic Fitting....Pages 135-148
Performance Modeling of Intelligent Car Parking Systems....Pages 149-163
Formal Punctuality Analysis of Frequent Bus Services Using Headway Data....Pages 164-178
Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues....Pages 179-193
A Decision Making Model of Influencing Behavior in Information Security....Pages 194-208
Automated Capacity Planning for PEPA Models....Pages 209-223
Stochastic Approximation of Global Reachability Probabilities of Markov Population Models....Pages 224-239
Explicit State Space and Markov Chain Generation Using Decision Diagrams....Pages 240-254
Non-Markovian Modeling of a BladeCenter Chassis Midplane....Pages 255-269
Back Matter....Pages -

✦ Subjects

System Performance and Evaluation; Probability and Statistics in Computer Science; Logics and Meanings of Programs; Software Engineering; Simulation and Modeling