Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings > Functional Performance Specification with Stochastic Probes
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
Springer Berlin Heidelberg
Formal Methods and Stochastic Models for Performance Evaluation: Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings
Functional Performance Specification with Stochastic Probes
Authors

Ashok Argent-Katwala; Jeremy T. Bradley

ARI Id

1664720514224_2915115

Access

Not Available Free

Pages

31-46

DOI

10.1007/11777830_3

Chapter URL

https://rd.springer.com/chapter/10.1007/11777830_3

Table of Contents of Book
Showing 1 to 18 of 18 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
A Precedence PEPA Model for Performance and Reliability Analysis
Jean-Michel Fourneau; Leïla Kloul
1-15
A Function-Equivalent Components Based Simplification Technique for PEPA Models
Jane Hillston; Leïla Kloul
16-30
Functional Performance Specification with Stochastic Probes
Ashok Argent-Katwala; Jeremy T. Bradley
31-46
Embedding Real Time in Stochastic Process Algebras
Jasen Markovski; Erik P. de Vink
47-62
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results
Tomas Kalibera; Petr Tuma
63-77
Working Set Characterization of Applications with an Efficient LRU Algorithm
Lodewijk Bonebakker; Andrew Over; Ilya Sharapov
78-92
Model Checking for a Class of Performance Properties of Fluid Stochastic Models
Manuela L. Bujorianu; Marius C. Bujorianu
93-107
Explicit Inverse Characterizations of Acyclic MAPs of Second Order
Armin Heindl; Gábor Horváth; Karsten Gross
108-122
Implementation Relations for Stochastic Finite State Machines
Mercedes G. Merayo; Manuel Núñez; Ismael Rodríguez
123-137
On the Convergence Rate of Quasi Lumpable Markov Chains
András Faragó
138-147
Applying the UML Class Diagram in the Performance Analysis
Ahmad Alsaadi
148-165
Dependability Evaluation of Web Service-Based Processes
László Gönczy; Silvano Chiaradonna; Felicita Di Giandomenico; András Pataricza; Andrea Bondavalli; Tamás Bartha
166-180
Improving the Performance of IEEE 802. 11e with an Advanced Scheduling Heuristic
Burak Simsek; Katinka Wolter
181-195
Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering
Ana Bušić; Jean-Michel Fourneau; Nihal Pekergin
196-210
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System
Jeroen Van Velthoven; Benny Van Houdt; Chris Blondia
211-225
Experimental Analysis of the Correlation of HTTP GET Invocations
Philipp Reinecke; Aad P. A. van Moorsel; Katinka Wolter
226-237
Back Matter
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 18 of 18 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings