您的位置： 专家智库 > 作者详情>许翔

许翔

作品数：1 被引量：1H指数：1
供职机构：中国科学院成都计算机应用研究所更多>>
相关领域：自动化与计算机技术更多>>

合作作者

题名
作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇性能评价

机构

  • 1篇中国科学院成...

作者

  • 1篇吴尽昭
  • 1篇林连南
  • 1篇许翔
  • 1篇陈剑锋

传媒

  • 1篇计算机应用

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
相关度排序
基于交互式马尔可夫链的模型检验被引量：1
2008年
研究了基于交互式马尔可夫链(IMC)的模型检验,IMC是集功能描述和性能刻画为一体的并发系统模型,模型检验是一种自动功能验证与性能评价技术。文中提出的模型检验算法结合了传统的功能验证与性能评价的功能,并且与现有的算法相一致。实验分析表明,该算法具有较高的性能,适用于大型复杂系统的验证和评价。
许翔吴尽昭林连南陈剑锋
关键词：性能评价
全选 清除 导出
共1页<1>
聚类工具0