Formal Methods and Stochastic Models for Performance Evaluation Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings /
| Corporate Author: | |
|---|---|
| Other Authors: | |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2007.
|
| Edition: | 1st ed. 2007. |
| Series: | Programming and Software Engineering ;
4748 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-3-540-75211-0 |
Table of Contents:
- 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.