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

ISBN-13: 9783319108841 / Angielski / Miękka / 2014 / 271 str.

Andras Horvath; Katinka Wolter

Opis

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.

Spis treści

Cloud Performance Modelling.- Optimal Hiring of Cloud Servers.- Performance Evaluation of NoSQL Databases.- Queueing and Fluid Models.- A Systematic Approach for Composing General Middleware Completions to Performance Models.- Vacation and Polling Models with Retrials.- Fluid Vacation Model with Markov Modulated Load and Exhaustive Discipline.- Performance of Computation and Programming Use of a Levy Distribution for Modeling Best Case Execution Time Variation.- On the Predictive Properties of Performance Models Derived through Input-Output Relationships.- Deriving Work Plans for Solving Performance and Scalability Problems.- Fitting.- Dealing with Zero Density Using Piecewise Phase-Type Approximation .- Uncertainty in On-The-Fly Epidemic Fitting.- Urban Traffic Modelling.- Performance Modeling of Intelligent Car Parking Systems.- Formal Punctuality Analysis of Frequent Bus Services Using Headway Data.- Decision Making.- Markov Decision Process and Linear Programming Based Control of MAP/MAP/N Queues.- A Decision Making Model of Influencing Behavior in Information Security.- Automated Capacity Planning for PEPA Models.- Markovian Models, Above and Beyond.- Stochastic Approximation of Global Reachability Probabilities of Markov Population Models.- Explicit State Space and Markov Chain Generation Using Decision Diagrams.- Non-Markovian Modeling of a BladeCenter Chassis Midplane.