PRISM-PSY公司 swMATH ID: 33601 软件作者: 乔什卡,M.,Pilař,P.,Paoletti,N.,Brim,L.,Kwiatkowska,M。 描述: PRISM-PSY:随机系统的精确GPU加速参数合成。在本文中,我们提出了PRISM-PSY,这是一种新的工具,用于对连续时间马尔可夫链和有时限时序逻辑规范执行精确的GPU加速参数合成。我们根据矩阵-向量运算重新设计了最近制定的精确参数合成算法,以实现有效的数据并行处理,从而在多核架构上显著加速。通过状态空间和参数空间并行实现了对性能和可扩展性至关重要的高硬件利用率:前者利用紧凑的稀疏矩阵表示,后者基于参数空间的迭代分解。我们在几个生物和工程案例研究中的实验表明,与顺序实现相比,在单个GPU上的总体速度提高了31倍。 主页: https://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_21 相关软件: 棱镜;PROPhESY公司;应用程序;SWI序言;PVS公司;蟒蛇;努姆巴;Uppaal公司;克罗诺斯;风暴;香醋;枫树 引用于: 4文件 全部的 前5名8位作者引用 1 卢卡·博托卢西 1 乔治·查齐利夫赫里奥 1 阿列克桑德拉·乔瓦诺维奇。 1 Panagiotis卡察罗斯 1 Marta Z.Kwiatkowska。 1 劳雷·佩特鲁奇 1 西蒙·西尔维蒂 1 范德波尔,扬·科内利斯 2篇连载文章中引用 1 理论计算机科学 1 信息与计算 在4个字段中引用 4 计算机科学(68至XX) 2 概率论与随机过程(60-XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文