国家重点基础研究发展计划(2007CB310907)

作品数：9被引量：45H指数：2
导出分析报告
相关作者：陈左宁谢向辉李宏亮钱磊王丹更多>>
相关机构：江南计算技术研究所更多>>
相关期刊：《计算机工程与设计》《高性能计算技术》《电子技术应用》《计算机应用与软件》更多>>
相关主题：虚拟机管理器遗传算法FUZZING虚拟化可信计算更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
众核结构下的系统虚拟化技术研究
《高性能计算技术》2013年第1期30-34,共5页王星焱 郑岩 殷红武 陈左宁 
本文获得973国家计划项目（2007CB310907）的资助.
随着硅制造工艺的长足进步，出现了众核芯片结构设计。众核结构给基础软件系统带来了相当大的挑战。本文探讨了众核结构下的系统虚拟化技术的各个方面，包括虚拟机管理器、CPU、内存和I／0虚拟化、虚拟机休眠唤醒和迁移，还在原型系统...
关键词：众核 系统虚拟化 虚拟机管理器 高性能计算 
开放环境下的远程证明体系架构设计
《计算机应用与软件》2012年第8期86-89,105,共5页于颖超 刘了 陈左宁 
国家重点基础研究发展计划(2007CB310907)
虚拟化技术和证明技术相互依赖,只有两者相互结合,才能为安全系统奠定坚实的基础。首先给出在开放环境下使用证明技术建立信任关系需要解决的问题,然后提出一种支持远程证明的安全体系架构Sec_TV,讨论该架构如何结合虚拟化和证明技术来...
关键词：可信计算 虚拟化 远程证明 TCM vTCM 
基于控制依赖路径覆盖的Fuzzing模型被引量：1
《计算机工程与设计》2012年第8期3078-3082,共5页王丹 潘强宗 朱鲁华 
国家973重点基础研究发展计划基金项目(2007CB310907)
为解决软件生产过程中存在的测试时间过长而导致成本急剧增长的问题,针对基于动静结合的Fuzzing方法中存在的缺陷,提出了基于控制依赖路径覆盖的Fuzzing模型。在该模型中,动态测试目标为静态分析提取的脆弱性语句。设计了一种基于两层...
关键词：FUZZING技术 控制依赖路径 静态分析 遗传算法 相似度 
一种安全VM-vTPM迁移协议的设计与实现被引量：2
《电子技术应用》2012年第4期130-133,共4页于颖超 刘了 陈左宁 
国家"973"计划基金资助项目(2007CB310907)
在分析现有vTPM迁移方案的基础上提出了安全VM-vTPM迁移的安全需求,并针对这些安全需求,提出了一种新的安全VM-vTPM迁移协议。详细阐述了协议各阶段涉及的具体内容,并对其进行了安全评估。最后,基于Xen讨论了其实现及性能开支。
关键词：可信计算 虚拟化 vTPM 安全VM—vTPM迁移 XEN 
结合静态分析的软件脆弱性测试方法被引量：3
《计算机工程与设计》2011年第5期1698-1701,1865,共5页王丹 刘勇 吴咏 朱鲁华 
国家973重点基础研究发展计划基金项目(2007CB310907)
Fuzzing是一种有效的软件脆弱性动态测试方法,为了避免传统Fuzzing技术的盲目性所导致的测试效率低下的问题,提出了静态分析和遗传算法相结合来指导Fuzzing数据生成的方法,并设计实现了一个智能化的Fuzzing系统SFS(smartfuzzing system...
关键词：FUZZING 静态分析 遗传算法 脆弱性语句 语句覆盖 
高性能MD5算法IP核的设计空间探索与分析
《计算机工程与科学》2009年第11期58-61,共4页原昊 吴东 谢向辉 
国家973计划资助项目(2007CB310907);国家863计划资助项目(2007AA01Z117)
本文以Bluespec System Verilog高层硬件描述语言为工具,对MD5核心算法进行了设计空间探索,实现了全展开组合逻辑、全展开流水线、循环迭代、流水化的循环迭代四种结构,测试和分析了各种结构的性能和面积指标,完整掌握了MD5IP核的设计...
关键词：MD5 Bluespec SYSTEMVERILOG 高性能加速计算 
基于资源调度的集群节能系统的设计与实现被引量：4
《计算机工程与科学》2009年第A01期176-178,213,共4页戴永涌 杨树军 
国家973计划资助项目(2007CB310907)
集群计算机系统的运算性能跨入百万亿次、千万亿次时代,节能降耗已成为集群计算机系统必须面对的重要问题之一,本文从系统级节能的角度出发,结合神威高性能集群计算机系统的系统监测、作业管理、IPMI带外电源管理和TuxOnIce系统休眠技术...
关键词：节能降耗 资源调度 休眠 智能平台管理接口(IPMI) 
虚拟化技术在高性能计算机系统中的应用研究被引量：35
《计算机工程与科学》2009年第A01期307-311,共5页钱磊 李宏亮 谢向辉 陈左宁 
国家973计划资助项目(2007CB310907);国家863计划资助项目(2007AA01Z117)
随着高性能计算机系统规模的不断扩大,体系结构的日益复杂,其管理和使用也变得越来越困难。将虚拟化技术应用于构建高性能计算机系统有助于帮助开发人员高效管理和使用高性能计算机系统,使其发挥最大效能。本文详细分析了虚拟化技术在...
关键词：虚拟化技术 虚拟机管理器 高性能计算机 
VCPPS:一种面向并行Verilog模拟的代码分割器
《计算机工程与科学》2009年第A01期319-323,共5页张昆 钱磊 李宏亮 谢向辉 
国家973计划资助项目(2007CB310907);国家863计划资助项目(2007AA01Z117)
本文介绍了一种面向并行模拟的Verilog代码分割器VCPPS。VCPPS通过图形化的方式进行人机交互,并采取用户启发式的方法指导分割。文章介绍了VCPPS设计与实现中的一些关键技术,通过分析可以看出,VCPPS可以正确地完成繁琐的Verilog代码分...
关键词：并行Verilog模拟 代码分割 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部