Vor Ort
Merkzettel Warenkorb
Produktbild: Formal Methods and Stochastic Models for Performance Evaluation
Band 4748

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

Aus der Reihe Programming and Software Engineering

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Abbildungen

X, 304 p.

Herausgeber

Katinka Wolter

Verlag

Springer Berlin

Seitenzahl

304

Maße (B/H)

15,5/23,5 cm

Gewicht

482 g

Sprache

Englisch

ISBN

978-3-540-75210-3

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Abbildungen

X, 304 p.

Herausgeber

Katinka Wolter

Verlag

Springer Berlin

Seitenzahl

304

Maße (B/H)

15,5/23,5 cm

Gewicht

482 g

Sprache

Englisch

ISBN

978-3-540-75210-3

Herstelleradresse

Springer-Verlag GmbH
Heidelberger Platz 3
14197 Berlin
Deutschland
Email: sdc-bookservice@springer.com
Url: www.springer.com
Telephone: +49 30 827870
Fax: +49 30 8214091

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Formal Methods and Stochastic Models for Performance Evaluation
  • 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.