Publications
Search

Publications :: Search

Show venue

On this page you see the details of the selected venue.

    Conference
    Name: Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005
    DBLP: db/conf/qest/qest2005.html
    Bookmark:

    Below you find the publications assigned to this venue.

    Show item 1 to 10 of 37  
    Select a publication
    Show Title Venue Rating Date
    YoungMin Kwon, Gul A. Agha.
    iLTLChecker: A Probabilistic Model Checker for Multiple DTMCs.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Marco Gribaudo, Francesco Moscato, Nicola Mazzocca, Valeria Vittorini.
    Multisolution of Complex Performability Models in the OsMoSys/DrawNET Framework.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Eleftheria Athanasopoulou, Purvesh Thakker, William H. Sanders.
    Evaluating the Dependability of a LEO Satellite Network for Scientific Applications.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    S. Govind, R. Govindarajan.
    Performance Modeling and Architecture Exploration of Network Processors.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Souheib Baarir, Claude Dutheillet, Serge Haddad, Jean-Michel Ilié.
    On the use of exact lumpability in partially symmetricalWell-formed Nets.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Eitan Bachmat.
    On the performance of D-redundant disk systems.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Marisa Llorens, Javier Oliver.
    MCReNet: a tool for Marked-Controlled Reconfigurable Nets.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Peter Bazan, Reinhard German.
    Approximate Analysis of Stochastic Models by Self-Correcting Aggregation.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    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.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005
    Benny Van Houdt, Chris Blondia.
    QBDs with Marked Time Epochs: a Framework for Transient Performance Measures.
    Second International Conference on the Quantitative Evaluaiton of Systems (QEST 2005), 19-22 September 2005, Torino, Italy 2005 (0) 2005

    Your query returned 37 matches in the database.