搜索到 篇“ 内存模型 “的相关文章

相关作者

董玉坤
作品数：67被引量：82H指数：5
供职机构：中国石油大学（华东）
研究主题：内存模型 数据流分析 C程序 抽象语法树 软件测试
宫云战
作品数：314被引量：525H指数：13
供职机构：北京邮电大学计算机学院网络与交换技术国家重点实验室
研究主题：软件测试 控制流 抽象语法树 控制流图 测试用例
金大海
作品数：132被引量：87H指数：6
供职机构：北京邮电大学
研究主题：控制流 软件测试 抽象语法树 控制流图 状态机
肖贺
作品数：7被引量：24H指数：2
供职机构：上海交通大学
研究主题：函数依赖 内存模型 内存操作 内存变量 内存
李薛剑
作品数：43被引量：32H指数：4
供职机构：安徽大学
研究主题：内存模型 形式化验证 以太网数据 遗留物检测 持续性