性能评价用形式方法与随机模型
2006-12
湖北辞书出版社
Horvth, Andrs; Telek, Mikls; Horv Th, Andr S.
237
无
This book constitutes the refereed proceedings of the Third European Performance Engineering Workshop, EPEW 2006, held in Budapest, Hungary in June 2006. The 16 revised full papers presented were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on stochastic process algebra, workloads and benchmarks, theory of stochastic processes, formal dependability and performance evaluation, as well as queues, theory and practice.
Stochastic Process Algebra A Preccedence PEPA Model for Performance and Reliability Analysis A Function-Equivalent Components Based Simplirication Technique for PEPA Models Functional Performance Specification with Stochastic Probes Embedding Real Time in Stochastic Process AlgebrasWorkloads and Benchmarks Precise Regression Benchmarking with Random Effects:Improving Mono Benchmark Results Working Set Characterization of Applications with an Effcient LRU AlgorithmTheory of Stochastic Processes Model Checking for a Class of Performance Porperties of Fluid Stochastic Models Explicit Inverse Characterizations of Acyclic MAPs of Second Order Implementation Relations for Stochastic of Acyclic MAPS of Second Order On the Convergence Rate of Quasi Lumpable Markov China Formal Dependability and Perfornance Evaluation Applying the UML Class Diagram Performance Analysis Dependability Evaluation of Web Service-Based ProcessesQueues,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 Finteness on the Loss Rate in a Priorty Queueing System Experimental Analysis of the Correlation of HTTP GET Invocations Author Index
无