咨询与建议
  • 全部检索
  • 电子图书
  • 电子期刊
  • 纸本馆藏
  • 南通市公共图书馆
高级检索

限定检索结果

文献类型

  • 3 篇 期刊文献

馆藏范围

  • 3 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 计算机科学与技术...
    • 2 篇 软件工程
    • 1 篇 材料科学与工程（可...
    • 1 篇 信息与通信工程
    • 1 篇 网络空间安全

主题

  • 3 篇 锁集合
  • 2 篇 数据竞争
  • 1 篇 程序并行性
  • 1 篇 e-race
  • 1 篇 体系结构扩展
  • 1 篇 多线程处理
  • 1 篇 嵌入式软件
  • 1 篇 编程技巧
  • 1 篇 动态数据竞争检测...
  • 1 篇 域一致性模型
  • 1 篇 软件分布式共享存...

机构

  • 1 篇 中国科学院计算技...
  • 1 篇 中国空空导弹研究...
  • 1 篇 浙江大学
  • 1 篇 中国科学技术大学
  • 1 篇 北京神舟航天软件...

作者

  • 1 篇 张福新
  • 1 篇 蔡铭
  • 1 篇 章隆兵
  • 1 篇 石磊
  • 1 篇 陈意云
  • 1 篇 董金祥
  • 1 篇 马悦琪
  • 1 篇 吴少刚
  • 1 篇 金星
  • 1 篇 富浩
  • 1 篇 龚宜

语言

  • 3 篇 中文
检索条件"主题词=锁集合"
共 3 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
详细 简洁
排序：
基于锁集合算法的增强型数据竞争检测方法
收藏
分享
引用
浙江大学学报（工学版） 2009年 第2期43卷 328-333页
作者： 富浩 蔡铭 董金祥 金星 龚宜 浙江大学计算机科学与技术学院 浙江杭州310027 北京神舟航天软件技术有限公司 北京100094
针对锁集合算法误报率高的缺点,采用增强型数据竞争检测方法对锁集合算法及算法实现两方面进行改进.增强型锁集合算法提出了更强必要条件的检测算法.该算法通过分析线程结束情况和理解变量的线程信息,精化数据竞争检测条件.算法实现采... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
基于锁集合的动态数据竞争检测方法
收藏
分享
引用
计算机学报 2003年 第10期26卷 1217-1223页
作者： 章隆兵 张福新 吴少刚 陈意云 中国科学院计算技术研究所 北京100080 中国科学技术大学计算机科学技术系 合肥230027
数据竞争使得共享存储程序难于调试 .以前大部分针对共享存储程序的动态数据竞争检测工作都是通过维护发生序来实现 .这种方法有一个重要缺点 ,即针对程序的一种输入 ,对程序的一次执行进行检测 ,不能检测出所有的可行数据竞争 .文中利... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
嵌入式软件数据竞争检测方法
收藏
分享
引用
信息与电脑 2016年 第21期28卷 95-96页
作者： 马悦琪 石磊 中国空空导弹研究院 河南洛阳471009
数据竞争问题会给软件程序带来极大的安全隐患,因此,如何有效地检测数据竞争一直是一个热门研究领域。尽管如此,当今有关嵌入式软件中数据竞争的研究仍然非常有限。E-RACE是一种定义数据竞争的新式工具,它能够直接利用特定的硬件性能来... 详细信息
来源： 维普期刊数据库 维普期刊数据库 同方期刊数据库 同方期刊数据库 评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页 <<  < 1 >  >>
回到顶部
执行限定条件