您的位置： 专家智库 > >

冯晓雪

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

合作作者

文献类型

  • 2篇中文专利

领域

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

主题

  • 2篇信息函数
  • 2篇数据竞争
  • 2篇重放
  • 2篇并行测试
  • 1篇可执行文件
  • 1篇共享
  • 1篇共享变量

机构

  • 2篇中国科学院

作者

  • 2篇李磊
  • 2篇冯晓雪
  • 2篇陈云霁
  • 2篇李梦竹

年份

  • 1篇2016
  • 1篇2013
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
基于确定性重放的并行系统弱一致性的验证方法和系统
本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函...
冯晓雪陈云霁李磊李梦竹
基于确定性重放的并行系统弱一致性的验证方法和系统
本发明公开了一种基于确定性重放的并行系统弱一致性的验证方法和系统。包括：数据竞争检测步骤，检测并行测试程序中存在的数据竞争操作，识别所有全局共享变量，对并行测试程序进行两次编译生成第一、二可执行文件,分别注入记录序信息函...
冯晓雪陈云霁李磊李梦竹
文献传递
全选 清除 导出
共1页<1>
聚类工具0