性能评价用形式方法与随机模型

出版时间：2006-12  出版社：湖北辞书出版社  作者：Horvth, Andrs; Telek, Mikls; Horv Th, Andr S.  页数：237  
Tag标签：无  

内容概要

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