.png){kind=icon}
返回
An efficient algorithm for aggregating PEPA models
.png){kind=icon}
OA
AI
DOI：10.1109/32.922715.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
Performance Evaluation Process Algebra (PEPA) is a formal language for performance modeling based on process algebra. It has previously been shown that, by using the process algebra apparatus, compact performance models can be derived which retain the essential behavioral characteristics of the modeled system. However, no efficient algorithm for this derivation was given. In this paper, we present an efficient algorithm which recognizes and takes advantage of symmetries within the model and avoids unnecessary computation. The algorithm is illustrated by a multiprocessor example.
Keyword:
performance modeling
model aggregation
performance evaluation tools
stochastic process algebras
期刊
IF:
5.6
论文数:
2.8K
被引数:
1.1W
机构
暂无机构信息
引用论文
.png){kind=icon}
Invader vs. invader: intra- and interspecific competition mechanisms in zebra and quagga musselsOAAI
OAAI分享收藏
查看更多内容