![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
QEST 2005: Torino, Italy
- Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy. IEEE Computer Society 2005, ISBN 0-7695-2427-3
Introduction
- Message from the General Chair.
- Message from the Program Chairs.
- Technical Program Committee.
- Reviewers.
Invited Talk (Pierpaolo Degano)
- Michele Curti, Davide Prandi
, Linda Brodo:
Formal Executable Descriptions of Biological Systems. 2-12
Petri Nets and Process Algebras
- Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
:
Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. 13-22 - Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
:
On the use of exact lumpability in partially symmetricalWell-formed Nets. 23-32 - Jane Hillston:
Fluid Flow Approximation of PEPA models. 33-43
Bisimulation and Approximations
- Roberto Segala
, Andrea Turrini:
Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. 44-53 - Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup:
An approximation algorithm for labelled Markov processes: towards realistic approximation. 54-62
Invited Talk (Leana Golubchik)
- Alix L. H. Chow, Leana Golubchik, John C. S. Lui:
Toward Picture-perfect Streaming on the Internet. 63-73
Workload Characterization/Measurements
- C. Murray Woodside, Tao Zheng, Marin Litoiu
:
The Use of Optimal Filters to Track Parameters of Performance Models. 74-84
Performability
- Marco Gribaudo
, Francesco Moscato, Nicola Mazzocca
, Valeria Vittorini:
Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. 85-94 - Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders:
Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. 95-104 - Eitan Bachmat
:
On the performance of D-redundant disk systems. 105-113
Markovian Models
- András Horváth
:
Steady State Solution for Models with Geometric and Finite Support Activity Duration. 114-123 - Gábor Horváth
, Miklós Telek
, Peter Buchholz
:
A MAP fitting approach with independent approximation of the inter-arrival time distribution and the lag correlation. 124-133 - Peter Bazan, Reinhard German:
Approximate Analysis of Stochastic Models by Self-Correcting Aggregation. 134-144
Model Checking
- Lucia Cloth, Boudewijn R. Haverkort
:
Model Checking for Survivability. 145-154 - Mihalis Yannakakis, Kousha Etessami:
Checking LTL Properties of Recursive Markov Chains. 155-165
Invited Talk (Thomas Sterling)
- Thomas L. Sterling:
Challenges to Evaluating Petaflops Systems. 166-167
Architecture Measurements/Modeling II
- Qi Zhang, Alma Riska, Erik Riedel:
Workload Propagation - Overload in Bursty Servers. 179-188 - S. Govind, R. Govindarajan:
Performance Modeling and Architecture Exploration of Network Processors. 189-198 - Matthew Curtis-Maury, Tanping Wang:
Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications. 199-209
Markov Chains/Importance Sampling
- Benny Van Houdt, Chris Blondia:
QBDs with Marked Time Epochs: a Framework for Transient Performance Measures. 210-219 - Victor F. Nicola, Tatiana S. Zaburnenko:
Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks. 220-229 - Werner Sandmann:
On Optimal Importance Sampling for Discrete Time Markov Chains. 230-240
Tool Presentations
- Lorenzo Falai, Andrea Bondavalli
, Felicita Di Giandomenico:
NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. 241-242 - Joost-Pieter Katoen
, Maneesh Khattri, Ivan S. Zapreev:
A Markov Reward Model Checker. 243-244 - YoungMin Kwon, Gul A. Agha:
iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. 245-246 - Elena Gómez-Martínez
, José Merseguer
:
A Software Performance Engineering Tool based on the UML-SPT. 247-248 - G. Rajeshwari, Santonu Sarkar
:
SAM: A Tool for Software Architecture Modeling and Performance Analysis. 249-250 - Koushik Sen, Mahesh Viswanathan, Gul A. Agha:
VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. 251-252 - Max Walter, Carsten Trinitis:
OpenSESAME Simple but Extensive Structured Availability Modeling Environment. 253-254 - Marisa Llorens
, Javier Oliver
:
MCReNet: a tool for Marked-Controlled Reconfigurable Nets. 255-256 - Marco Gribaudo
, Daniele Codetta Raiteri
, Giuliana Franceschinis:
Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. 257-258 - Tod Courtney, Salem Derisavi, Shravan Gaonkar, Mark Griffith, Vinh Vi Lam, Michael G. McQuinn, Eric Rozier, William H. Sanders:
The Mobius Modeling Environment: Recent Extensions - 2005. 259-260
![](https://dblp1.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.