Searching for "Performance Modelling and Markov Chains." – sorted by Relevance.
9 documents found, showing 1 through 9.
-
Extended Markovian Process Algebra
- … performance semantic model (a Markov chain). We show that an integrated analysis, i.e. a notion of equivalence…
- Cited by 37 (3 self) – Add To MetaCart
-
An Algebraic Model for Evaluating the Performance of an ATM Switch with Explicit Rate Marking
- …. The restriction to exponential distributions causes the underlying performance models to be Markov chains, hence…
- Cited by 9 (6 self) – Add To MetaCart
-
Process Algebra and Markov Chains
- … process algebras [4,27,16], which sought to integrate performance modelling with Markov chains…
- Cited by 5 (1 self) – Add To MetaCart
-
Automated Performance and Dependability Evaluation Using Model Checking
- … and performability models. In many cases, the models addressed possess a continuous-time Markov chain…
- Cited by 13 (0 self) – Add To MetaCart
-
TwoTowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
- … performance models are Markov chains. ffl ~ r 1 and ~ r 2 are, respectively, the yield reward and the bonus…
- Cited by 23 (10 self) – Add To MetaCart
-
Performance Analysis of Software Architectures via a Process Algebraic Description Language
- … performance models turn out to be Markov chains which can thus be exploited to effectively derive performance…
- Cited by 3 (1 self) – Add To MetaCart
-
Twotowers: A Tool Integrating Functional And Performance Analysis Of Concurrent Systems
- … distributions, and that the underlying performance models are Markov chains. ~ r 1 and ~ r 2 are, respectively…
- Add To MetaCart
-
A Stochastic Causality-Based Process Algebra
- … performance models, such as Markov chains and queuing networks, from system specifications. A lot of effort…
- Cited by 26 (8 self) – Add To MetaCart
-
Partial Order Models for Quantitative Extensions of LOTOS
- … be desirable to obtain performance models, such as Markov chains and simulation models, from system…
- Cited by 3 (1 self) – Add To MetaCart
Showing 1 through 9.
