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

Lieferung nach Hause

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Herausgeber

Katinka Wolter

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

24,1/15,7/2,2 cm

Gewicht

482 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75210-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

17.09.2007

Herausgeber

Katinka Wolter

Verlag

Springer Berlin

Seitenzahl

304

Maße (L/B/H)

24,1/15,7/2,2 cm

Gewicht

482 g

Auflage

2007

Sprache

Englisch

ISBN

978-3-540-75210-3

Herstelleradresse

Springer Nature Customer Service Center GmbH
Europaplatz 3
69115 Heidelberg
DE
ProductSafety@springernature.com

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.