内存模型

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

检索结果分析

结果分析中...
选择条件：
  • 期刊=小型微型计算机系统x
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一种基于栈区内存模型的C程序别名判断算法被引量：1
《小型微型计算机系统》2019年第2期353-358,共6页常欢 罗奇鸣 李薛剑 陈意云 
国家自然科学基金项目(61170018;61229201)资助
C语言中的指针导致C程序中会出现表达式别名的情况.在基于演绎推理的程序验证中,使用Hoare逻辑的赋值规则前必须消除断言中的别名.别名增加了程序验证的难度.本文根据C语言的语义提出了一种栈区内存模型,可以精确地跟踪栈区的多种类型...
关键词：程序验证 HOARE逻辑 内存模型 别名 栈区 
确定性多线程编程模型的可编程性及其实现性能的探索被引量：2
《小型微型计算机系统》2016年第6期1126-1131,共6页曹慧芳 张昱 
国家"八六三"高技术研究发展计划项目(2012AA010901)资助;国家自然科学基金项目(61229201)资助
传统的多线程程序存在许多不确定性,导致编程困难,易出错.确定性并行编程模型是保证并行程序确定执行的有效途径之一.针对所提出的确定性消息传递多线程编程模型Det MP及它在确定性生产-消费虚拟内存模型SPMC上的实现,本文探索Det MP的...
关键词：确定性多线程编程模型 虚拟内存模型 性能 可扩展性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部