• 全部搜索
  • 期刊论文
  • 图书
  • 学位论文
  • 学位论文
  • 标准
  • 纸本馆藏
  • 外文资源发现
  • 产品样本
  • 电子图书
  • 原文传递

限定检索结果

检索条件"主题词=嵌入式多线程程序"
共 1 条 记 录，以下是1-10 订阅
全选 清除本页 清除全部 题录导出 标记到"检索档案"
视图：
排序：
基于SMT求解器的嵌入式多线程程序数据竞态条件分析
收藏
分享
引用
《计算机与数字工程》2018年 第3期46卷 424-428页
作者：容会 潘有顺 王艳玲 周祖坤 王晓亮昆明冶金高等专科学校艺术设计学院昆明650033 昆明理工大学云南省计算机技术应用重点实验室昆明650500 昆明理工大学信息工程与自动化学院昆明650500 昆明冶金高等专科学校外语学院昆明650033 昆明冶金高等专科学校招生就业处昆明650033 昆明冶金高等专科学校商学院昆明650033 
针对嵌入式多线程程序中出现的数据竞态条件,论文提出了一种基于SMT求解器数据竞态条件检测分析方法。通过对多线程程序执行路径与源程序分析,构建对应的约束条件,将其作为输入,SMT求解器验证是否满足数据竞态条件。通过实验,论文提出...
来源：详细信息评论
全选 清除本页 清除全部 题录导出 标记到“检索档案”
共1页<< <1> >>
聚类工具 回到顶部