位置：成果数据库 > 期刊 > 期刊详情页
多重中断C程序中数据竞争及原子性检测
  • 期刊名称：计算机科学与探索
  • 时间：0
  • 页码：1085-1093
  • 语言：中文
  • 相关项目：Java构件的组合模型检验技术研究
作者： 文艳军|吴学光|王戟|綦艳霞|傅秀涛|顾斌|
同期刊论文项目
Java构件的组合模型检验技术研究
期刊论文 9 会议论文 3
同项目期刊论文
一个面向C和Fortran数值程序的静态分析工具
基于AOP的运行时验证中的冲突检测
补偿通信顺序进程的扩展及失败发散语义
基于约束的多面体抽象域的弱接合
面向参数化LTL的预测监控器构造技术