About | Contact Us | Register | Login
ProceedingsSeriesJournalsSearchEAI
VALUETOOLS 2007
INTER-PERF 2007NSTOOLS 2007GAMECOMM 2007SMCTOOLS 2007
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): Peter Buchholz (University of Dortmund, Germany) and Tugrul Dayar (Bilkent University, Turkey)
    Publisher
    ICST
    ISBN
    978-963-9799-00-4
    Series
    ACM ICPS
    Conference dates
    26th Oct 2007
    Location
    Nantes, France
    Appeared in EUDL
    2011-11-29

    Copyright © 2011–2025 ICST

    Ordered by title or year
    Showing 1–10 of 13 results
    Page size: 102550
    • 1
    • 2
    • Next
    • Last
    • A Tool for the Analysis of Hierarchical Service-Oriented Extended Open Fork/Join Queueing Networks

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

      Markus Arns
    • A policy iteration algorithm for Markov decision processes skip-free in one direction

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

      J. Lambert, B. Van Houdt, C. Blondia
    • A survey on distributed approaches to graph based reputation measures

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

      Konstantin Avrachenkov, Danil Nemirovsky, Kim Son Pham
    • Approximating Optimal Load Balancing Policy in Discriminatory Processor Sharing Systems

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

      Juha Leino
    • Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs

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

      K. Lampka, S. Harwarth,, M. Siegle
    • Characterization and Computation of Restless Bandit Marginal Productivity Indices

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

      José Niño-Mora
    • Computing an Index Policy for Bandits with Switching Penalties

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

      José Niño-Mora
    • Constrained Markov games with transition probabilities controlled by a single player

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

      Eitan Altman, Saswati Sarkar, Eilon Solan
    • Discrete Time Stochastic Automata Networks: using structural properties and stochastic bounds to simplify the SAN

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

      J.M. Fourneau
    • Efficiency of random walks for search in different network structures

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

      Gerhard Hasslinger, Sebastian Kempken
    • 1
    • 2
    • Next
    • Last
    EBSCOProQuestDBLPDOAJPortico
    EAI Logo

    About EAI

    • Who We Are
    • Leadership
    • Research Areas
    • Partners
    • Media Center

    Community

    • Membership
    • Conference
    • Recognition
    • Sponsor Us

    Publish with EAI

    • Publishing
    • Journals
    • Proceedings
    • Books
    • EUDL