Computer Performance Engineering

Invited Papers.- Performance and Dependability Evaluation: Successes, Failures and Challenges.- Partial Evaluation of PEPA Models for Fluid-Flow Analysis.- Software Performance Engineering.- An Empirical Investigation of the Applicability of a Component-Based Performance Prediction Method.- A Calibration Framework for Capturing and Calibrating Software Performance Models.- Performance Evaluation of Embedded ECA Rule Engines: A Case Study.- Stochastic Process Algebra and SANs.- Towards State Space Reduction Based on T-Lumpability-Consistent Relations.- A Ticking Clock: Performance Analysis of a Circadian Rhythm with Stochastic Process Algebra.- Assembly Code Analysis Using Stochastic Process Algebra.- Product Form Steady-State Distribution for Stochastic Automata Networks with Domino Synchronizations.- Performance Query Specification and Measurement.- State-Aware Performance Analysis with eXtended Stochastic Probes.- Computer and Communications Networks.- Natural Language Specification of Performance Trees.- Recurrent Method for Blocking Probability Calculation in Multi-service Switching Networks with BPP Traffic.- An Approximate Model of the WCDMA Interface Servicing a Mixture of Multi-rate Traffic Streams with Priorities.- Queueing Theory and Markov Chains.- Performance Analysis of Dynamic Priority Shifting.- Performance Analysis of a Priority Queue with Place Reservation and General Transmission Times.- Analysis of BMAP/G/1 Vacation Model of Non-M/G/1-Type.- Applications.- Stochastic Bounds for Partially Generated Markov Chains: An Algebraic Approach.- Evaluation of P2P Algorithms for Probabilistic Trust Inference in a Web of Trust.- Approximation for Multi-service Systems with Reservation by Systems with Limited-Availability.