RaPiD: A toolkit for reliability analysis of non-deterministic systems
Non-determinism in concurrent or distributed software systems (i.e., various possible execution orders among different distributed components) presents new challenges to the existing reliability analysis methods based on Markov chains. In this work, we present a toolkit RaPiD for the reliability ana...
Saved in:
| Main Authors: | , , , , |
|---|---|
| 格式: | text |
| 語言: | English |
| 出版: |
Institutional Knowledge at Singapore Management University
2014
|
| 主題: | |
| 在線閱讀: | https://ink.library.smu.edu.sg/sis_research/4993 https://ink.library.smu.edu.sg/context/sis_research/article/5996/viewcontent/2635868.2661668.pdf |
| 標簽: |
添加標簽
沒有標簽, 成為第一個標記此記錄!
|
| 機構: | Singapore Management University |
| 語言: | English |