内存模型

作品数：34被引量：65H指数：5
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：董玉坤宫云战金大海刘浩张莉更多>>
相关机构：北京邮电大学中国石油大学（华东）中国科学技术大学国防科学技术大学更多>>
相关期刊：《计算机技术与发展》《计算机教育》《电脑编程技巧与维护》《电子测试》更多>>
相关基金：国家自然科学基金国家高技术研究发展计划中央高校基本科研业务费专项资金山东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与科学x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象符号表的内存模型被引量：1
《计算机工程与科学》2011年第6期84-90,共7页代子营 毛晓光 马晓东 王瑞 
国家863计划资助项目(2007AA010301)
符号执行技术在软件测试和程序验证中发挥着重要作用。如何抽象和处理程序中各种数据类型和语法成分是符号执行必须解决的问题。本文提出抽象符号表的概念,以及基于抽象符号表建模内存的方法。抽象符号表记录可寻址对象的名称、类型、...
关键词：符号执行 内存模型 抽象符号表 程序分析 
基于Java内存模型的并发程序模型检测被引量：5
《计算机工程与科学》2010年第3期111-114,123,共5页周志远 张大方 缪力 
国家自然科学基金资助项目(60673155;90718008)
为了提高性能,Java内存模型允许编译器在优化过程中改变代码的执行顺序,同时该技术也会造成共享数据的更新顺序与本来的执行顺序不同。在多线程Java并发程序中,这些代码乱序执行会引起很多难以发现的错误。现有的Java程序模型检测技术...
关键词：Java内存模型 模型检测 JAVA并发程序 多线程 软件测试 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部