Formal Methods and Stochastic Models for
β Isi Mitrani (auth.), Katinka Wolter (eds.)
π Library
π
2007
π Springer
π English
β¦ LIBER β¦
π
Formal Methods and Stochastic Models for Performance Evaluation: Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007. Proceedings
β Scribed by Isi Mitrani (auth.), Katinka Wolter (eds.)
- Publisher
- Springer-Verlag Berlin Heidelberg
- Year
- 2007
- Tongue
- English
- Leaves
- 309
- Series
- Lecture Notes in Computer Science 4748 : Programming and Software Engineering
- Edition
- 1
- Category
- Library
β¬ Acquire This Volume
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
β¦ Table of Contents
Front Matter....Pages -
Optimization Problems in Service Provisioning Systems....Pages 1-1
Untold Horrors About Steady-State Probabilities: What Reward-Based Measures Wonβt Tell About the Equilibrium Distribution....Pages 2-17
Compositionality for Markov Reward Chains with Fast Transitions....Pages 18-32
Closed Form Absorption Time Bounds....Pages 33-47
A Canonical Representation of Order 3 Phase Type Distributions....Pages 48-62
SPAMR : Extending PAMR with Stochastic Time....Pages 63-79
Faster SPDL Model Checking Through Property-Driven State Space Generation....Pages 80-96
Testing Finite State Machines Presenting Stochastic Time and Timeouts....Pages 97-111
Evaluation of P2P Search Algorithms for Discovering Trust Paths....Pages 112-124
Building Online Performance Models of Grid Middleware with Fine-Grained Load-Balancing: A Globus Toolkit Case Study....Pages 125-140
Performance Measuring Framework for Grid Market Middleware....Pages 141-153
A Fixed-Point Algorithm for Closed Queueing Networks....Pages 154-170
A Framework for Automated Generation of Architectural Feedback from Software Performance Analysis....Pages 171-185
Optimal Dynamic Server Allocation in Systems with On/Off Sources....Pages 186-199
Towards an Automatic Modeling Tool for Observed System Behavior....Pages 200-212
Censoring Markov Chains and Stochastic Bounds....Pages 213-227
Workload Characterization of the SPECjms2007 Benchmark....Pages 228-244
Resource Sharing in Performance Models....Pages 245-259
Exploiting Commodity Hard-Disk Geometry to Efficiently Preserve Data Consistency....Pages 260-274
An Efficient Counter-Based Broadcast Scheme for Mobile Ad Hoc Networks....Pages 275-283
The Effect of Mobility on Local Service Discovery in the Ahoy Ad-Hoc Network System....Pages 284-300
Back Matter....Pages -
β¦ Subjects
Software Engineering; System Performance and Evaluation; Computer Communication Networks; Logics and Meanings of Programs
π SIMILAR VOLUMES
Formal Methods and Stochastic Models for
β Jean-Michel Fourneau, LeΓ―la Kloul (auth.), AndrΓ‘s HorvΓ‘th, MiklΓ³s Telek (eds.)
π Library
π
2006
π Springer-Verlag Berlin Heidelberg
π English
<p>The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). The
Formal Methods and Stochastic Models for
β AndrΓ‘s HorvΓ‘th (editor), MiklΓ³s Telek (editor)
π Library
π
2006
π Springer
π English
<span>The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gave rise to an annual series of workshops, - ferred to as European Performance Engineering Workshop (EPEW). T
Performance Evaluation: Metrics, Models
β Mor Harchol-Balter (auth.), Samuel Kounev, Ian Gorton, Kai Sachs (eds.)
π Library
π
2008
π Springer-Verlag Berlin Heidelberg
π English
<p><P>This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008.</P><P>The 17 revised full papers presented together with 3 keynote talks were carefully reviewed and selected out of 39 submissions fo
Performance Evaluation: Metrics, Models
β Mor Harchol-Balter (auth.), Samuel Kounev, Ian Gorton, Kai Sachs (eds.)
π Library
π
2008
π Springer-Verlag Berlin Heidelberg
π English
<p><P>This book constitutes the refereed proceedings of the SPEC International Performance Evaluation Workshop, SIPEW 2008, held in Darmstadt, Germany, in June 2008.</P><P>The 17 revised full papers presented together with 3 keynote talks were carefully reviewed and selected out of 39 submissions fo
Formal Techniques for Computer Systems a
β Peter Harrison (auth.), Mario Bravetti, LeΓ―la Kloul, Gianluigi Zavattaro (eds.)
π Library
π
2005
π Springer-Verlag Berlin Heidelberg
π English
<P>This book constitutes the refereed proceedings of two colocated international workshops EPEW 2005 (European Performance Engineering Workshop) and WS-FM 2005 (Web Services and Formal Methods) held in Versailles, France in September 2005.</P><P>The 20 revised full papers presented were carefully re