1. 您所在位置：
  2. 网站首页
  3. 文档分类
  4. 计算机
  5. 嵌入式开发

基于SMT求解器的嵌入式多线程程序数据竞态-计算机与数字工程.PDFVIP

  • 2
  • 0
  • 约2.25万字
  • 约 5页
  • 2019-08-18 发布于天津
  • 举报

基于SMT求解器的嵌入式多线程程序数据竞态-计算机与数字工程.PDF

    基于SMT求解器的嵌入式多线程程序数据竞态-计算机与数字工程.PDF

    Vol. 46 No. 3 计算机与数字工程 总第341 期 424 Computer Digital Engineering 第46 卷 2018 年第3 期 基于SMT求解器的嵌入式多线程程序数据竞态条 件分析∗ 1 2 ，3 4 5 6 容 会 潘有顺 王艳玲 周祖坤 王晓亮 （1. 昆明冶金高等专科学校艺术设计学院 昆明 650033 ） （2. 昆明理工大学云南

    您可能关注的文档

    最近下载

    文档评论（0）

    1亿VIP精品文档

    更多 >

    相关文档

    更多 >