4. EPEW 2007: Berlin, Germany

Katinka Wolter (Ed.): Formal Methods and Stochastic Models for Performance Evaluation, Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings. Lecture Notes in Computer Science 4748 Springer 2007, ISBN 978-3-540-75210-3

Keynote

Isi Mitrani:
Optimization Problems in Service Provisioning Systems. 1

Markov Chains

Alexander Bell, Boudewijn R. Haverkort:
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won't Tell About the Equilibrium Distribution. 2-17
Jasen Markovski, Ana Sokolova, Nikola Trcka, Erik P. de Vink:
Compositionality for Markov Reward Chains with Fast Transitions. 18-32
Ana Busic, Nihal Pekergin:
Closed Form Absorption Time Bounds. 33-47
Gábor Horváth, Miklós Telek:
A Canonical Representation of Order 3 Phase Type Distributions. 48-62

Process Algebras and State Machines

Natalia López, Manuel Núñez, Ismael Rodríguez:
SPAMR: Extending PAMR with stochastic time. 63-79
Matthias Kuntz, Boudewijn R. Haverkort:
Faster SPDL Model Checking Through Property-Driven State Space Generation. 80-96
Mercedes G. Merayo, Manuel Núñez, Ismael Rodríguez:
Testing Finite State Machines Presenting Stochastic Time and Timeouts. 97-111

Grid and Peer-to-Peer Systems

Emerson Ribeiro de Mello, Aad P. A. van Moorsel, Joni da Silva Fraga:
Evaluation of P2P Search Algorithms for Discovering Trust Paths. 112-124
Ramon Nou, Samuel Kounev, Jordi Torres:
Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study. 125-140
Felix Freitag, Pablo Chacin, Isaac Chao, René Brunner, Leandro Navarro, Oscar Ardaiz:
Performance Measuring Framework for Grid Market Middleware. 141-153

Queueing Theory and Applications of Queueing

Ramin Sadre, Boudewijn R. Haverkort, Patrick Reinelt:
A Fixed-Point Algorithm for Closed Queueing Networks. 154-170
Vittorio Cortellessa, Laurento Frittella:
A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis. 171-185
Joris Slegers, Isi Mitrani, Nigel Thomas:
Optimal Dynamic Server Allocation in Systems with On/Off Sources. 186-199
Thomas Begin, Alexandre Brandwajn, Bruno Baynat, Bernd E. Wolfinger, Serge Fdida:
Towards an Automatic Modeling Tool for Observed System Behavior. 200-212

Benchmarking and Bounding

Jean-Michel Fourneau, Nihal Pekergin, Sana Younès:
Censoring Markov Chains and Stochastic Bounds. 213-227
Kai Sachs, Samuel Kounev, Jean Bacon, Alejandro P. Buchmann:
Workload Characterization of the SPECjms2007 Benchmark. 228-244
Vlastimil Babka, Martin Decký, Petr Tuma:
Resource Sharing in Performance Models. 245-259
Alessandro Di Marco:
Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency. 260-274

Wireless Networks

Aminu Mohammed, Mohamed Ould-Khaoua, Lewis M. Mackenzie:
An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks. 275-283
Patrick Goering, Geert J. Heijenk, Boudewijn R. Haverkort, Robbert Haarman:
The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System. 284-300