The SCEAS System
Navigation Menu

Conferences in DBLP

Quantitative Evaluation of Systems (qest)
2005 (conf/qest/2005)


  1. Reviewers. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:- [Conf]

  2. Message from the General Chair. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:- [Conf]

  3. Message from the Program Chairs. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:- [Conf]

  4. Technical Program Committee. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:- [Conf]
  5. Michele Curti, Davide Prandi, Linda Brodo
    Formal Executable Descriptions of Biological Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:2-12 [Conf]
  6. Giacomo Bucci, R. Piovosi, Luigi Sassoli, Enrico Vicario
    Introducing Probability within State Class Analysis of Dense-Time-Dependent Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:13-22 [Conf]
  7. Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié
    On the use of exact lumpability in partially symmetricalWell-formed Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:23-32 [Conf]
  8. Jane Hillston
    Fluid Flow Approximation of PEPA models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:33-43 [Conf]
  9. Roberto Segala, Andrea Turrini
    Comparative Analysis of Bisimulation Relations on Alternating and Non-Alternating Probabilistic Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:44-53 [Conf]
  10. Alexandre Bouchard-Côté, Norm Ferns, Prakash Panangaden, Doina Precup
    An approximation algorithm for labelled Markov processes: towards realistic approximation. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:54-62 [Conf]
  11. Alix L. H. Chow, Leana Golubchik, John C. S. Lui
    Toward Picture-perfect Streaming on the Internet. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:63-73 [Conf]
  12. C. Murray Woodside, Tao Zheng, Marin Litoiu
    The Use of Optimal Filters to Track Parameters of Performance Models. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:74-84 [Conf]
  13. Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini
    Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:85-94 [Conf]
  14. Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders
    Evaluating the Dependability of a LEO Satellite Network for Scientific Applications. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:95-104 [Conf]
  15. Eitan Bachmat
    On the performance of D-redundant disk systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:105-113 [Conf]
  16. András Horváth
    Steady State Solution for Models with Geometric and Finite Support Activity Duration. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:114-123 [Conf]
  17. 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. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:124-133 [Conf]
  18. Peter Bazan, Reinhard German
    Approximate Analysis of Stochastic Models by Self-Correcting Aggregation. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:134-144 [Conf]
  19. Lucia Cloth, Boudewijn R. Haverkort
    Model Checking for Survivability. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:145-154 [Conf]
  20. Mihalis Yannakakis, Kousha Etessami
    Checking LTL Properties of Recursive Markov Chains. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:155-165 [Conf]
  21. Thomas Sterling
    Challenges to Evaluating Petaflops Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:166-167 [Conf]
  22. Qi Zhang, Alma Riska, Erik Riedel
    Workload Propagation - Overload in Bursty Servers. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:179-188 [Conf]
  23. S. Govind, R. Govindarajan
    Performance Modeling and Architecture Exploration of Network Processors. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:189-198 [Conf]
  24. Matthew Curtis-Maury, Tanping Wang
    Integrating Multiple Forms of Multithreaded Execution on multi-SMT Systems: A Study with Scientific Applications. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:199-209 [Conf]
  25. Benny Van Houdt, Chris Blondia
    QBDs with Marked Time Epochs: a Framework for Transient Performance Measures. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:210-219 [Conf]
  26. Victor F. Nicola, Tatiana S. Zaburnenko
    Importance Sampling Simulation of Population Overflow in Two-node Tandem Networks. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:220-229 [Conf]
  27. Werner Sandmann
    On Optimal Importance Sampling for Discrete Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:230-240 [Conf]
  28. Lorenzo Falai, Andrea Bondavalli, Felicita Di Giandomenico
    NekoStat extension to Neko: Quantitative Evaluation of Distributed Algorithms. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:241-242 [Conf]
  29. Joost-Pieter Katoen, Maneesh Khattri, Ivan S. Zapreev
    A Markov Reward Model Checker. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:243-244 [Conf]
  30. YoungMin Kwon, Gul A. Agha
    iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:245-246 [Conf]
  31. Elena Gómez-Martínez, José Merseguer
    A Software Performance Engineering Tool based on the UML-SPT. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:247-248 [Conf]
  32. G. Rajeshwari, Santonu Sarkar
    SAM: A Tool for Software Architecture Modeling and Performance Analysis. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:249-250 [Conf]
  33. Koushik Sen, Mahesh Viswanathan, Gul A. Agha
    VESTA: A Statistical Model-checker and Analyzer for Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:251-252 [Conf]
  34. Max Walter, Carsten Trinitis
    OpenSESAME Simple but Extensive Structured Availability Modeling Environment. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:253-254 [Conf]
  35. Marisa Llorens, Javier Oliver
    MCReNet: a tool for Marked-Controlled Reconfigurable Nets. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:255-256 [Conf]
  36. Marco Gribaudo, Daniele Codetta Raiteri, Giuliana Franceschinis
    Draw-Net, a customizable multi-formalism, multi-solution tool for the quantitative evaluation of systems. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:257-258 [Conf]
  37. 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. [Citation Graph (0, 0)][DBLP]
    QEST, 2005, pp:259-260 [Conf]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002