动态存储管理

作品数：18被引量：23H指数：2
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：郭福顺周云陈文智汤伟芬郭晓川更多>>
相关机构：华中科技大学哈尔滨工业大学国防科学技术大学华为技术有限公司更多>>
相关期刊：《东北师大学报（自然科学版）》《科学咨询》《武汉理工大学学报（信息与管理工程版）》《计算机技术与发展》更多>>
相关基金：国家自然科学基金国防科技技术预先研究基金湖北省数字制造重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=计算机研究与发展x
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
应用定制可重构流水线的动态存储管理
《计算机研究与发展》2015年第S2期171-177,共7页王观武 杜孔飞 李思昆 
国家自然科学基金面上项目(61076020)
可重构体系结构因为丰富的硬件资源和可重构互连网络,可以提供接近专用集成电路的性能和接近通用处理器的灵活性.首先介绍了一种面向领域应用的应用定制可重构流水线体系结构,可带来计算性能的显著提升;其次介绍了面向应用定制可重构流...
关键词：应用定制 可重构流水线 存储管理 存储优化 粗粒度可重构体系结构 
动态存储管理安全验证的Coq实现被引量：2
《计算机研究与发展》2007年第2期361-367,共7页项森 陈意云 林春晓 李隆 
国家自然科学基金项目(60473068;60673126);Intel中国研究中心资助项目
随着软件规模和复杂度的日益提升,软件安全的问题变得越来越严峻,同时有越来越多的研究工作集中在高可信软件的开发上.由于类型系统表达能力的不足,现有的研究不触及底层软件的验证.由于Hoare逻辑更好的表达能力,采用Hoare逻辑风格的推...
关键词：形式化方法 高可信软件 程序验证 携带证明的代码 
一种动态存储管理机制被引量：8
《计算机研究与发展》1999年第1期62-66,共5页郭福顺 王世铀 臧天仪 
国防科学技术工业委员会"九五"预研课题基金
动态存储管理是计算机系统必不可少的资源管理手段之一．现有的动态存储分配算法存在着效率不高、空间和时间开销较高等缺点．文中提出了一个用多级位示图目录来实现存储资源动态分配的算法，给出了多级位示图目录的结构和相应的算法，...
关键词：动态存储管理 多级位示图目录 操作系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部