![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
QEST 2006: Riverside, California, USA
- Third International Conference on the Quantitative Evaluation of Systems (QEST 2006), 11-14 September 2006, Riverside, California, USA. IEEE Computer Society 2006, ISBN 0-7695-2665-9
Introduction
- Message from the General Chair.
- Message from the Program Committee Chairs.
- Technical Program Committee.
- Reviewers.
Invited Talk
- Joseph Y. Halpern:
Causality, Responsibility, and Blame: A Structural-Model Approach. 3-8
Session 1.1: Measurements
- Alexander Chobanyan, Matt W. Mutka
, Shlomo Levental, Ning Xi:
Behavior of Available End-to-end Bandwidth: Non-Parametric Approach. 9-18 - Andrea Camesi, Jarle Hulaas
, Walter Binder
:
Continuous Bytecode Instruction Counting for CPU Consumption Estimation. 19-30
Session 1.2: Storage Systems
- Jalil Boukhobza
, Claude Timsit:
Toolbox for Dimensioning Windows Storage Systems. 31-40 - Alma Riska, Erik Riedel:
Long-Range Dependence at the Disk Drive Level. 41-50 - Seetharami R. Seelam, Jayaraman Suresh Babu, Patricia J. Teller:
Rate-Controlled Scheduling of Expired Writes for Volatile Caches. 51-62
Session 1.3: Network Models
- Anne Remke, Boudewijn R. Haverkort
, Lucia Cloth:
A versatile infinite-state Markov reward model to study bottlenecks in 2-hop ad hoc networks. 63-72 - Michele Garetto, Marco Gribaudo
:
Performance Anlysis of Delay Tolerant Networks with Model Checking Techniques. 73-82 - Roger Kalden, Boudewijn R. Haverkort
:
Measuring and Modeling of Application Flow Length in Commercial GPRS Networks. 83-92 - Ana Busic
, Mouad Ben Mamoun, Jean-Michel Fourneau:
Modeling Fiber Delay Loops in an All Optical Switch. 93-102 - Greg Franks, Dorina C. Petriu
, C. Murray Woodside, Jing Xu, Peter Tregunno:
Layered Bottlenecks and Their Mitigation. 103-114
Session 1.4: Tools
- Samuel Kounev, Christofer Dutz, Alejandro P. Buchmann:
QPME - Queueing Petri Net Modeling Environment. 115-116 - Michael Knoke, Armin Zimmermann
:
Distributed Simulation of Colored Stochastic Petri Nets With TimeNET 4.0. 117-118 - Marco Bertoli, Giuliano Casale, Giuseppe Serazzi:
Java Modelling Tools: an Open Source Suite for Queueing Network Modelling andWorkload Analysis. 119-120 - Daniel Garcia, Catalina M. Lladó, Connie U. Smith, Ramón Puigjaner:
A PMIF Semantic Validation Tool. 121-122 - Bernard Berthomieu, François Vernadat:
Time Petri Nets Analysis with TINA. 123-124 - Gerd Behrmann, Alexandre David, Kim Guldstrand Larsen, John Håkansson, Paul Pettersson, Wang Yi, Martijn Hendriks:
UPPAAL 4.0. 125-126 - Luigi Sassoli, Enrico Vicario
:
Analysis of Real Time Systems through the ORIS Tool. 127-128 - Thomas Hérault
, Richard Lassaigne, Sylvain Peyronnet:
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. 129-130 - Frank Ciesinski, Christel Baier:
LiQuor: A tool for Qualitative and Quantitative Linear Time analysis of Reactive Systems. 131-132 - José M. Martínez, Boudewijn R. Haverkort
:
MathMC: A Mathematica-Based Tool for CSL Model Checking of Deterministic and Stochastic Petri Nets. 133-134 - Peter Kemper, Carsten Tepper:
Traviando - Debugging Simulation Traces with Message Sequence Charts. 135-136 - Tod Courtney, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders:
Data Analysis and Visualization within the Möbius Modeling Environment. 137-138 - Andrea Bondavalli
, Silvano Chiaradonna, Paolo Lollini
, Fabrizio Squittieri:
Integration of an MPS Modeling Approach into Mobius. 139-140 - Matthew Curtis-Maury, Dimitrios S. Nikolopoulos
, Christos D. Antonopoulos
:
PACMAN: A PerformAnce Counters MANager for Intel Hyperthreaded Processors. 141-144
Invited Talk
- Pierre L'Ecuyer
:
Modeling and Optimization Problems in Contact Centers. 145-156
Session 2.1: Markov Decision Processes
- Marta Z. Kwiatkowska, Gethin Norman
, David Parker
:
Game-based Abstraction for Markov Decision Processes. 157-166 - Eckard Böde
, Marc Herbstritt, Holger Hermanns
, Sven Johr, Thomas Peikenkamp, Reza Pulungan
, Ralf Wimmer
, Bernd Becker
:
Compositional Performability Evaluation for STATEMATE. 167-178
Session 2.2: Model Checking
- Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga
:
Compositional Quantitative Reasoning. 179-188 - Mouad Ben Mamoun, Nihal Pekergin, Sana Younès:
Model Checking of Continuous-Time Markov Chains by Closed-Form Bounding Distributions. 189-198 - Davide Cerotti
, Susanna Donatelli, András Horváth
, Jeremy Sproston:
CSL Model Checking for Generalized Stochastic Petri Nets. 199-210
Session 2.3: Lumpability
- Marco Beccuti
, Giuliana Franceschinis, Souheib Baarir, Jean-Michel Ilié
:
Efficient lumpability check in partially symmetric systems. 211-220 - Jasen Markovski, Nikola Trcka:
Lumping Markov Chains with Silent Steps. 221-232
Session 2.4: Markov Models
- Peter Buchholz
, Peter Kemper:
Optimization of Markov Models with Evolutionary Strategies Based on Exact and Approximate Analysis Techniques. 233-242 - David Daly, Peter Buchholz
, William H. Sanders:
Bound-Preserving Composition for Markov Reward Models. 243-252 - Parosh Aziz Abdulla, Noomene Ben Henda, Richard Mayr, Sven Sandberg:
Limiting Behavior of Markov Chains with Eager Attractors. 253-264
Invited Talk
- Arif Merchant
:
Designing and managing storage systems: issues, techniques, and challenges. 265-268
Session 3.1: Optimization in Networks
- Héctor Cancela
, Pablo Rodríguez-Bocca:
Optimization of Cache Expiration Dates in Content Networks. 269-278 - Yezekael Hayel, Víctor Manuel Ramos Ramos
, Bruno Tuffin:
Optimal Static Pricing of Reverse-Link DS-CDMA Multiclass Traffic. 279-290
Session 3.2: Reachability
- Krishnendu Chatterjee
, Luca de Alfaro, Thomas A. Henzinger:
Strategy Improvement for Concurrent Reachability Games. 291-300 - Joost-Pieter Katoen
, Ivan S. Zapreev:
Safe On-The-Fly Steady-State Detection for Time-Bounded Reachability. 301-310 - Jasper Berendsen, David N. Jansen
, Joost-Pieter Katoen
:
Probably on Time and within Budget: On Reachability in Priced Probabilistic Timed Automata. 311-322
Session 3.3: Queuing
- Levente Bodrog, Gábor Horváth
, Sándor Rácz, Miklós Telek
:
A tool support for automatic analysis based on the tagged customer approach. 323-332 - Giuliano Casale:
On Single-Class Load-Dependent Normalizing Constant Equations. 333-342 - David Thornley, Harf Zatschler:
Exploring correctness and accuracy of solutions to matrix polynomial equations in queues. 343-352 - Ho Woo Lee, Jung Woo Baek
:
Threshold Workload Control in the BMAP/G/1 Queue. 353-364
Session 3.4: Server Systems
- Mengjun Xie
, Keywan Tabatabai, Haining Wang:
Identifying Low-ProfileWeb Server's IP Fingerprint. 365-374 - Philipp Reinecke, Aad P. A. van Moorsel, Katinka Wolter:
The Fast and the Fair: A Fault-Injection-Driven Comparison of Restart Oracles for Reliable Web Services. 375-384 - Ningfang Mi, Qi Zhang, Alma Riska, Evgenia Smirni:
Load Balancing for Performance Differentiation in Dual-Priority Clustered Servers. 385-394
![](https://dblp.org/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.