Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
hive.co.uk No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
hive.co.uk No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
Springer.com new in stock. Versandkosten:zzgl. Versandkosten. (EUR 0.00) Details... |
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
Springer.com Nr. 978-3-540-35365-2. Versandkosten:Worldwide free shipping, , DE. (EUR 0.00) Details... |
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch
2006, ISBN: 9783540353652
; PDF; Computing > Computer science, Springer Berlin Heidelberg
hive.co.uk No. 9783540353652. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten. Details... |
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
Ansgar Bredenfeld:
Formal Methods and Stochastic Models for Performance Evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings - neues Buch2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
2006
ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
2006, ISBN: 9783540353652
The idea to establish a European forum for academic and industrial researchers working on various aspects of performance modeling and analysis of manuf- toring and information systems gav… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Formal Methods and Stochastic Models for Performance Evaluation
EAN (ISBN-13): 9783540353652
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin Heidelberg
Buch in der Datenbank seit 2016-08-30T21:13:17+02:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-16T11:50:17+02:00 (Zurich)
ISBN/EAN: 9783540353652
ISBN - alternative Schreibweisen:
978-3-540-35365-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: telek, bredenfeld
Titel des Buches: budapest, stochastic models
Daten vom Verlag:
Autor/in: András Horváth; Miklós Telek
Titel: Lecture Notes in Computer Science; Programming and Software Engineering; Formal Methods and Stochastic Models for Performance Evaluation - Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
Verlag: Springer; Springer Berlin
239 Seiten
Erscheinungsjahr: 2006-06-20
Berlin; Heidelberg; DE
Sprache: Englisch
53,49 € (DE)
55,00 € (AT)
59,00 CHF (CH)
Available
VIII, 239 p.
EA; E107; eBook; Nonbooks, PBS / Informatik, EDV/Informatik; Theoretische Informatik; Verstehen; QoS; Unified Modeling Language (UML); Web services; algorithms; benchmarking; calculus; formal method; formal verification; model checking; performance engineering; program semantics; scheduling; software analysis; stochastic modeling; systems analysis; C; 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; BC
Stochastic Process Algebra.- A Precedence PEPA Model for Performance and Reliability Analysis.- A Function-Equivalent Components Based Simplification Technique for PEPA Models.- Functional Performance Specification with Stochastic Probes.- Embedding Real Time in Stochastic Process Algebras.- Workloads and Benchmarks.- Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results.- Working Set Characterization of Applications with an Efficient LRU Algorithm.- Theory of Stochastic Processes.- Model Checking for a Class of Performance Properties of Fluid Stochastic Models.- Explicit Inverse Characterizations of Acyclic MAPs of Second Order.- Implementation Relations for Stochastic Finite State Machines.- On the Convergence Rate of Quasi Lumpable Markov Chains.- Formal Dependability and Performance Evaluation.- Applying the UML Class Diagram in the Performance Analysis.- Dependability Evaluation of Web Service-Based Processes.- Queues, Theory and Practice.- Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic.- Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering.- The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System.- Experimental Analysis of the Correlation of HTTP GET Invocations.Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9783540752110 Formal Methods and Stochastic Models for Performance Evaluation (50-99.99)
< zum Archiv...