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

计算机研究与发展 2007年第7期44卷 1265-1271页

作者：周谦冯晓兵张兆庆中国科学院计算技术研究所计算机系统结构重点实验室北京100080

内联是编译器中的一种重要的优化手段.传统的编译器中内联模型只考虑函数的执行频率和大小,而没有考虑后面的优化.优化指导的内联模型是以考虑后面的优化为主而进行的内联,但它的缺点是没有考虑函数的执行频率和大小.为了克服以上两者... 详细信息

内联是编译器中的一种重要的优化手段.传统的编译器中内联模型只考虑函数的执行频率和大小,而没有考虑后面的优化.优化指导的内联模型是以考虑后面的优化为主而进行的内联,但它的缺点是没有考虑函数的执行频率和大小.为了克服以上两者的缺点,提出新的内联模型——循环合并敏感的优化内联模型,既考虑执行频率和函数大小,又考虑后面的优化.实现了考虑循环合并的内联,加入到ORC原有的内联模型中,自适应的建立新的内联模型,并对此模型进行性能调优.通过实验,发现热度这一内联标准在某些情况下不是很有效,并分析了原因,减少一些内联的函数,则会提高性能.实验的结果显示,新的内联模型可以有效地提高编译器的性能,某些SPECCPU2000实例的peak性能有高达6%的性能提升,平均提升1%.

关键词：内联循环优化编译器循环合并高性能计算

来源：评论

学校读者我要写书评

暂无评论

基于物理反标的处理器功耗建模与评估方法

引用

计算机辅助设计与图形学学报 2007年第11期19卷 1471-1475页

作者：黄琨张戈王君曾洪博中国科学院计算技术研究所计算机系统结构重点实验室

将基于综合的处理器作为主要研究对象,通过参数化RTL和物理反标的方法对处理器中的基本单元块提取出功耗值并组成功耗模型库;将处理器各模块映射为基本单元块的组合,利用性能模拟器统计出的模块翻转信息,从而对处理器的功耗做出快速准... 详细信息

将基于综合的处理器作为主要研究对象,通过参数化RTL和物理反标的方法对处理器中的基本单元块提取出功耗值并组成功耗模型库;将处理器各模块映射为基本单元块的组合,利用性能模拟器统计出的模块翻转信息,从而对处理器的功耗做出快速准确的评价.实验结果表明,该方法可以做到与门级网表的真实功耗值误差不到10%,且速度开销很小.

关键词：物理反标功耗建模功耗评估高性能处理器

来源：评论

学校读者我要写书评

暂无评论

一种快速的低压降电源/地网络设计方案

引用

计算机工程与应用 2007年第26期43卷 97-99页

作者：陈磊陈岚中国科学院计算技术研究所计算机系统结构重点实验室

在税控机SoC的物理设计中,对电源/地网络的设计流程做了较大地改进,提出了一种基于布线密度的设计方法:首先根据目标电压降确定各层金属电源/地线的布线密度,然后根据密度可有针对性的构架电源/地网络,大大提高了设计速度。另外,为降低... 详细信息

在税控机SoC的物理设计中,对电源/地网络的设计流程做了较大地改进,提出了一种基于布线密度的设计方法:首先根据目标电压降确定各层金属电源/地线的布线密度,然后根据密度可有针对性的构架电源/地网络,大大提高了设计速度。另外,为降低占用了大量布线资源的电源/地网络对信号布线的不利影响,还对电源/地网络的布线宽度、间距和构架方式进行优化,提出了线宽、间距的计算公式,有效降低了设计的布线拥塞。最终实现了极低的电压降。

关键词：电压降布线拥塞电源/地网络物理设计

来源：评论

学校读者我要写书评

暂无评论

多Markov链预取模型在网络内存系统中的应用

引用

计算机工程 2007年第23期33卷 105-107页

作者：袁清波孙国忠陈明宇中国科学院计算技术研究所计算机系统结构重点实验室北京100080

主机通过高速网络访问远程内存的性能已经达到或远高于访问本地磁盘的性能,通过各种优化手段,网络内存系统的性能能得到更好的提升。该文基于一个Linux网络内存系统(LNMS),在客户端一级提出了一种新的预取算法m-ppm,该算法发展了多Marko... 详细信息

主机通过高速网络访问远程内存的性能已经达到或远高于访问本地磁盘的性能,通过各种优化手段,网络内存系统的性能能得到更好的提升。该文基于一个Linux网络内存系统(LNMS),在客户端一级提出了一种新的预取算法m-ppm,该算法发展了多Markov链预取模型,使之更适合LNMS。在LNMS上实现了另2种常用的预取算法以作比较,实验数据表明,m-ppm算法对多用户模式更有效。

关键词：网络内存系统多Markov链预取模型性能优化

来源：评论

学校读者我要写书评

暂无评论

广域网环境下应用系统远程部署的研究及实现

引用

计算机工程 2007年第16期33卷 240-242,245页

作者：赵延波马捷康炜中国科学院计算技术研究所计算机系统结构重点实验室北京100080

在集群的众多接点上人工部署和维护应用系统是件繁重的工作。应用远程部署系统利用广域互联网络,通过机群管理中心的主监控台来自动完成对集群中的任一节点安装操作系统、安装升级或删除应用软件等任务。该系统可以快速地同时对多个节... 详细信息

在集群的众多接点上人工部署和维护应用系统是件繁重的工作。应用远程部署系统利用广域互联网络,通过机群管理中心的主监控台来自动完成对集群中的任一节点安装操作系统、安装升级或删除应用软件等任务。该系统可以快速地同时对多个节点安装Linux操作系统,支持安装的Linux操作系统有多个版本,具有良好可扩展性,能帮助用户显著地减少管理维护费用和提高整个系统的可用性。

关键词：集群广域网 Linux系统远程部署和安装

来源：评论

学校读者我要写书评

暂无评论

应用无线传感器网络快速定位矿井配电网故障的方法

引用

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

作者：王超楠丁恩杰周强徐勇军李晓维中国矿业大学信息与电气工程学院徐州221008 宁波中科集成电路设计中心宁波315040 中国科学院计算机系统结构重点实验室

矿井配电网处于供电网末端,是单端供电系统.针对以上特点,提出了一种应用无线传感器网络的实时在线故障定位方法.该方法利用无线节点的多跳传输行波信号,通过行波的方向和节点的位置迅速判断故障区间.根据该方案设计了由无线传感器节点... 详细信息

矿井配电网处于供电网末端,是单端供电系统.针对以上特点,提出了一种应用无线传感器网络的实时在线故障定位方法.该方法利用无线节点的多跳传输行波信号,通过行波的方向和节点的位置迅速判断故障区间.根据该方案设计了由无线传感器节点、无线网关和故障处理系统等组成的故障定位系统,并针对转角和接头给出了节点摆放的一致性原则;给出了利用定向天线和增设转角处节点等有利于无线电波在矿井下传输的措施和网状-线性混合拓扑结构.

关键词：故障定位无线传感器网络行波一致性原则网络拓扑

来源：评论

学校读者我要写书评

暂无评论

一种基于龙芯CPU的结构级功耗评估新方法

引用

计算机研究与发展 2007年第5期44卷 782-789页

作者：黄琨章隆兵胡伟武张戈中国科学院计算技术研究所计算机系统结构重点实验室中国科学院研究生院北京100049

如何有效地利用处理器消耗的能量而得到尽可能高的性能成为了目前体系结构研究的热点,在研究中,结构级的功耗评估工具无疑具有重要的作用.在现有的结构级功耗模拟器中,往往只考虑了动态电路以及全定制实现方法下的功耗刻画,而忽略了以... 详细信息

如何有效地利用处理器消耗的能量而得到尽可能高的性能成为了目前体系结构研究的热点,在研究中,结构级的功耗评估工具无疑具有重要的作用.在现有的结构级功耗模拟器中,往往只考虑了动态电路以及全定制实现方法下的功耗刻画,而忽略了以静态电路和标准单元设计为主的ASIC设计方法对处理器功耗带来的影响.由此,结合一款高性能、低功耗通用处理器——龙芯2号的具体实现,对其设计特点和功耗特性进行分析,实现了以龙芯2号处理器为基本研究对象的结构级功耗评估方法.该评估方法充分考虑了CMOS静态电路的结构级功耗刻画方法,因此更加适合目前以ASIC设计方法为主的高性能处理器结构的功耗评估.该结构级功耗评估方法与RTL级的功耗评估方法相比,具有速度快和灵活性好的优点.在2.4GHz的IntelXeon上,该功耗评估方法的速度约为300K/s,是RTL级的评估方法的5000倍,而且误差很小.

关键词：功耗评估方法龙芯2号微处理器功耗建模 ASIC设计

来源：评论

学校读者我要写书评

暂无评论

基于Bayes推断的基因芯片探针特异性估计模型

引用

计算机工程与应用 2007年第24期43卷 100-103页

作者：彭柳冯圣中中国科学院计算技术研究所国家智能计算机研究开发中心中国科学院计算机系统结构重点实验室

序列相似性计算是生物信息处理中的基本问题。针对基因芯片设计中的特异性评价问题,基于Bayes推断,建立了DNA序列快速估计算法,该算法不需要序列联配(alignment-free),性能好于广泛应用的相似性计算工具,可以大幅提高基因芯片设计性能。

关键词：探针设计序列相似性估计贝叶斯推断特异性

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于SAT的运算电路查错方法

引用

计算机学报 2007年第12期30卷 2082-2089页

作者：陈云霁张健沈海华胡伟武中国科学院计算技术研究所计算机系统结构重点实验室北京100080 中国科学院软件研究所计算机科学国家重点实验室北京100080

基于SAT的运算电路查错方法将被验证系统中系统规范成立与否的问题转换为布尔公式和数学公式的混合形式E-CNF,通过采用了标志子句技术的E-SAT求解器进行求解.实验表明该方法自动化程度高,能处理大规模的运算电路,有较强的查找错误能力.

关键词：形式验证模型检验 SAT E—CNF 标志子句

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：