您的位置： 专家智库 > >

王超

作品数：1 被引量：0H指数：0
供职机构：江西省电子信息产品监督检验院更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇虚拟机
  • 1篇加载
  • 1篇加载器
  • 1篇PETRI网

机构

  • 1篇广西师范大学
  • 1篇北京信息科技...
  • 1篇江西省电子信...

作者

  • 1篇肖庆
  • 1篇焦健
  • 1篇王超

传媒

  • 1篇计算机与现代...

年份

  • 1篇2011
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种基于Petri网的虚拟机性能分析方法
2011年
虚拟机技术在缓冲区溢出防御方面有着重要的应用,虚拟机系统中加载器的不同设计方案直接影响虚拟机的运行效率。本文提出一种使用Petri网形式化建模的方法,对虚拟机所需要的加载方案实现形式化建模和评估。使用CPN-Tools工具进行验证结果显示,该方法可以有效地分析虚拟机模型的性质,实现各种加载方案的虚拟机系统的时间和空间量化比较。
焦健肖庆王超
关键词：PETRI网虚拟机加载器
全选 清除 导出
共1页<1>
聚类工具0