国际专利委员会 swMATH ID: 11783 软件作者: Jeremy T.Bradley。;尼古拉斯·丁格尔(Nicholas J.Dingle)。;斯蒂芬·吉尔摩(Stephen T.Gilmore)。;威廉·诺滕贝尔(William J.Knottenbelt)。 描述: ipc:Imperial PEPA编译器。在过去10年中,PEPA范式已成为性能工程师分析其软件和硬件设计中的利用率和吞吐量等数量的普遍选择。ipc是一种工具,旨在通过允许工程师从其PEPA模型中提取大量的性能指标(即性能和可靠性指标)来扩展PEPA的建模能力。ipc将PEPA模型(以.PEPA的形式)文件编译为Will Knottenbbelt的DNAmaca格式(以.mod的形式)文件。DNAmaca非常适合这一点,因为它专门从事基于磁盘(核心外)的存储和分析非常大的系统。特别是,DNAmaca擅长:分析非常大的马尔可夫模型;产生通过时间分布和可靠性分位数或界限 主页: http://www.doc.ic.ac.uk/ipc网站/ 相关软件: 政治公众人物协议;棱镜;铲刀;鲁棒控制工具箱;SSF公司。应用程序。蠕虫 引用于: 8文件 全部的 前5名15位作者引用 5 Jeremy T·布拉德利。 2 阿肖克阿根特-卡瓦拉 2 斯蒂芬·吉尔摩(Stephen T.Gilmore)。 2 理查德·海登(Richard A.Hayden)。 2 简·希尔斯顿 1 贾科莫·阿尔泽塔 1 苏菲涅·本基拉内 1 阿伦·德里克·克拉克 1 安德烈亚·马林 1 克里斯·麦凯格 1 雷切尔·诺曼 1 卡拉广场 1 萨宾娜·罗西 1 卡隆·桑德兰 1 安东·斯特凡内克 3篇连载文章中引用 2 理论计算机科学 1 计算机与系统科学杂志 1 信息与计算 在5个字段中引用 8 计算机科学(68至XX) 1 常微分方程(34-XX) 1 概率论与随机过程(60-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文