![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
3. EPEW 2006: Budapest, Hungary
- András Horváth, Miklós Telek:
Formal Methods and Stochastic Models for Performance Evaluation, Third European Performance Engineering Workshop, EPEW 2006, Budapest, Hungary, June 21-22, 2006, Proceedings. Lecture Notes in Computer Science 4054, Springer 2006, ISBN 3-540-35362-3
Stochastic Process Algebra
- Jean-Michel Fourneau, Leïla Kloul:
A Precedence PEPA Model for Performance and Reliability Analysis. 1-15 - Jane Hillston, Leïla Kloul:
A Function-Equivalent Components Based Simplification Technique for PEPA Models. 16-30 - Ashok Argent-Katwala, Jeremy T. Bradley:
Functional Performance Specification with Stochastic Probes. 31-46 - Jasen Markovski, Erik P. de Vink:
Embedding Real Time in Stochastic Process Algebras. 47-62
Workloads and Benchmarks
- Tomas Kalibera, Petr Tuma
:
Precise Regression Benchmarking with Random Effects: Improving Mono Benchmark Results. 63-77 - Lodewijk Bonebakker, Andrew Over, Ilya Sharapov:
Working Set Characterization of Applications with an Efficient LRU Algorithm. 78-92
Theory of Stochastic Processes
- Manuela-Luminita Bujorianu, Marius C. Bujorianu:
Model Checking for a Class of Performance Properties of Fluid Stochastic Models. 93-107 - Armin Heindl, Gábor Horváth, Karsten Gross:
Explicit Inverse Characterizations of Acyclic MAPs of Second Order. 108-122 - Mercedes G. Merayo, Manuel Núñez
, Ismael Rodríguez
:
Implementation Relations for Stochastic Finite State Machines. 123-137 - András Faragó:
On the Convergence Rate of Quasi Lumpable Markov Chains. 138-147
Formal Dependability and Performance Evaluation
- Ahmad Alsaadi:
Applying the UML Class Diagram in the Performance Analysis. 148-165 - László Gönczy, Silvano Chiaradonna, Felicita Di Giandomenico, András Pataricza, Andrea Bondavalli
, Tamás Bartha:
Dependability Evaluation of Web Service-Based Processes. 166-180
Queues, Theory and Practice
- Burak Simsek, Katinka Wolter:
Improving the Performance of IEEE 802.11e with an Advanced Scheduling Heuristic. 181-195 - Ana Busic
, Jean-Michel Fourneau, Nihal Pekergin:
Worst Case Analysis of Batch Arrivals with the Increasing Convex Ordering. 196-210 - Jeroen Van Velthoven, Benny Van Houdt, Chris Blondia:
The Impact of Buffer Finiteness on the Loss Rate in a Priority Queueing System. 211-225 - Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter:
Experimental Analysis of the Correlation of HTTP GET Invocations. 226-237
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.