Katinka Wolter (Volume ed.)
Formal Methods and Stochastic Models for Performance Evaluation
Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Herausgegeben:Wolter, Katinka
Katinka Wolter (Volume ed.)
Formal Methods and Stochastic Models for Performance Evaluation
Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Herausgegeben:Wolter, Katinka
- Broschiertes Buch
- Merkliste
- Auf die Merkliste
- Bewerten Bewerten
- Teilen
- Produkt teilen
- Produkterinnerung
- Produkterinnerung
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.
Andere Kunden interessierten sich auch für
- András Horváth / Miklós Telek (eds.)Formal Methods and Stochastic Models for Performance Evaluation42,99 €
- Performance Evaluation and Benchmarking for the Era of Artificial Intelligence37,99 €
- Mario Bravetti / Manuel Núñez / Gianluigi Zavattaro (eds.)Web Services and Formal Methods42,99 €
- Ali E. Abdallah / Cliff B. Jones / Jeff W. Sanders (eds.)Communicating Sequential Processes. The First 25 Years42,99 €
- Maria Carla Calzarossa / Salvatore Tucci (eds.)Performance Evaluation of Complex Systems: Techniques and Tools42,99 €
- Service-Oriented Computing - ICSOC 2015 Workshops37,99 €
- Eerke Boiten / John Derrick / Graeme Smith (Eds.)Integrated Formal Methods42,99 €
-
-
-
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.
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.
Produktdetails
- Produktdetails
- Lecture Notes in Computer Science 4748
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-75210-3
- Seitenzahl: 304
- Englisch
- Abmessung: 17mm x 155mm x 235mm
- Gewicht: 482g
- ISBN-13: 9783540752103
- ISBN-10: 3540752102
- Artikelnr.: 23111726
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
- Lecture Notes in Computer Science 4748
- Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
- Artikelnr. des Verlages: 978-3-540-75210-3
- Seitenzahl: 304
- Englisch
- Abmessung: 17mm x 155mm x 235mm
- Gewicht: 482g
- ISBN-13: 9783540752103
- ISBN-10: 3540752102
- Artikelnr.: 23111726
- Herstellerkennzeichnung Die Herstellerinformationen sind derzeit nicht verfügbar.
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.
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.