Formal Methods and Stochastic Models for Performance Evaluation
Editat de András Horváth, Miklós Teleken Limba Engleză Paperback – 12 iun 2006
Preț: 318.73 lei
Preț vechi: 398.41 lei
-20% Nou
Puncte Express: 478
Preț estimativ în valută:
56.40€ • 65.77$ • 49.52£
56.40€ • 65.77$ • 49.52£
Carte tipărită la comandă
Livrare economică 16-30 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783540353621
ISBN-10: 3540353623
Pagini: 252
Ilustrații: VIII, 239 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
ISBN-10: 3540353623
Pagini: 252
Ilustrații: VIII, 239 p.
Dimensiuni: 155 x 235 x 14 mm
Greutate: 0.39 kg
Ediția:2006
Editura: Springer
Locul publicării:Berlin, Heidelberg, Germany
Public țintă
ResearchCuprins
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.