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

计算机研究与发展 2012年第1期49卷 93-102页

作者：贾耀仓武成岗张兆庆中国科学院计算技术研究所系统结构重点实验室先进编译组北京100190 中国科学院研究生院北京100049

对于共享cache的多核处理器,如何管理好各个核对cache的利用,对于充分发挥多核处理器性能是很关键的问题.目前采用的cache替换方法程序间会出现性能干扰,cache静态划分技术则是通过为同时运行的程序分配不同的空间来解决性能干扰问题.... 详细信息

对于共享cache的多核处理器,如何管理好各个核对cache的利用,对于充分发挥多核处理器性能是很关键的问题.目前采用的cache替换方法程序间会出现性能干扰,cache静态划分技术则是通过为同时运行的程序分配不同的空间来解决性能干扰问题.为了给程序分配合适大小的cache空间,需要对程序进行性能profiling,即事先多遍运行收集程序在各种cache容量下的性能数据,这种性能profiling方法开销巨大,影响实用.为了解决性能profiling需要多遍运行程序的问题,提出了只需单遍运行的程序性能profiling优化技术.该技术利用在线的phase分析技术识别程序的运行阶段,避免对相同阶段的重复profiling;同时分析程序各phase的性能同cache容量变化的关系趋势,对于性能不敏感的容量变化则不进行profiling,降低开销.在程序运行结束后通过程序各phase在cache各种容量下的性能来估计程序在各容量下的整体性能,以指导cache静态划分.实验表明,该技术的开销仅为7%,而该方法指导的cache划分比未划分时有8%的性能改进,同多遍运行的程序性能profiling指导的cache划分性能相比仅有1%的下降.

关键词：多核 cache划分页着色性能profiling phase分析

来源：评论

学校读者我要写书评

暂无评论

结合ATPG和SAT的无界模型检验前像计算方法

引用

计算机辅助设计与图形学学报 2007年第3期19卷 376-380页

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

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后... 详细信息

提出一种无界模型检验的前像计算方法,该方法有效地结合ATPG和SAT引擎,充分利用引擎各自的优点.SAT用来判断是否已经穷尽所有解;每次SAT枚举出一个前像解后,采用一个专门的ATPG过程减少状态变量上的赋值,从而减少前像解的总个数,加快后面的不动点迭代处理.最后通过在ISCAS89和ITC99电路上的实验证明了文中方法的有效性.

关键词：形式验证无界模型检验前像计算自动化测试激励生成布尔可满足性问题

来源：评论

学校读者我要写书评

暂无评论

数字电路测试压缩方法研究(英文)

引用

中国科学院研究生院学报 2007年第6期24卷 847-857页

作者：韩银和李晓维中国科学院计算技术研究所系统结构重点实验室先进测试技术实验北京100080 中国科学院研究生院北京100049

测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响... 详细信息

测试压缩可以在没有故障覆盖率损失的情况下,极大地降低测试时间和测试数据量,弥补了测试设备和芯片制造能力提升之间的差距,受到学术界和工业界的广泛关注.测试数据分为测试激励和测试响应2种,测试压缩也对应分为测试激励压缩和测试响应压缩2个方面.本文针对这2方面分别展开了研究.主要贡献包含:(1)提出了一种Variable-Tail编码.Variable-Tail是一种变长-变长的编码,对于X位密度比较高的测试向量能够取得更高的测试压缩率.实验数据表明,如结合测试向量排序算法,则使用Variable-Tail编码可以取得很接近于编码压缩理论上界的压缩效果(平均差距在1.26 %左右) ,同时还可以减少20 %的测试功耗.(2)提出了一种并行芯核外壳设计方法.研究发现了测试向量中存在着扫描切片重叠和部分重叠现象.当多个扫描切片重叠时,它们仅需要装载一次,这样就可以大大减少测试时间和测试数据量.实验结果表明,使用并行外壳设计,测试时间可以减少到原来的2/3 ,测试功耗可以减少到原来的1/15 .(3)提出了3X测试压缩结构.3X测试压缩结构包含了3个主要技术:X-Config激励压缩、X-Balance测试产生和X-Tolerant响应压缩.X-Config激励压缩提出了一个周期可重构的MUX网络.X-Balance测试产生综合考虑了动态压缩、测试数据压缩和扫描设计等因素,产生测试向量.它使用了回溯消除算法和基于确定位概率密度的扫描链设计算法,减少测试向量体积.X-Tolerant响应压缩提出了一种单输出的基于卷积编码的压缩电路.该压缩电路只需要一个数据,因此总能保证最大的压缩率.同时为了提高对X位的容忍能力,还提出了一个多权重的基本校验矩阵生成算法.

关键词：系统芯片测试激励压缩测试响应压缩扫描设计自动测试向量生成(ATPG) 不关心位未知位卷积编码

来源：评论

学校读者我要写书评

暂无评论

一种用于片上容错通信的随机路由算法

一种用于片上容错通信的随机路由算法

引用

第四届中国测试学术会议

作者：张磊李华伟李晓维中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室

芯片制造工艺进入深亚微米和纳米级以后,片上将会出现更多新的难以预测和消除的故障类型。应用容错机制和算法实现可靠的片上通信是片上网络(Network on Chip, 简称NoC)要解决的一个重要问题。本文概述了主要的片上容错通信算法,提出了... 详细信息

芯片制造工艺进入深亚微米和纳米级以后,片上将会出现更多新的难以预测和消除的故障类型。应用容错机制和算法实现可靠的片上通信是片上网络(Network on Chip, 简称NoC)要解决的一个重要问题。本文概述了主要的片上容错通信算法,提出了一种带有端到端反馈的随机路由算法,并比较了这些算法的平均传输延迟,功耗和可靠性。实验表明,这种算法具有较短的延迟,较低的功耗,并能提供高可靠的片上通信。

关键词：容错可靠性片上网络扩散算法随机走动检错纠错随机路由

来源：评论

学校读者我要写书评

暂无评论

用于无线视频网络的高吞吐率传感器MAC协议

用于无线视频网络的高吞吐率传感器MAC协议

引用

第四届中国测试学术会议

作者：周全夏鹏杨宇徐勇军李晓维中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室先进测试技术实验室

MAC层协议对于无线传感器网络(WSN)的性能有很大影响。针对不同的资源限制和性能要求,人们设计了不同种类的MAC层协议。对于视频应用,无线视频网络(WVN) 必须提供有限带宽限制下的最大吞吐量,用来传输大量的视频数据。本论文提出一个创... 详细信息

MAC层协议对于无线传感器网络(WSN)的性能有很大影响。针对不同的资源限制和性能要求,人们设计了不同种类的MAC层协议。对于视频应用,无线视频网络(WVN) 必须提供有限带宽限制下的最大吞吐量,用来传输大量的视频数据。本论文提出一个创新的MAC协议,同时具有S-MAC协议的低功耗和Ripple协议的高吞吐量特性。本协议高吞吐量传感器网络MAC(High Throughput S-MAC,HTSMAC)具有为无线视频网络提供优化的电源效率和高吞吐量的网络性能。

关键词：无线视频网络高吞吐率传感器MAC协议

来源：评论

学校读者我要写书评

暂无评论

一种基于节点安全的传感器网络密钥分配策略

一种基于节点安全的传感器网络密钥分配策略

引用

第四届中国测试学术会议

作者：谢磊何子键徐勇军李晓维祝跃飞解放军信息工程大学信息工程学院中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室解放军信息工程大学信息工程学院

综合了传感器、嵌入式计算、网络及无线通信、分布式信息处理等技术的无线传感器网络技术正在成为推动普适计算研究的重要实践领域。无线传感器网络是由大量传感器节点组成的分布式网络,确保传感器节点的安全可信对无线传感器网络的安... 详细信息

综合了传感器、嵌入式计算、网络及无线通信、分布式信息处理等技术的无线传感器网络技术正在成为推动普适计算研究的重要实践领域。无线传感器网络是由大量传感器节点组成的分布式网络,确保传感器节点的安全可信对无线传感器网络的安全攸关应用至关重要。本文首先提出无线传感器网络的主要安全目标包括消息安全和节点安全,节点安全高于消息安全;接着指出基于安全协处理器设计的传感器节点具有一定的抗篡改能力;并在此基础上提出一个简洁有效的局部簇密钥预分配策略,确保建立传感器节点信任机制, 实现传感器节点安全。

关键词：普适计算传感器网络可信计算密钥管理分簇网络结构随机密钥预分配

来源：评论

学校读者我要写书评

暂无评论

一种改进的无线传感器网络节点自定位算法

一种改进的无线传感器网络节点自定位算法

引用

第四届中国测试学术会议

作者：李春蓉陈红阳邓平徐勇军西南交通大学移动通信研究所西南交通大学移动通信研究所西南交通大学移动通信研究所中国科学院计算技术研究所计算机系统结构重点实验室、先进测试技术实验室

本文针对无线传感器网络节点定位问题进行了研究,提出了一种改进的节点自定位算法,讨论了算法的基本原理和实现方法。该算法在不需要增加节点硬件开销的基础上提高了定位精度和覆盖率,仿真结果表明本文提出的算法与原算法相比性能有显... 详细信息

本文针对无线传感器网络节点定位问题进行了研究,提出了一种改进的节点自定位算法,讨论了算法的基本原理和实现方法。该算法在不需要增加节点硬件开销的基础上提高了定位精度和覆盖率,仿真结果表明本文提出的算法与原算法相比性能有显著提高。

关键词：无线传感器网络定位算法 DVhop

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：