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

计算机学报 2009年第8期32卷 1618-1630页

作者：黄河刘磊宋风龙马啸宇中国科学院计算技术研究所计算机系统结构重点实验室北京100190 中国科学院研究生院北京100049

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存... 详细信息

共享存储系统中如何高效地实现高速缓存一致性是体系结构设计面临的一个关键问题和难点问题.已有的基于目录的协议存在难于实现、验证复杂和存储空间开销大等问题.面向片上众核处理器,文中提出一种由硬件结构支持、基于同步的高速缓存一致性协议.该方案不使用目录,而是通过使用bloom-filter表示一致性信息,并在并行程序中的同步点维护高速缓存一致性.与现有的基于目录的高速缓存一致性协议相比,该方案可以降低目录协议的实现、验证复杂度.用SPLASH-2测试程序集评估表明,基于同步的协议可以获得与基于目录的协议相当的性能.

关键词：高速缓存一致性存储一致性模型多核处理器共享存储系统

来源：评论

学校读者我要写书评

暂无评论

嵌入式处理器中的寄存器堆延迟写回技术

引用

计算机辅助设计与图形学学报 2009年第8期21卷 1182-1188页

作者：凡启飞张戈徐翠萍中国科学技术大学计算机科学技术系合肥230027 中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190

为了降低嵌入式处理器中寄存器堆的功耗,提出一种基于限制取指的寄存器堆延迟写回技术.对于嵌入式处理器,传统的寄存器堆延迟写回技术带来的效果并不明显,文中根据处理器前端比后端快的特点,采用限制取指技术提高寄存器堆延迟写回的效果... 详细信息

为了降低嵌入式处理器中寄存器堆的功耗,提出一种基于限制取指的寄存器堆延迟写回技术.对于嵌入式处理器,传统的寄存器堆延迟写回技术带来的效果并不明显,文中根据处理器前端比后端快的特点,采用限制取指技术提高寄存器堆延迟写回的效果,不仅大幅度地消除了对寄存器堆不必要的写操作,同时也降低了处理器前端的功耗.FPGA平台上的实验结果表明:在不影响程序性能的情况下,应用该技术后,EEMBC程序对定点寄存器堆的写操作减少了35%,对ICache的访问减少了15%,且没有额外的开销.

关键词：嵌入式处理器寄存器堆限制取指延迟写回

来源：评论

学校读者我要写书评

暂无评论

给定余度下可重构计算系统的可靠性最优化研究

引用

计算机科学 2009年第4期36卷 293-295,298页

作者：周密尚利宏胡瑜北京航空航天大学601教研室北京100083 中国科学院计算机系统结构重点实验室北京100080

研究在给定余度及给定配置版本数量的约束下,以可靠性及平均失效时间为优化目标,多个配置版本在可重构器件中所占据资源的面积分配问题。上述问题使用论域划分模型来建模,并转化为非线性规划问题进行求解。给出了可靠性一阶近似最优化... 详细信息

研究在给定余度及给定配置版本数量的约束下,以可靠性及平均失效时间为优化目标,多个配置版本在可重构器件中所占据资源的面积分配问题。上述问题使用论域划分模型来建模,并转化为非线性规划问题进行求解。给出了可靠性一阶近似最优化的充分必要条件。提出了使用二阶近似规划求解上述问题的方法与流程。选择ITC99中的部分基准电路进行了仿真试验。理论计算和仿真试验均表明,大多数情况下采用现提出的二阶近似最优化方法的可重构系统在可靠性和平均失效时间等指标上优于以往的研究。

关键词：可重构计算容错论域划分故障恢复

来源：评论

学校读者我要写书评

暂无评论

粒子群算法求解Web服务组合中基于QoS的服务选择

引用

北京邮电大学学报 2009年第4期32卷 63-67页

作者：夏虹李增智西安交通大学计算机系统结构与网络研究所西安710049 北京邮电大学网络与交换技术国家重点实验室北京100876

针对现有web服务组合中服务选择技术的不足,提出了一种基于粒子群优化算法的多目标优化策略,用于解决web服务组合中基于服务质量(QoS)的服务选择全局最优化问题.将web服务选择全局最优化问题转化为一个带QoS约束的多目标服务组合优化问... 详细信息

针对现有web服务组合中服务选择技术的不足,提出了一种基于粒子群优化算法的多目标优化策略,用于解决web服务组合中基于服务质量(QoS)的服务选择全局最优化问题.将web服务选择全局最优化问题转化为一个带QoS约束的多目标服务组合优化问题,利用多目标粒子群算法的智能优化原理,通过同时优化多个QoS参数,最终产生一组满足约束条件的Pareto最优解.实验结果证明了该算法的可行性和有效性.

关键词： web服务服务组合服务质量粒子群算法

来源：评论

学校读者我要写书评

暂无评论

利用连续两阶段在线剖析优化多线程推测执行

引用

小型微型计算机系统 2009年第3期30卷 385-390页

作者：刘圆安虹汪芳王莉王耀彬中国科学技术大学计算机科学技术系安徽合肥230027 中国科学院计算机系统结构重点实验室北京100080

针对当前推测多线程优化中使用的离线剖析受到训练输入集限制的问题,提出一种根据在线剖析结果自动变换推测多线程程序的动态优化方法.该方法在程序运行时执行剖析和优化工作,不需要单独的剖析过程以及通用的训练输入集.该方法也适用于... 详细信息

针对当前推测多线程优化中使用的离线剖析受到训练输入集限制的问题,提出一种根据在线剖析结果自动变换推测多线程程序的动态优化方法.该方法在程序运行时执行剖析和优化工作,不需要单独的剖析过程以及通用的训练输入集.该方法也适用于那些运行时行为特征呈阶段性变化的程序.实验表明,在指导事务划分和选择并行循环方面,动态优化方法能够达到和静态优化方法相似的效果,完全可以在离线剖析失效时被使用.

关键词：推测多线程事务存储剖析技术动态优化

来源：评论

学校读者我要写书评

暂无评论

基于CLP模型的HDL设计可观测性分析

引用

计算机辅助设计与图形学学报 2009年第5期21卷 688-693,699页

作者：赵阳吕涛李华伟李晓维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以... 详细信息

为了提高模拟验证中的可观测性覆盖率,建立了一个逻辑约束编程(CLP)模型,定义了变量之间单步传播的条件.在此基础上,借助通用CLP系统自动地完成路径搜索、冲突发现、回溯和约束求解.实验结果表明,基于CLP的可观测性分析技术一方面可以生成更有效的测试向量,使得特定语句上的错误能够被传播到输出,加快模拟验证发现bug的过程;另一方面可以识别出不可观测的语句,避免盲目追求高覆盖率,节约模拟验证的资源.

关键词：功能验证模拟验证可观测性逻辑约束编程

来源：评论

学校读者我要写书评

暂无评论

无界模型检验中融合电路信息的SAT算法研究

引用

计算机学报 2009年第6期32卷 1110-1118页

作者：赵阳吕涛李华伟李晓维中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100039

针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结... 详细信息

针对从电路转化而来的SAT问题,通用SAT求解器存在一个缺陷——电路互连信息的缺失,这是造成很多无关推导的根源.文中提出了一个统一的基于CNF数据结构的电路SAT无界模型检验框架.首先作者提出了定值子句的概念,利用这一概念可以在CNF结构中保存电路的互连信息,在搜索过程中更早地识别可满足解,减少不必要的搜索.其次,文中提出了在CNF结构上的状态变量赋值精简方法,摆脱了以往基于SAT的无界模型检验中这一步骤对门级电路结构的依赖.实验数据表明,利用文中方法进行前像计算能够取得明显的加速.同时,文章比较了两种搜索顺序在多时帧搜索中的效果.实验结果表明利用文中方法可以验证传统模型检验方法难以验证的复杂电路属性.

关键词：设计验证无界模型检验 Boolean可满足性问题(SAT) 寄存器传输级(RTL)

来源：评论

学校读者我要写书评

暂无评论

SoC总线串扰的精简MT测试集

引用

计算机辅助设计与图形学学报 2009年第4期21卷 474-480页

作者：张颖李华伟李晓维胡瑜中国科学院计算机系统结构重点实验室北京100190 中国科学院计算技术研究所北京100190 中国科学院研究生院北京100049

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损... 详细信息

多跳变(MT)故障模型是一种有效的总线串扰故障模型,可以测试由电容和电感导致的串扰故障,但是MT的原始测试集存在严重的向量冗余.通过分析MT原始测试集向量冗余的3类情况,利用欧拉回路对测试向量进行组合优化,得到MT精简测试集,同时不损失MT故障覆盖率;还设计了MT故障模型的软件自测试程序来实施MT精简测试集,用于实速在线检测串扰故障,而不需要使用高速测试仪.实验结果表明,采用MT精简测试集可以有效地减少总线串扰测试的时间和向量存储开销.

关键词：多跳变故障模型向量冗余欧拉回路软件自测试

来源：评论

学校读者我要写书评

暂无评论

扫描链故障确定性诊断向量生成算法

引用

计算机辅助设计与图形学学报 2009年第1期21卷 6-12页

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

扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首... 详细信息

扫描技术是一种广泛采用的结构化可测试性设计方法,是提高测试质量的有效手段.但由于扫描链及其控制逻辑可能会占到整个芯片面积的30%,因此扫描链故障导致的失效可能会达到失效总数的50%.提出一种扫描链故障确定性诊断向量生成算法:首先建立了诊断扫描链故障的电路模型,利用该模型可以采用现有固定型故障测试生成工具产生扫描链诊断向量;然后提出一种故障响应分析方法,以有效地降低候选故障对的数量,从而在保障诊断质量的前提下减少诊断向量数目,缩短了诊断过程的时间.实验结果表明,在测试诊断精确度、故障分辨率和向量生成时间方面,该算法均优于已有的扫描链诊断向量生成方法.

关键词：大规模集成电路测试扫描链故障诊断向量生成

来源：评论

学校读者我要写书评

暂无评论

面向非多媒体程序的SIMD向量化算法的研究及改进

引用

小型微型计算机系统 2009年第10期30卷 1927-1935页

作者：李玉祥施慧陈莉中国科学技术大学计算机科学技术系安徽合肥230027 中国科学院计算机系统结构重点实验室北京100190

利用微处理器的多媒体扩展对非多媒体程序的向量化已成为提高程序性能的一个重要手段,然而目前几乎所有的商业编译器对非多媒体程序的向量化的结果,都无法说明其编译器有效的向量能力.本文通过分析典型的非多媒体程序--SPECCPU2000浮点... 详细信息

利用微处理器的多媒体扩展对非多媒体程序的向量化已成为提高程序性能的一个重要手段,然而目前几乎所有的商业编译器对非多媒体程序的向量化的结果,都无法说明其编译器有效的向量能力.本文通过分析典型的非多媒体程序--SPECCPU2000浮点程序,归纳出非多媒体程序的SIMD向量化特征,并依此提出局部数据重组的向量化方法、针对外层循环的向量化方法、部分语句SLP的向量化方法几种新的向量化方法和相关的向量化优化技术.通过对比Intel编译器对SPECCPU2000的向量化性能测试,可以发现本文提出的改进方法有效的提高了程序的向量化.

关键词：向量化数据重组 SIMD 外层循环的向量化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：