艾尔维拉·阿尔伯特;科雷亚斯,耶苏斯;埃纳尔·布罗赫·约翰森;Ka I.潘。;吉列尔莫·罗曼·迪兹 平行成本分析。 (英语) Zbl 1407.68062号 ACM事务处理。计算。日志。 第19条第4款第31条第37页(2018年). 引用于6文件 MSC公司: 68米14 分布式系统 68号30 软件工程的数学方面(规范、验证、度量、需求等) 关键词:静态分析;分布式系统;资源分析 PDF格式BibTeX公司 XML格式引用 \textit{E.Albert}等人,ACM Trans。计算。日志。19,第4号,第31条,第37页(2018;Zbl 1407.68062) 全文: 内政部