Limit search to available items
Record 12 of 23
Previous Record Next Record
Book Cover
Author EPEW (Workshop) (2006 : Budapest, Hungary)

Title Formal methods and stochastic models for performance evaluation : Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006 : proceedings / András Horváth, Miklós Telek (eds.)
Published Berlin ; New York : Springer, [2006]
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (viii, 237 pages) : illustrations
Series Lecture notes in computer science, 0302-9743 ; 4054
Lecture notes in computer science ; 4054. 0302-9743
Contents 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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Formal methods (Computer science) -- Congresses.
Stochastic models -- Congresses.
Computer systems -- Evaluation -- Congresses.
Form Electronic book
Author Horváth, András, 1974-
Telek, Miklós.
LC no. 2006927343
ISBN 9783540353652
Other Titles Third European Performance Engineering Workshop
EPEW 2006