Formal Methods and Stochastic Models for Performance Evaluation [electronic resource] : Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings / edited by Katinka Wolter.

Keynote -- Optimization Problems in Service Provisioning Systems -- Markov Chains -- Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Won’t Tell About the Equilibrium Distribution -- Compositionality for Markov Reward Chains with Fast Transitions -- Closed Form Absorption Time Bounds -- A Canonical Representation of Order 3 Phase Type Distributions -- Process Algebras and State Machines -- SPAMR: Extending PAMR with Stochastic Time -- Faster SPDL Model Checking Through Property-Driven State Space Generation -- Testing Finite State Machines Presenting Stochastic Time and Timeouts -- Grid and Peer-to-Peer Systems -- Evaluation of P2P Search Algorithms for Discovering Trust Paths -- Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study -- Performance Measuring Framework for Grid Market Middleware -- Queueing Theory and Applications of Queueing -- A Fixed-Point Algorithm for Closed Queueing Networks -- A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis -- Optimal Dynamic Server Allocation in Systems with On/Off Sources -- Towards an Automatic Modeling Tool for Observed System Behavior -- Benchmarking and Bounding -- Censoring Markov Chains and Stochastic Bounds -- Workload Characterization of the SPECjms2007 Benchmark -- Resource Sharing in Performance Models -- Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency -- Wireless Networks -- An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks -- The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System.

This volume contains the papers presented at the 4th European Performance Engineering Workshop held during September 27–28 in Berlin. There were 53 submissions. Each submission was reviewed by at least three Programme Committee members. From these, the committee decided to accept 20 papers. We were very happy to have Isi Mitrani from Newcastle University give a keynote lecture on his recent work and future challenges in applied queueing theory. The submitted papers cover all areas of performance engineering. We were able to compose an interesting program in six sessions, including sessions on theoretical work in performance engineering techniques as well as sessions p- senting applications of performance engineering techniques. The ?nal workshop program, as well as this volume, comprises the thematic sessions: – Markov Chains – Process Algebra – Wireless Networks – Queueing Theory and Applications of Queueing – Benchmarking and Bounding – Grid and Peer-to-Peer Systems Thevolumeincludes verytheoreticalpapersontopicssuchasbounds instoch- tic ordering,canonicalrepresentationofphase-type-distributionsandalgorithms tosolveclosedqueueingnetworks. Somepapersstudy propertiesofnumerical- lution algorithms, other contributions evaluate hardware or software design and proposebenchmarks. Onthe applicationsidethere are,furthermore,evaluations of wireless protocols, simulation studies of distributed systems and performance evaluation of system monitoring tools. We hope that this volume will provide a reference for fundamental work in performance engineering. The success of the workshop is due to many helping hands. First of all, the members of the ProgramCommittee were very cooperative,spent much time on readingandevaluatingthesubmittedpapersandgaveadvicewhereneeded. Lu- ily, Miklos Telek passed on his experience after organizing last year’s workshop.