×

PSMaude公司

swMATH ID: 10125
软件作者: 卢西安·本蒂亚(Lucian Bentea);彼得·塞巴·奥维茨基
描述: 概率重写理论的概率策略语言及其在云计算中的应用。一些形式化模型结合了概率和非确定性特征。为了通过伪随机数抽样进行概率模拟和统计模型检查,必须首先量化所有不确定性来源。然而,当前的工具为用户定义如何量化不确定性提供了有限的灵活性。在本文中,我们提出了一种表达性的概率策略语言,允许用户定义复杂的策略来量化概率重写理论中的不确定性。我们已经实现了PSMaude,这是一个为我们的语言扩展Maude的工具,带有概率模拟器和统计模型检查器。我们通过一个云计算示例说明了在系统顶部定义不同概率策略的便利性,其中不同的概率策略可以指定不同的负载平衡策略。然后,我们使用PSMaude分析不同策略提供的QoS。
主页: http://heim.ifi.uio.no/lucianb/psmaude/
相关软件: PMaude公司;莫德;PVeStA公司;棱镜;MultiVeStA公司;PORGY公司;汤姆;西洋陆军棋;风暴;ITP公司;PyMC公司;D装货商;MFE公司;Matlab公司;ORME公司;AGG公司;莫斯科;哈斯克尔;标尺折弯器;遮阳板
引用于: 4文件
更多出版物: http://heim.ifi.uio.no/lucianb/psmaude/psmaude-papers.html

在1个字段中引用

4 计算机科学(68至XX)

按年份列出的引文