Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011, Borrowdale, UK, October 12-13, 2011. Proceedings

Description

This book constitutes the refereed proceedings of the 8th European Performance Engineering Workshop, EPEW 2011, held in The English Lake District in October 2011. The 16 regular papers and 6 poster presentations papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on performance-oriented design and analysis methods, model checking and validation, simulation techniques and experimental design, performability modelling and performance and power consumption tradeoffs. Front Matter....Pages - Performance Engineering for Cloud Computing....Pages 1-9 Engineering of Self-aware IT Systems and Services: State-of-the-Art and Research Challenges....Pages 10-13 Accommodating Short and Long Web Traffic Flows over a DiffServ Architecture....Pages 14-28 Automatic Synchronisation Detection in Petri Net Performance Models Derived from Location Tracking Data....Pages 29-41 Performance Evaluation of Business Processes through a Formal Transformation to SAN....Pages 42-56 Monotonicity and Efficient Computation of Bounds with Time Parallel Simulation....Pages 57-71 Stochastic Restricted Broadcast Process Theory....Pages 72-86 Higher Moment Analysis of a Spatial Stochastic Process Algebra....Pages 87-101 Optimization for Multi-thread Data-Flow Software....Pages 102-116 Formal Mapping of WSLA Contracts on Stochastic Models....Pages 117-132 Comparison of the Mean-Field Approach and Simulation in a Peer-to-Peer Botnet Case Study....Pages 133-147 WMTools - Assessing Parallel Application Memory Utilisation at Scale....Pages 148-162 On Stochastic Fault-Injection for IP-Packet Loss Emulation....Pages 163-173 Analysis of Gossip-Based Information Propagation in Wireless Mesh Networks....Pages 174-188 Multi-class Network with Phase Type Service Time and Group Deletion Signal....Pages 189-203 Critical Level Policies in Lost Sales Inventory Systems with Different Demand Classes....Pages 204-218 Model-Based Evaluation and Improvement of PTP Syntonisation Accuracy in Packet-Switched Backhaul Networks for Mobile Applications....Pages 219-234 Light-Weight Parallel I/O Analysis at Scale....Pages 235-249 Can Linear Approximation Improve Performance Prediction ?....Pages 250-264 TwoEagles : A Model Transformation Tool from Architectural Descriptions to Queueing Networks....Pages 265-279 A Tool Suite for Modelling Spatial Interdependencies of Distributed Systems with Markovian Agents....Pages 280-294 A Grid Broker Pricing Mechanism for Temporal and Budget Guarantees....Pages 295-309 Visualisation for Stochastic Process Algebras: The Graphic Truth....Pages 310-324 Efficient Experiment Selection in Automated Software Performance Evaluations....Pages 325-339 Back Matter....Pages -