default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3. 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
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.
last updated on 2026-06-11 23:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
