性能评价用形式方法与随机模型:EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation
![性能评价用形式方法与随机模型:EPEW 2006/会议录 Formal methods and stochastic models for performance evaluation](http://image.wangchao.net.cn/small/product/1236125897573.jpg)
分類: 图书,进口原版书,科学与技术 Science & Techology ,
作者: András Horváth 著
出 版 社: 湖北辞书出版社
出版时间: 2006-12-1字数:版次: 1页数: 237印刷时间: 2006/12/01开本:印次:纸张: 胶版纸I S B N : 9783540353621包装: 平装编辑推荐
The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form. Enjoying tight cooperation with the R&D community, with numerous individuals, as well as with prestigious organizations and societies, LNCS has grown into the most comprehensive computer science resarch forum available.
The scope of LNCS, including its subseries LNAI, spans the whole range of computer science and information technology including interdisciplinary topics in a variety of application fields. The type of material publised traditionally includes.
-proceedings(published in time for the respective conference)
-post-proceedings(consisting of thoroughly revised final full papers)
-research monographs(which may be basde on outstanding PhD work, research projects, technical reports, etc.)
内容简介
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 Algebras
Workloads and Benchmarks
Precise Regression Benchmarking with Random Effects:Improving Mono Benchmark Results
Working Set Characterization of Applications with an Effcient LRU Algorithm
Theory 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 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 Finteness on the Loss Rate in a Priorty Queueing System
Experimental Analysis of the Correlation of HTTP GET Invocations
Author Index