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

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

作者：邱吉冰韩银和靳松李晓维中国科学院计算技术研究所北京 100080 计算机体系结构国家重点实验室北京 100080 中国科学院大学北京 100049 华北电力大学保定 102206

NBTI已成为纳米集成电路生命周期内可靠性的一个主要威胁,为防止集成电路由NBTI引起的电路失效,集成电路老化程度的在线预测得到广泛研究.然而不断增加的参数偏差、设计复杂度、及面积开销导致基于延迟变化的老化预测方法越来越难以实施... 详细信息

NBTI已成为纳米集成电路生命周期内可靠性的一个主要威胁,为防止集成电路由NBTI引起的电路失效,集成电路老化程度的在线预测得到广泛研究.然而不断增加的参数偏差、设计复杂度、及面积开销导致基于延迟变化的老化预测方法越来越难以实施.本文提出一种将关键路径漏电流变化量从全芯片漏电流测量结果中分离的方法,并将该方法应用于NBTI引起的电路老化预测.在施加一组测量向量的前提下,芯片级的漏电流变化首先构成一个方程组,通过解方程组可以得到关键路径上门电路的漏电流变化量;然后通过将门电路漏电流变化和延迟变化的对应关系,可得到任意关键路径的延迟变化;最后通过关键路径延迟变化来预测电路老化.使用片外传感器的漏电流变化测量方案对噪声不敏感,在增加测量时间的代价下可有效消除工艺偏差对预测精度的影响,实验结果表明该方法可用来预测NBTI引起的电路老化.

关键词：晶体管集成电路老化预测漏电流测量工艺偏差

来源：评论

学校读者我要写书评

暂无评论

一种提高时序安全属性静态检测实用性的方法

引用

计算机学报 2012年第2期35卷 244-256页

作者：霍玮李丰丁兆伟桑春雷张兆庆冯晓兵中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100049

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组... 详细信息

程序时序安全属性可以用有限状态自动机(FSM)来描述,对该属性的静态检测是当前研究的热点之一.该文提出了FSM切片技术,以需求驱动的模式抽取出关于时序安全属性等价的程序切片.该切片使检测规模减小、程序结构简化,因而减小了检测中组合爆炸情形出现的机会,最终使时序安全属性的静态检测在准确性和可伸缩性上都得到了提高.实验表明,FSM切片可以使Saturn的可伸缩性平均提高到原来的6.34倍,使Fastcheck的准确性平均提高到原来的1.20倍.

关键词：有限状态自动机时序安全属性切片技术程序静态检测 F-衡量

来源：评论

学校读者我要写书评

暂无评论

基于数据预取的多核处理器末级缓存优化方法

引用

计算机辅助设计与图形学学报 2012年第9期24卷 1241-1248页

作者：单书畅胡瑜李晓维中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100049

末级缓存的性能已成为影响多核处理器整体性能的关键因素.基于多核处理器在处理并行程序时各处理器核访存行为的相似性,提出一种降低访存缺失率的数据预取方法.首先记录各处理器核的访存缺失历史;然后通过分析历史信息预测各处理器核之... 详细信息

末级缓存的性能已成为影响多核处理器整体性能的关键因素.基于多核处理器在处理并行程序时各处理器核访存行为的相似性,提出一种降低访存缺失率的数据预取方法.首先记录各处理器核的访存缺失历史;然后通过分析历史信息预测各处理器核之间末级缓存缺失的关联关系,采用数据预取的方式,在处理器核出现读缺失之前为其末级缓存提供数据块.实验结果表明,对于4核和16核处理器系统,该方法可以分别降低末级缓存缺失率9.8%和18.4%,提高性能4.0%与12.4%.

关键词：多核处理器末级缓存并行程序数据预取

来源：评论

学校读者我要写书评

暂无评论

面向基于电压/频率岛设计的三维多核SoC硅后能耗优化方法

面向基于电压/频率岛设计的三维多核SoC硅后能耗优化方法

引用

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

作者：靳松韩银和王瑜华北电力大学电气与电子工程学院电子与通信工程系保定071003 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

随着晶体管集成规模的不断增加,越来越多的处理芯核能够被集成到一个硅片上.然而,参数偏差却会导致核间性能出现差异,降低系统能效.为了克服参数偏差的负面影响,基于电压/频率岛的设计方法被广泛应用于多核平台.电压/频率岛设计方法源... 详细信息

随着晶体管集成规模的不断增加,越来越多的处理芯核能够被集成到一个硅片上.然而,参数偏差却会导致核间性能出现差异,降低系统能效.为了克服参数偏差的负面影响,基于电压/频率岛的设计方法被广泛应用于多核平台.电压/频率岛设计方法源自于全局异步局部同步思想,在有效地提高芯片性能的同时也为系统能耗优化提供了广阔的操作空间.本文提出一种面向基于电压/频率岛设计的三维多核SoC的硅后能耗优化方法.能耗优化过程中充分考虑了电压/频率岛的设计约束、水平和垂直方向上通信能耗的差异以及三维芯片独特的热特性等因素.通过结合任务调度算法和动态电压/频率调节,在满足任务截止时间和系统热约束的前提下优化系统能耗.实验结果证明了本文提出方法的有效性.

关键词：集成电路参数偏差电压设计频率岛设计能耗优化

来源：评论

学校读者我要写书评

暂无评论

网络能耗系统模型及能效算法

引用

计算机学报 2012年第3期35卷 603-615页

作者：张法 Antonio Fernandez Anta 王林侯晨颖刘志勇中国科学院计算技术研究所北京100190 中国科学院研究生院北京100190 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 马德里高等研究院网络所西班牙马德里28918

网络能耗问题是当前网络研究和发展的重要问题,影响着网络的设计、应用和发展.当前网络能效算法的研究大多从网络局部角度关注于网络某一(些)设施的能耗问题,缺乏从网络全局的角度研究网络整体能耗的算法和策略.文中从网络全局角度研究... 详细信息

网络能耗问题是当前网络研究和发展的重要问题,影响着网络的设计、应用和发展.当前网络能效算法的研究大多从网络局部角度关注于网络某一(些)设施的能耗问题,缺乏从网络全局的角度研究网络整体能耗的算法和策略.文中从网络全局角度研究网络的能耗模型和算法问题.文中基于3种基本网络数据传递模式和3种基本网络能耗机制,构建了网络能耗系统优化模型,对其中5种关键系统模型给出了详细的描述.针对几个关键系统模型,文中给出了形式化描述并且提出了相应的优化的节能路由算法.文中给出的网络系统能耗优化模型有助于对于网络能耗的理解和分析,所提出的能耗优化的网络数据包路由算法可以从网络路由的角度有效降低网络能耗.

关键词：能耗系统模型能效算法最优化网络延迟绿色计算

来源：评论

学校读者我要写书评

暂无评论

SW-VML:基于神威蓝光处理器的向量数学软件包

SW-VML:基于神威蓝光处理器的向量数学软件包

引用

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

作者：解庆春张云泉鲁永泉李焱杨飞王靖中国传媒大学高性能计算中心北京100024 中国科学院软件研究所并行软件与计算科学实验室北京100190 中国传媒大学高性能计算中心北京100024 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国传媒大学高性能计算中心北京100024 中国科学院软件研究所并行软件与计算科学实验室北京100190

首先,本文介绍了SIMD扩展技术,并分析了使用SIMD扩展的三种方式,认为通过调用特定目标平台优化的第三方库是应用领域软件开发者快速开发高效并行程序的较好的方式:其次,介绍了国产神威处理器SW-1600平台,并利用SIMD扩展和循环展开等技... 详细信息

首先,本文介绍了SIMD扩展技术,并分析了使用SIMD扩展的三种方式,认为通过调用特定目标平台优化的第三方库是应用领域软件开发者快速开发高效并行程序的较好的方式:其次,介绍了国产神威处理器SW-1600平台,并利用SIMD扩展和循环展开等技术开发了SW-VML(SW Vector Math Library),开发过程中提出了访存对界、简化向量条件分支的优化方法,解决了非对界访存、向量与标量数组转换影响性能的问题,并根据SW编译器对0penMP的支持,开发了多线程0penMp版.最后,在SW-1600平台上采用不同向量规模对SW-VML进行了测试,测试结果显示SIMD向量化相对于串行程序加速比为2.08,4线程相对单线程平均加速比为2,***-VML是国产神威系列处理器上开发的常用向量函数软件包,SW-VML可以用作在神威蓝光高性能计算平台开发高性能程序的基础软件工具包.

关键词：向量数学软件包神威蓝光处理器单指令多数据流性能测试

来源：评论

学校读者我要写书评

暂无评论

基于表单和数据驱动的自动化场景测试框架研究

基于表单和数据驱动的自动化场景测试框架研究

引用

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

作者：刘振宇裴颂文姜旭上海计算机软件技术开发中心上海市计算机软件评测重点实验室上海201112 上海理工大学计算机科学与工程系上海现代光学系统重点实验室上海200093 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

现有自动化测试工具中,针对基于浏览器的完整场景的业务流程测试,需要开发一个独立复杂的脚本或多个脚本支持来完成测试,其脚本中包含表单和数据.为了适应领域行业中对于业务流程的场景测试需求,提出了一种将脚本中表单和数据分别编制... 详细信息

现有自动化测试工具中,针对基于浏览器的完整场景的业务流程测试,需要开发一个独立复杂的脚本或多个脚本支持来完成测试,其脚本中包含表单和数据.为了适应领域行业中对于业务流程的场景测试需求,提出了一种将脚本中表单和数据分别编制的自动化测试框架,其将表单和数据通过相互独立的方式定义,根据场景测试来驱动表单及其对应的数据来进行测试.介绍了该测试框架进行测试设计与脚本开发的具体步骤,给出了采用当前主流的功能自动化测试工具实现该框架的主要方法,并给出了应用案例.

关键词：软件工程自动化场景测试框架表单数据驱动

来源：评论

学校读者我要写书评

暂无评论

处理器验证激励在线筛选技术

引用

计算机辅助设计与图形学学报 2012年第5期24卷 690-698页

作者：郭崎中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100039 北京龙芯中科技术服务中心有限公司北京100190

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的... 详细信息

如何生成高质量的验证激励是功能验证中的核心问题之一.随着功能验证的不断进行,验证激励的有效性也随之降低.为了提高验证激励的质量,提出一种在线筛选技术来处理验证激励.该技术采用单分类支持向量机来在线地构建分类器,以对新生成的验证激励是否冗余进行预测,如果是冗余的,则不进入仿真阶段进行仿真.在此基础上,进一步提出指令序列核函数来衡量不同指令序列的相似程度.实验结果表明,与约束随机生成技术相比,文中技术可以减少约83%的验证激励及79%的验证时间.

关键词：功能验证激励生成在线学习功能覆盖率核函数

来源：评论

学校读者我要写书评

暂无评论

基于模型树的多核设计空间探索技术

引用

计算机辅助设计与图形学学报 2012年第6期24卷 710-720页

作者：郭崎陈天石陈云霁中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190 中国科学院研究生院北京100049 北京龙芯中科技术服务中心有限公司北京100190

处理器设计面临的重要挑战是如何在庞大的设计空间中高效地找到满足约束的设计结构,而预测模型方法是探索复杂设计空间的重要方法.为了提高预测模型的实用性,提出一种基于模型树的多核设计空间探索技术.首先对整个设计空间中部分设计结... 详细信息

处理器设计面临的重要挑战是如何在庞大的设计空间中高效地找到满足约束的设计结构,而预测模型方法是探索复杂设计空间的重要方法.为了提高预测模型的实用性,提出一种基于模型树的多核设计空间探索技术.首先对整个设计空间中部分设计结构进行采样模拟,然后通过模型树算法构建设计参数与处理器响应之间的预测模型,最后通过该模型预测出其他设计结构的响应以找到满足约束的最优设计.实验结果表明,与现有的基于支持向量机和人工神经网络的预测模型技术相比,针对性能预测,采用文中技术能够提高74.87%和38.87%的准确度;针对能耗预测,能够提高2.66%和16.82%的准确度.

关键词：设计空间探索多核处理器预测模型模型树

来源：评论

学校读者我要写书评

暂无评论

边缘海静力数值预报模式并行和优化

边缘海静力数值预报模式并行和优化

引用

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

作者：逢仁波徐建良张云泉谭光明贾海鹏中国海洋大学信息科学与工程学院青岛266100 国家海洋环境预报中心网络与计算机部北京100081 中国海洋大学信息科学与工程学院青岛266100 中国科学院计算技术研究所计算机体系结构国家重点实验室北京100190

边缘海静力数值模式是国内第一个针对边缘海特点自主开发的数值预报模式.本文实现根据计算资源情况对计算区域进行动态分解,改进逐步求解的SOR迭代算法,引入了红黑排序的SOR并行迭代算法,解决SOR逐步迭代算法无法并行化的问题,提高边缘... 详细信息

边缘海静力数值模式是国内第一个针对边缘海特点自主开发的数值预报模式.本文实现根据计算资源情况对计算区域进行动态分解,改进逐步求解的SOR迭代算法,引入了红黑排序的SOR并行迭代算法,解决SOR逐步迭代算法无法并行化的问题,提高边缘海数值模式程序的并行度,并保留数据间的依赖关系.通过实验表明,并行化后的边缘海静力数值模式相对原程序加速比提高60.71倍,3天(25920时间步)预报结果均方根误差低于O.O01,满足海洋数值预报的时效性和精度要求.

关键词：边缘海静力数值预报迭代算法精度控制时效性能

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：