Formal Methods and Stochastic Models for Performance Evaluation - First edition

EAN (ISBN-13): 9783540752103
ISBN (ISBN-10): 3540752102
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer Berlin
300 Pages
Weight: 0,495 kg
Language: eng/Englisch

Book in our database since 2007-10-10T08:21:39-04:00 (New York)
Detail page last modified on 2024-03-13T07:06:03-04:00 (New York)
ISBN/EAN: 9783540752103

ISBN - alternate spelling:
3-540-75210-2, 978-3-540-75210-3
Alternate spelling and related search-keywords:
Book author: wolter, katinka, berlin germany
Book title: computer methods for engineering, formal methods stochastic models for performance evaluation, berlin 2007, workshop berlin, stochastic man, the european, what with germany, proceedings fourth, how see berlin, notes berlin

---

Information from Publisher

Author: Katinka Wolter
Title: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Stochastic Models for Performance Evaluation - Fourth European Performance Engineering Workshop, EPEW 2007, Berlin, Germany, September 27-28, 2007, Proceedings
Publisher: Springer; Springer Berlin
304 Pages
Publishing year: 2007-09-17
Berlin; Heidelberg; DE
Language: English
53,49 € (DE)
54,99 € (AT)
59,00 CHF (CH)
Available
X, 304 p.

BC; Hardcover, Softcover / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; QoS; algorithm; algorithms; benchmarking; calculus; formal method; formal methods; formal verification; model checking; optimization; performance engineering; performance evaluation; process algebra; program semantics; scheduling; Theory of Computation; Software Engineering; System Performance and Evaluation; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Software Engineering; Systemanalyse und -design; Netzwerk-Hardware; EA

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.