内存模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机工程与应用x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于抽象内存模型的内存相关漏洞检测方法被引量：7
《计算机工程与应用》2022年第8期96-108,共13页许健 陈平华 熊建斌 
广东省科技计划项目(2020B1010010010,2019B101001021);广东省自然科学基金(2019A1515010700)。
针对现有的内存相关漏洞检测方法中存在依赖指针数据流而导致大量误报漏报、缺乏漏洞特征的形式化描述以及漏洞特征描述不全面的问题,提出一种基于抽象内存模型的内存相关漏洞检测方法。对抽象内存模型进行相关定义;基于抽象内存模型,...
关键词：内存相关漏洞检测 抽象内存模型 内存泄漏 重复释放内存 读写释放后的内存 
CPU/GPU异构混合并行的栅格数据空间分析研究——以地形因子计算为例被引量：9
《计算机工程与应用》2017年第1期172-177,共6页卢敏 王金茵 卢刚 陶伟东 王结臣 
国家自然科学基金(No.41571377);国家科技支撑计划项目(No.2012BAH28B04)
海量数据背景下传统GIS栅格数据空间分析计算效率已经不能满足快速计算的需求,为此以地形因子计算为例,分析并测试了基于共享内存模型的CPU多核并行模式与基于流处理器模型的GPU众核并行模式的计算性能,在此基础上详细实现了负载均衡的...
关键词：GIS栅格数据分析 共享内存模型 流处理器模型 CPU/GPU异构混合并行 
C程序非法计算缺陷的静态检测被引量：1
《计算机工程与应用》2016年第19期31-36,共6页董玉坤 
山东省自然科学基金(No.BS2015DX017);中央高校基本科研业务费专项资金(No.15CX02050A);中国博士后科学基金(No.2015M581032)
为实现基于静态分析技术自动的检测C程序中的非法计算缺陷,提出了一种基于区域内存模型进行非法计算缺陷检测的方法。对C程序中的非法计算缺陷操作归纳总结出其受限集,以对相应运算进行约束;通过抽象的区域内存模型表示实际的内存存储,...
关键词：缺陷检测 非法计算 静态分析 抽象内存模型 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部