Computer Performance Engineering

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.