检索结果-内蒙古大学图书馆

2013全国高性能计算学术年会

作者：张坤黄永兵陈明宇北京航空航天大学软件学院移动云计算系北京100191 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

云计算的成熟以及移动互联网的兴起,移动设备为用户提供了丰富的高质量及高可靠的服务.移动智能终端如智能手机、平台电脑已经成为最主要的电子消费品,且呈现快速增长的趋势.移动设备上运行的应用程序种类丰富多样,对硬件平台的需求也... 详细信息

云计算的成熟以及移动互联网的兴起,移动设备为用户提供了丰富的高质量及高可靠的服务.移动智能终端如智能手机、平台电脑已经成为最主要的电子消费品,且呈现快速增长的趋势.移动设备上运行的应用程序种类丰富多样,对硬件平台的需求也大不相同:而移动设备的硬件平台在性能和功耗上有其自身的局限性.因而,分析移动设备上的应用程序运行过程中体现出的体系结构特征,对于硬件平台如处理器的设计,以及指导应用程序的优化,具有指导性的意义. 本文分析了现代移动设备上应用程序的体系结构特征,为应用程序优化提供依据.在应用市场中挑选了测试程序集,它覆盖了整个用户需求空间,包括社交、娱乐、办公、学习等等.随后测试这些应用的体系结构特征并做出分析.这些程序都存在较高的指令缓存和指令旁路转换缓冲器未命中率,并且由于程序自身的设计,分支预测失败率也较高.

关键词：移动通讯设备应用程序体系架构数据存储

来源：评论

学校读者我要写书评

暂无评论

一种基于指令模板的通用处理器约束随机指令生成方法

一种基于指令模板的通用处理器约束随机指令生成方法

引用

第八届全国测试学术会议

作者：刘婧王天成王健李华伟湘潭大学信息工程学院湘潭411105 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049

通用处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通过... 详细信息

通用处理器是集成电路中功能最为复杂的设计之一,这对其功能验证提出了巨大的挑战.本文提出了一种基于指令模板的通用处理器约束随机指令生成方法,针对一款ARMv8处理器进行了模拟验证.此指令生成方法基于从指令集中提炼的指令模板,通过约束的调整即可支持各种功能场景的验证.基于结果自动比对的验证环境,对处理器进行了充分的验证,发现了58处设计错误,为处理器进入后续的FPGA硬件仿真奠定了良好的基础.

关键词：集成电路通用处理器指令模板生成机制

来源：评论

学校读者我要写书评

暂无评论

基于精化的可信执行环境内存隔离机制验证

引用

软件学报 2022年第6期33卷 2189-2207页

作者：靳翠珍张倩颖马雨薇李希萌王国辉施智平关永首都师范大学信息工程学院北京100048 高可靠嵌入式系统北京市工程研究中心(首都师范大学) 北京100048 计算机体系结构国家重点实验室(中国科学院计算技术研究所) 北京100190 电子系统可靠性技术北京市重点实验室(首都师范大学) 北京100048 电子系统可靠性与数理交叉学科国家国际科技合作示范型基地(首都师范大学) 北京100048

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其... 详细信息

可信执行环境(trusted execution environment,TEE)基于硬件隔离机制,为安全敏感应用提供隔离的执行环境,保护敏感数据的安全性.内存隔离机制是TEE的关键机制之一,用于对安全内存和非安全内存进行隔离,并对安全内存实施访问控制,如果其安全性不能保证,可能造成存储在安全内存中的敏感数据泄露.为验证TEE内存隔离机制的安全性,针对基于ARM TrustZone技术构建的TEE,提出一种基于精化的可信执行环境内存隔离机制安全性验证方法.建立抽象模型和具体模型,并定义两种模型之间的精化关系,在证明精化关系成立和抽象模型满足信息流安全性的前提下,验证具体模型的信息流安全性.具体模型建模了TEE内存隔离机制的关键硬件和软件,包括TrustZone地址空间控制器、MMU和TrustZone monitor等,在定理证明器Isabelle/HOL中,验证了该模型满足无干扰、无泄露、无影响等信息流安全属性.

关键词： TEE 内存隔离机制形式化验证精化关系信息流安全性

来源：评论

学校读者我要写书评

暂无评论

面向浏览器不兼容性的自动化测试的研究

引用

计算机应用与软件 2016年第3期33卷 14-17,30页

作者：吴小东裴颂文上海理工大学计算机科学与工程系上海200093 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着Web应用技术的快速发展及浏览器和平台数量的不断增长,跨浏览器的不兼容性问题显得越来越突出。尽管现有的浏览器不兼容性测试工具较多,但是大多数的测试工具是手工测试,耗时过长,容易出错,而且国内对于跨浏览器不兼容性的自动化测... 详细信息

随着Web应用技术的快速发展及浏览器和平台数量的不断增长,跨浏览器的不兼容性问题显得越来越突出。尽管现有的浏览器不兼容性测试工具较多,但是大多数的测试工具是手工测试,耗时过长,容易出错,而且国内对于跨浏览器不兼容性的自动化测试问题缺乏系统性研究。因此基于爬虫工具生成应用程序的导航模型,以及等价性检查技术和自动化测试系统(ATS)提出一种检测跨浏览器不兼容性问题的方法,并结合已有的测试工具进行比较。实验结果表明,该方法能够有效地自动识别和测试跨浏览器不兼容性问题。

关键词：跨浏览器不兼容性爬虫工具导航模型等价性检查自动化测试系统

来源：评论

学校读者我要写书评

暂无评论

k一种微服务器系统的研制与应用

引用

计算机测量与控制 2013年第10期21卷 2838-2840,2850页

作者：职燕蔡晔李政甫林建清桂林理工大学机械与控制工程学院广西桂林541004 计算机体系结构国家重点实验室中国科学院计算技术研究所北京100086 广东省汕尾芯灵电子科技有限公司广东汕尾518000

简述了微服务器的发展和应用背景,对一种微服务器研制的关键技术以及应用框架进行了阐述,在此基础上,实现了一个基于微服务器架构的应用服务器系统;实际测试表明,在性能相当情况下,研制的微服务器刀片的部署成本约是常规机架服务器的1/2... 详细信息

简述了微服务器的发展和应用背景,对一种微服务器研制的关键技术以及应用框架进行了阐述,在此基础上,实现了一个基于微服务器架构的应用服务器系统;实际测试表明,在性能相当情况下,研制的微服务器刀片的部署成本约是常规机架服务器的1/2,而功耗约为常规机架服务器的1/4,大幅度降低了应用服务器的部署和运营成本,针对具有高通量计算特性的主流互联网应用,在每瓦数据吞吐率、性价比、可扩展性上具有明显优势。

关键词：微服务器高通量应用服务器负载均衡高可用

来源：评论

学校读者我要写书评

暂无评论

基于事件出现率的故障预测方法

基于事件出现率的故障预测方法

引用

第十五届全国容错计算学术会议(CFTC'13)

作者：连世奇韩银和孙发强李晓维计算机体系结构国家重点实验室中国 100080 中国科学院计算技术研究所中国 100080 中国科学院大学中国 100080

大型计算计算系统基于规则的故障预测可较好解决故障提前发现的问题.目前基于规则的故障预测方法只考虑了事件出现与否和故障的关系,而没有考虑事件出现率,而事件出现率往往可以提供更多的故障信息.本文将提出一种基于事件出现率的预测... 详细信息

大型计算计算系统基于规则的故障预测可较好解决故障提前发现的问题.目前基于规则的故障预测方法只考虑了事件出现与否和故障的关系,而没有考虑事件出现率,而事件出现率往往可以提供更多的故障信息.本文将提出一种基于事件出现率的预测方法,能够有效地找出事件出现率与故障的关联性.通过对Blue Gene/P日志的实验分析,验证了该方法的有效性.

关键词：数据中心故障预测事件出现率关联规则

来源：评论

学校读者我要写书评

暂无评论

一种针对PCIE协议栈芯片的模拟验证平台的设计和实现

一种针对PCIE协议栈芯片的模拟验证平台的设计和实现

引用

第八届全国测试学术会议

作者：张良王天成王健李华伟郭建湘潭大学材料与光电物理学院湘潭411105 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院大学北京100049

Intel提出的第三代总线技术PCI Express对计算机应用系统发展所带来的总线带宽需求有了很大的满足,基于PCIE的设计因此蓬勃发展,对PCIE的验证也因此成为SoC功能验证的重要组成部分.本文设计并实现了一种状态图和覆盖率组合驱动的验证平... 详细信息

Intel提出的第三代总线技术PCI Express对计算机应用系统发展所带来的总线带宽需求有了很大的满足,基于PCIE的设计因此蓬勃发展,对PCIE的验证也因此成为SoC功能验证的重要组成部分.本文设计并实现了一种状态图和覆盖率组合驱动的验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证.实验结果表明,本文实现的验证平台具有良好的激励生成机制,能够对该协议栈芯片进行全面的验证,同时平台具有良好的复用性、可扩展性,可以对多个协议栈的互连进行验证.

关键词：协议栈芯片功能验证平台设计状态图覆盖率 PCIE接口

来源：评论

学校读者我要写书评

暂无评论

ATOM处理器上数据中心应用的适用性分析.

ATOM处理器上数据中心应用的适用性分析.

引用

2011年全国高性能计算学术年会(HPC china2011)

作者：孙发强韩银和谭光明李晓维计算机体系结构国家重点实验室（筹）中国科学院计算技术研究所中国科学院中国科学院研究生院

云计算的蓬勃发展，引起了数据中心规模的不断增大，从而对数据中心的能源消耗提出了严峻的挑战。针对这一问题，本文探索低功耗处理器在数据中心的适用性来缓解数据中心能源缺乏的现状。文中根据数据中心的两种典型应用——Web 搜索和... 详细信息

云计算的蓬勃发展，引起了数据中心规模的不断增大，从而对数据中心的能源消耗提出了严峻的挑战。针对这一问题，本文探索低功耗处理器在数据中心的适用性来缓解数据中心能源缺乏的现状。文中根据数据中心的两种典型应用——Web 搜索和社交网络的应用特点，使用Linpack 和Graph500来评估系统的性能。在此基础上，我们发现ATOM机群在数据中心计算密集型应用（比如PageRank计算）中应用潜力较低;在数据密集型应用中，并行程度高、通信量低的应用（比如数据收集）有较强的应用潜力。本文还指出多核低功耗处理器在数据密集型的数据中心应用中有研究价值。

关键词：数据中心处理器适用性分析云计算 Web搜索

来源：评论

学校读者我要写书评

暂无评论

专用处理器芯片自动设计技术与应用

引用

中国科技成果 2022年第5期23卷 76-76,F0003页

作者：无王颖李晓维李华伟鄢贵海中国科学院计算技术研究所中科驭数(北京)科技有限公司中科物栖(北京)科技有限责任公司中国科学院计算技术研究所计算机体系结构国家重点实验室

集成电路芯片的敏捷开发与自动设计技术被认为是后摩尔时代降低芯片开发成本与设计周期的关键技术路径,也是未来集成电路的电子设计自动化(EDA)技术的重要发展方向.为了应对人工智能物联网(AIoT)时代海量端设备对于专用处理器芯片的碎... 详细信息

集成电路芯片的敏捷开发与自动设计技术被认为是后摩尔时代降低芯片开发成本与设计周期的关键技术路径,也是未来集成电路的电子设计自动化(EDA)技术的重要发展方向.为了应对人工智能物联网(AIoT)时代海量端设备对于专用处理器芯片的碎片化设计需求,变革现有专用处理器芯片设计方法,研究专用处理器芯片自动设计技术,对于降低处理器芯片的设计门槛与成本,打破国外EDA技术壁垒具有重要意义.

关键词：专用处理器处理器芯片敏捷开发自动设计集成电路芯片技术路径芯片开发碎片化设计

来源：评论

学校读者我要写书评

暂无评论

一种面向可扩展集群环境的快速虚拟机迁移方法

一种面向可扩展集群环境的快速虚拟机迁移方法

引用

第七届全国计算机支持的协同工作学术会议暨第五届全国智能信息网络学术会议

作者：刘诗海孙宇清石维琪高云伟山东大学计算机科学与技术学院，济南 250101 中国科学院计算技术研究所计算机体系结构重点实验室北京 100190

在集群环境下,为了提高虚拟机Xen的迁移效率，本文提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法，在分布式文件系统GlusterFS中增加了Heartbeat监测模块，实时监测集群环境中物理机节点挂载和卸载的情况，并使用gSOAP实现... 详细信息

在集群环境下,为了提高虚拟机Xen的迁移效率，本文提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法，在分布式文件系统GlusterFS中增加了Heartbeat监测模块，实时监测集群环境中物理机节点挂载和卸载的情况，并使用gSOAP实现内部角色的通信管理，从而使GlusterFS文件系统能够自动管理节点，在保证迁移性能和系统可靠性的同时改进了系统的扩展能力。实验结果表明该方法能够在虚拟机迁移过程中自动选择分配资源，在充分利用集群资源和保证文件完整性的前提下，提高迁移效率。

关键词：集群环境虚拟机迁移方法

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：