Computer Performance Engineering

11th European Workshop, EPEW 2014, Florence, Italy, September 11-12, 2014, Proceedings

András Horváth, Katinka Wolter (Herausgeber)

Buch | Softcover

XVI, 271 Seiten

2014
Springer International Publishing (Verlag)
978-3-319-10884-1 (ISBN)

Artikel merken

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.

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.

Erscheint lt. Verlag	23.9.2014
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XVI, 271 p. 93 illus.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	258 g
Themenwelt	Mathematik / Informatik ► Informatik ► Theorie / Studium
Schlagworte	formal methods • Mathematics of Computing • Model Checking • Performance Evaluation • performance modeling • probability and statistics • Queueing Theory • Software engineering • Software Engineering / Softwareentwicklung • Softwareentwicklung • Theory of Computation
ISBN-10	3-319-10884-0 / 3319108840
ISBN-13	978-3-319-10884-1 / 9783319108841
Zustand	Neuware