Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings

Front Cover
Katinka Wolter
Springer Science & Business Media, Sep 17, 2007 - Computers - 304 pages

This book constitutes the refereed proceedings of the 4th European Performance Engineering Workshop, EPEW 2007, held in Berlin, Germany, September 27-28, 2007.

The 20 revised full papers presented were carefully reviewed and selected from 53 submissions. The papers are organized in topical sections on Markov Chains, Process Algebra, Wireless Networks, Queueing Theory and Applications of Queueing, Benchmarking and Bounding, Grid and Peer-to-Peer Systems.

 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Optimization Problems in Service Provisioning Systems
1
What RewardBased Measures Wont Tell About the Equilibrium Distribution
2
Compositionality for Markov Reward Chains with Fast Transitions
18
Closed Form Absorption Time Bounds
33
A Canonical Representation of Order 3 Phase Type Distributions
48
Extending PAMR with Stochastic Time
63
Faster SPDL Model Checking Through PropertyDriven State Space Generation
80
Testing Finite State Machines Presenting Stochastic Time and Timeouts
97
A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis
171
Optimal Dynamic Server Allocation in Systems with OnOff Sources
186
Towards an Automatic Modeling Tool for Observed System Behavior
200
Censoring Markov Chains and Stochastic Bounds
213
Workload Characterization of the SPECjms2007 Benchmark
228
Resource Sharing in Performance Models
245
Exploiting Commodity HardDisk Geometry to Efficiently Preserve Data Consistency
260
An Efficient CounterBased Broadcast Scheme for Mobile Ad Hoc Networks
275

Evaluation of P2P Search Algorithms for Discovering Trust Paths
112
A Globus Toolkit Case Study
125
Performance Measuring Framework for Grid Market Middleware
141
A FixedPoint Algorithm for Closed Queueing Networks
154
The Effect of Mobility on Local Service Discovery in the Ahoy AdHoc Network System
284
Author Index
301
Copyright

Other editions - View all

Common terms and phrases

Bibliographic information