- 0 Results
Lowest price: € 68.99, highest price: € 80.17, average price: € 74.47
1
Formal Methods and Stochastic Models for Performance Evaluation
Order
at Averdo.com
€ 68.99
Shipment: € 0.001
Order
Sponsored link

Formal Methods and Stochastic Models for Performance Evaluation - Paperback

2007, ISBN: 9783540752103

Erscheinungsdatum: 09/2007, Medium: Taschenbuch, Einband: Kartoniert / Broschiert, Titel: Formal Methods and Stochastic Models for Performance Evaluation, Titelzusatz: Fourth European Per… More...

  - Nr. Shipping costs:, Next Day, DE. (EUR 0.00)
2
Order
at Thalia.de
€ 75.99
Shipment: € 0.001
Order
Sponsored link

Katinka Wolter:

Formal Methods and Stochastic Models for Performance Evaluat - new book

2007, ISBN: 9783540752103

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 … More...

No. 14972340. Shipping costs:, Lieferbar innerhalb von 3 Wochen, DE. (EUR 0.00)
3
Formal Methods and Stochastic Models for Performance Evaluation - Katinka Wolter
Order
at Orellfuessli.ch
CHF 76.90
(aprox. € 71.19)
Shipment: € 16.661
Order
Sponsored link
Katinka Wolter:
Formal Methods and Stochastic Models for Performance Evaluation - Paperback

2007

ISBN: 9783540752103

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 … More...

Nr. 14972340. Shipping costs:, wird besorgt, Lieferzeit unbekannt, zzgl. Versandkosten, Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage. (EUR 16.66)
4
Formal Methods and Stochastic Models for Performance Evaluat
Order
at Thalia.de
€ 75.99
Shipment: € 0.001
Order
Sponsored link
Formal Methods and Stochastic Models for Performance Evaluat - Paperback

2007, ISBN: 9783540752103

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 … More...

Nr. 14972340. Shipping costs:, Lieferbar innerhalb von 3 Wochen, DE. (EUR 0.00)
5
Formal Methods and Stochastic Models for Performance Evaluat
Order
at Orellfuessli.ch
CHF 86.90
(aprox. € 80.17)
Shipment: € 16.611
Order
Sponsored link
Formal Methods and Stochastic Models for Performance Evaluat - Paperback

2007, ISBN: 9783540752103

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 … More...

Nr. 14972340. Shipping costs:, Versandfertig innert 4 - 7 Werktagen, zzgl. Versandkosten. (EUR 16.61)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by find-more-books.com / find-more-books.com do not correspond to those of the offering platform.
Details of the book
Formal Methods and Stochastic Models for Performance Evaluat

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.

Details of the book - Formal Methods and Stochastic Models for Performance Evaluat


EAN (ISBN-13): 9783540752103
ISBN (ISBN-10): 3540752102
Hardcover
Paperback
Publishing year: 2007
Publisher: Springer
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 2021-02-16T13:54:10-05:00 (New York)
ISBN/EAN: 9783540752103

ISBN - alternate spelling:
3-540-75210-2, 978-3-540-75210-3


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
Printed / Made in
Weight: 0,492 kg
Language: English
74,89 € (DE)
76,99 € (AT)
93,59 CHF (CH)
POD
X, 304 p.

BC; Book; 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; C; Theory of Computation; Software Engineering; System Performance and Evaluation; Computer Communication Networks; Logics and Meanings of Programs; Theory of Computation; Software Engineering; System Performance and Evaluation; Computer Communication Networks; Computer Science Logic and Foundations of Programming; Computer Science; Software Engineering; Systemanalyse und -design; Netzwerk-Hardware; Theoretische Informatik; 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.

< to archive...