| 发明名称 | 一种并行系统性能的形式化分析方法 | ||
| 摘要 | 本发明公开了一种并行系统性能的形式化分析方法，包括：步骤一、建立并行程序性能模型和并行机模型；步骤二、在并行程序性能模型和并行机模型之间建立映射关系，形成并行系统性能模型，进行并行系统性能分析。本发明提供了一种高效的并行系统性能分析方法。 | ||
| 申请公布号 | CN105512018A | 申请公布日期 | 2016.04.20 |
| 申请号 | CN201410490717.9 | 申请日期 | 2014.09.23 |
| 申请人 | 上海精密计量测试研究所 | 发明人 | 成斌;钱平;王凌;齐宏恩;龚丹丹;陈春萍;李楠;张闯;郭素敏;刘冰川;杨雨翰;蒋坚鸿 |
| 分类号 | G06F11/36(2006.01)I;G06F9/44(2006.01)I | 主分类号 | G06F11/36(2006.01)I |
| 代理机构 | 上海航天局专利中心 31107 | 代理人 | 金家山 |
| 主权项 | 一种并行系统性能的形式化分析方法，其特征在于，包括：步骤一、建立并行程序性能模型和并行机模型；步骤二、在并行程序性能模型和并行机模型之间建立映射关系，形成并行系统性能模型，进行并行系统性能分析。 | ||
| 地址 | 201109 上海市闵行区元江路3888号 | ||