Computer Performance Engineering [electronic resource] : 9th European Workshop, EPEW 2012, Munich, Germany, July 30, 2012, and 28th UK Workshop, UKPEW 2012, Edinburgh, UK, July 2, 2012, Revised Selected Papers / edited by Mirco Tribastone, Stephen Gilmore.

Trading Power Consumption against Performance by Reserving Blocks of Servers -- Operational Semantics for Product-Form Solution -- Moment Closures for Performance Models with Highly Non-linear Rates -- Scale-Freeness of SPA Models with Weighted Immediate Actions -- Experimental Evaluation of the Performance-Influencing Factors of Virtualized Storage Systems -- Tradeoff between Accuracy and Efficiency in the Time-Parallel Simulation of Monotone Systems -- Compositional Approximate Markov Chain Aggregation for PEPA Models -- A Path Connection Availability Model for MANETs with Random Waypoint Mobility -- Formal Performance Modelling: From Protocols to People -- SRN Models for Analysis of Multihop Wireless Ad Hoc Networks -- Don't Just Go with the Flow: Cautionary Tales of Fluid Flow Approximation -- PCTMC Models of Wireless Sensor Network Protocols -- A Novel Approach to Energy Efficient Content Distribution with BitTorrent -- Performance Modelling of Magnetohydrodynamics Codes -- Optimisation of Patch Distribution Strategies for AMR Applications -- Energy Consumption in the Office -- On the (Page) Ranking of Professional Tennis Players -- Towards a Volunteer Cloud Architecture.