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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Horváth, András (Επιμελητής έκδοσης), Wolter, Katinka (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2014.
• Σειρά: Lecture Notes in Computer Science, 8721
• Θέματα: Computer science.; Computer system failures.; Software engineering.; Computer logic.; Mathematical statistics.; Computer simulation.; Computer Science.; System Performance and Evaluation.; Probability and Statistics in Computer Science.; Logics and Meanings of Programs.; Software Engineering.; Simulation and Modeling.

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 na...

Πίνακας περιεχομένων:

• 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.