Message from EAI President regarding COVID-19
Register | Login

EUDL

European Union Digital Library
Proceedings Series Journals Search EAI
VALUETOOLS 2006
SMCTOOLS 2006GAMENETS 2006WNS2 2006INTER-PERF 2006AAA-IDEA 2006
Other Years
Ethics and Malpractice Statement

    SMCTOOLS

    1st International ICST Workshop on Tools for solving Structured Markov Chains

    Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significan…

    Performance evaluation methodologies based on structured Markov chains have taken a more prominent role over the last two decades. During this time, due to the strong exploitation of the involved structures, the techniques used to assess the performance measures of interest have advanced significantly in terms of their efficiency, while becoming more complex at the same time. This increased complexity often acts as an opposing force to a more wide spread use of these advanced methodologies. Making these novel techniques more accessible via a set of software tools is therefore essential to further promote their integration in the system design.

    more »
    Editor(s): Beatrice Meini (University of Pisa, Italy) and Benny Van Houdt (University of Antwerp, Belgium)
    Publisher
    ACM
    ISBN
    1-59593-506-1
    Conference dates
    10th Oct 2006
    Location
    Pisa, Italy
    Appeared in EUDL
    2011-11-29

    Copyright © 2011–2023 ACM

    Ordered by title or year
    Showing 1–10 of 13 results
    Page size: 102550
    • 1
    • 2
    • Next
    • Last
    • A matrix analytical method for the discrete time Lindley equation using the generalized Schur decomposition

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Nail Akar
    • A tool for verified analysis of transient and steady states of queues

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Sebastian Kempken, Wolfram Luther, Gerhard Hasslinger
    • Automated product-forms with Meercat

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Ashok Argent-Katwala
    • Bounds based on lumpable matrices for partially ordered state space

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Ana Busic, Jean-Michel Fourneau
    • Conditional steady-state bounds for a subset of states in Markov chains

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Tugrul Dayar, Nihal Pekergin, Sana Younes
    • Consecutive customer loss probabilities in M/G/1/n and GI/M(m)//n systems

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Antonio Pacheco, Helena Ribeiro
    • Matrix-geometric algorithms for stochastic fluid flows

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Soohan Ahn, V. Ramaswami
    • Structured Markov chains solver: algorithms

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      D. A. Bini, B. Meini, S. Steffe, B. Van Houdt
    • Structured Markov chains solver: software tools

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      D. A. Bini, B. Meini, S. Steffe, B. Van Houdt
    • Structured analysis techniques for large Markov chains

      Research Article in 1st International ICST Workshop on Tools for solving Structured Markov Chains

      Peter Buchholz
    • 1
    • 2
    • Next
    • Last
    About | Contact Us
    EBSCOProQuestDBLPDOAJPortico