3. EPEW 2006: Budapest, Hungary

András Horváth, Miklós Telek (Eds.): Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Lecture Notes in Computer Science 4054 Springer 2006, ISBN 3-540-35362-3

Stochastic Process Algebra

Jean-Michel Fourneau, Leïla Kloul:
A Precedence PEPA Model for Performance and Reliability Analysis. 1-15
Jane Hillston, Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models. 16-30
Ashok Argent-Katwala, Jeremy T. Bradley:
Functional Performance Specification with Stochastic Probes. 31-46
Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. 47-62

Workloads and Benchmarks

Tomás Kalibera, Petr Tuma:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results. 63-77
Lodewijk Bonebakker, Andrew Over, Ilya Sharapov:
Working Set Characterization of Applications with an Efficient LRU Algorithm. 78-92

Theory of Stochastic Processes

Manuela L. Bujorianu, Marius C. Bujorianu:
Model Checking for a Class of Performance Properties of Fluid Stochastic Models. 93-107
Armin Heindl, Gábor Horváth, Karsten Gross:
Explicit Inverse Characterizations of Acyclic MAPs of Second Order. 108-122
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Implementation Relations for Stochastic Finite State Machines. 123-137
András Faragó:
On the Convergence Rate of Quasi Lumpable Markov Chains. 138-147

Formal Dependability and Performance Evaluation

Ahmad Alsaadi:
Applying the UML Class Diagram in the Performance Analysis. 148-165
László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli, Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes. 166-180

Queues, Theory and Practice

Burak Simsek, Katinka Wolter:
Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic. 181-195
Ana Busic, Jean-Michel Fourneau, Nihal Pekergin:
Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering. 196-210
Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia:
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System. 211-225
Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter:
Experimental Analysis of the Correlation of HTTP GET Invocations. 226-237