检索结果-维普期刊中文期刊服务平台

基于确定性的处理器硅后调试系统: 1; 作者苏孟豪高翔陈云霁《高技术通讯》 CAS CSCD 北大核心 2011年第2期196-202,共7页; 针对处理器硅后调试芯片可观测性差的问题，提出了一个可将硅片错误在仿真器中重现的处理器硅后仿真调试系统。为使实际系统的行为确定化，提出了简单有效的确定性同步器（DSync）。通过将不同时钟域的时间确定地关联在一起，该同步器... 展开更多; 关键词处理器硅后调试确定性跨时钟域传输快照; 在线阅读下载PDF 职称材料

高速低功耗传输电路的时钟系统设计被引量：1: 2; 作者黄志正杨祎高茁《微电子学与计算机》 CSCD 北大核心 2008年第1期108-111,共4页; 利用锁相环(PLL)为高速低功耗并行传输电路发射机生成时钟信号的系统。设计了一个稳压器(Voltage Regulator),为PLL中对噪声敏感的模块提供低噪声的电压源。在此基础上提出了一种新型的动态改变工作频率的方法,应用于源同步(source-sync... 展开更多; 关键词时钟锁相环高速传输功耗; 在线阅读下载PDF 职称材料

基于最小包含圆的无线传感器网络定位算法被引量：13: 3; 作者周全朱红松 +1 位作者徐勇军李晓维《通信学报》 EI CSCD 北大核心 2008年第11期84-90,共7页; 提出一种新的无需测距定位算法——基于最小包含圆的定位(SECL)。该算法根据目标周围的锚节点所决定的最小包含圆来估计目标位置。基于最小包含圆的算法考虑的不是坐标系中所有锚节点位置的平均值,而是覆盖所有锚节点区域的几何中心,能... 展开更多; 关键词无线传感器网络最小包含圆定位无需测距; 在线阅读下载PDF 职称材料

面向可扩展集群环境的快速虚拟机迁移方法被引量：8: 4; 作者刘诗海孙宇清 +1 位作者石维琪高云伟《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第3期468-472,共5页; 在集群环境下,为了提高虚拟机Xen的迁移效率,提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法.通过在分布式文件系统GlusterFS中增加Heartbeat监测模块,实时监测集群环境中物理机节点的加入与退出,动态创建或修改GlusterFS文... 展开更多; 关键词集群环境虚拟机迁移; 在线阅读下载PDF 职称材料

使用支持向量机的微处理器验证向量优化方法被引量：1: 5; 作者王朋宇郭崎 +2 位作者沈海华陈云霁张珩《高技术通讯》 EI CAS CSCD 北大核心 2010年第1期68-74,共7页; 为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。... 展开更多; 关键词支持向量机(SVM) 功能覆盖率模型微处理器验证仿真验证验证向量优化; 在线阅读下载PDF 职称材料

一种快速的滑动标记缩并垃圾收集算法被引量：1: 6; 作者邹琼章隆兵《电子学报》 EI CAS CSCD 北大核心 2008年第10期1955-1960,共6页; Java语言完全面向对象,因此对象局部性是衡量Java虚拟机性能的重要指标.在Java虚拟机中,由垃圾收集算法负责检测并且回收不再使用的对象,它直接影响着Java程序的性能.保持对象分配序能够提供最佳的局部性.滑动标记缩并算法正是基于这一... 展开更多; 关键词垃圾收集标记缩并位图活块池块内偏移表; 在线阅读下载PDF 职称材料

基于静态调度的多线程程序分析方法被引量：4: 7; 作者周卿李炼冯晓兵《高技术通讯》 EI CAS 北大核心 2018年第7期575-582,共8页; 静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下... 展开更多; 关键词静态多线程程序分析多线程控制流图调度同步关系可能并行分析; 在线阅读下载PDF 职称材料

10GB/s高速SERDES电路的MUX/DEMUX设计被引量：1: 8; 作者马鸿开陈岚刘力轲《微电子学与计算机》 CSCD 北大核心 2007年第12期174-176,共3页; 介绍了一种适用于高速串并转换电路(SERDES)的MUX/DEMUX,采用0.18μmCMOS工艺,数据传输速率达到10GB/s。该电路主要由锁存器、选择器和时钟分频器3个模块组成,采用1.8V电压供电,MUX和DEMUX功耗分别为132mW和64mW。; 关键词 SERDES MUX DEMUX 时钟分频器; 在线阅读下载PDF 职称材料

题名基于确定性的处理器硅后调试系统: 1; 作者苏孟豪高翔陈云霁; 机构中国科学院计算技术研究所计算机系统结构重点实验室北京龙芯中科技术服务中心有限公司中国科学院研究生院; 出处《高技术通讯》 CAS CSCD 北大核心 2011年第2期196-202,共7页; 基金 863计划（2008AA110901）,国家自然科学基金（60736012,60921002,61070025）和国家“核高基”科技重大专项（2009ZX01028-002-003,2009ZX01029-001-003）资助项目.; 文摘针对处理器硅后调试芯片可观测性差的问题，提出了一个可将硅片错误在仿真器中重现的处理器硅后仿真调试系统。为使实际系统的行为确定化，提出了简单有效的确定性同步器（DSync）。通过将不同时钟域的时间确定地关联在一起，该同步器可消除由于跨时钟域信号传输而导致的不确定性。根据处理器验证的实际需要，提出基本系统的概念。通过控制验证软件在基本系统范围内运行，无需记录系统输入就可实现仿真调试。实验结果表明，所提出的DSync和处理器仿真调试系统功能正确，实现简便，硬件开销小。; 关键词处理器硅后调试确定性跨时钟域传输快照; Keywords processor, post-silicon debugging, determinism, clock domain crossing, snapshot; 分类号 TP368.1 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名高速低功耗传输电路的时钟系统设计被引量：1: 2; 作者黄志正杨祎高茁; 机构中国科学院计算技术研究所计算机系统结构重点实验室; 出处《微电子学与计算机》 CSCD 北大核心 2008年第1期108-111,共4页; 基金国家自然科学基金项目(60673146) 国家“八六三”计划项目(2005AA110010,2005AA119020) 国家“九七三”计划发展项目(2005CB321600); 文摘利用锁相环(PLL)为高速低功耗并行传输电路发射机生成时钟信号的系统。设计了一个稳压器(Voltage Regulator),为PLL中对噪声敏感的模块提供低噪声的电压源。在此基础上提出了一种新型的动态改变工作频率的方法,应用于源同步(source-synchronous)模式的高速传输电路。此方法可以在不改变PLL状态的情况下快速改变输入输出(I/O)电路的工作频率,降低功耗。整个芯片采用0.18μm CMOS工艺设计并流片测试成功。; 关键词时钟锁相环高速传输功耗; Keywords dock PLL high speed link power; 分类号 TN432 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

题名基于最小包含圆的无线传感器网络定位算法被引量：13: 3; 作者周全朱红松徐勇军李晓维; 机构中国科学院计算技术研究所计算机系统结构重点实验室中国科学院研究生院中国科学院计算技术研究所传感器网络实验室; 出处《通信学报》 EI CSCD 北大核心 2008年第11期84-90,共7页; 基金国家高技术研究发展计划("863"计划)基金资助项目(2006AA01Z223 2006AA01Z225) 国家自然科学基金重点资助项目(60633060)~~; 文摘提出一种新的无需测距定位算法——基于最小包含圆的定位(SECL)。该算法根据目标周围的锚节点所决定的最小包含圆来估计目标位置。基于最小包含圆的算法考虑的不是坐标系中所有锚节点位置的平均值,而是覆盖所有锚节点区域的几何中心,能够有效地控制锚节点分布不均匀给定位带来的负面影响。仿真结果显示,相对于质心算法平均定位精度能提高10%以上。SECL在锚节点拓扑不均匀情况下,精度提升更高。; 关键词无线传感器网络最小包含圆定位无需测距; Keywords wireless sensor networks smallest enclosing circle localization range-free; 分类号 TP393 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向可扩展集群环境的快速虚拟机迁移方法被引量：8: 4; 作者刘诗海孙宇清石维琪高云伟; 机构山东大学计算机科学与技术学院中国科学院计算技术研究所计算机系统结构重点实验室; 出处《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第3期468-472,共5页; 基金国家自然科学基金资助项目(61070017) 山东省自然科学基金资助项目(Y2008G28) 中国科学院计算机系统结构重点实验室开放课题资助项目; 文摘在集群环境下,为了提高虚拟机Xen的迁移效率,提出了一种面向可扩展集群环境的快速可靠的虚拟机迁移方法.通过在分布式文件系统GlusterFS中增加Heartbeat监测模块,实时监测集群环境中物理机节点的加入与退出,动态创建或修改GlusterFS文件系统的配置文件.为了使GlusterFS文件系统能够自动管理节点,设计实现了基于gSOAP的内部角色通信,比传统方法增加了动态挂(卸)载集群环境中物理机节点的功能,达到了实时更新文件存储的拓扑结构的目的,在保证迁移性能和文件可靠性的同时提高了系统的扩展能力.实验结果表明,该方法能够在虚拟机迁移过程中自动分配资源,在充分利用集群资源和保证文件完整性的前提下,提高了迁移效率.; 关键词集群环境虚拟机迁移; Keywords cluster environment virtual machine migration; 分类号 TP319 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名使用支持向量机的微处理器验证向量优化方法被引量：1: 5; 作者王朋宇郭崎沈海华陈云霁张珩; 机构中国科学院计算技术研究所计算机系统结构重点实验室中国科学院研究生院; 出处《高技术通讯》 EI CAS CSCD 北大核心 2010年第1期68-74,共7页; 基金国家自然科学基金(60603049,60673146) 863计划(2007AA01Z112,2008AA110901) +1 种基金 973计划(2005CB321600) 北京市自然科学基金(4072024)资助项目; 文摘为了解决微处理器仿真验证中随机验证向量质量不高的问题,提出了一种基于支持向量机(SVM)的验证向量优化方法。该方法将已仿真运行的验证向量及其覆盖率信息作为支持向量机的样本进行有监督学习,得到验证向量关于功能覆盖点的分类器。利用训练后的分类器对于新产生的验证向量进行预测,并丢弃预测中不能提高覆盖率的冗余验证向量。实验数据表明该方法能准确地过滤冗余验证向量,提高仿真运行的验证向量的质量。和完全随机的验证向量生成方法相比,该方法达到相同的功能覆盖率仅需要前者1/3的验证向量。; 关键词支持向量机(SVM) 功能覆盖率模型微处理器验证仿真验证验证向量优化; Keywords support vector machine （SVM）, functional coverage model, microprocessor verification, simulation verification, simulation vector optimization; 分类号 TP332 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名一种快速的滑动标记缩并垃圾收集算法被引量：1: 6; 作者邹琼章隆兵; 机构中国科学技术大学计算机科学与技术系中国科学院计算技术研究所计算机系统结构重点实验室; 出处《电子学报》 EI CAS CSCD 北大核心 2008年第10期1955-1960,共6页; 基金国家自然科学基金杰出青年基金(No.60325205) 国家973重点基础研究发展规划(No.2005CB321600) +3 种基金国家自然科学基金(No.60673146 60736012) 北京市自然科学基金(No.4072024); 文摘 Java语言完全面向对象,因此对象局部性是衡量Java虚拟机性能的重要指标.在Java虚拟机中,由垃圾收集算法负责检测并且回收不再使用的对象,它直接影响着Java程序的性能.保持对象分配序能够提供最佳的局部性.滑动标记缩并算法正是基于这一原则,但是传统上的设计使得算法的效率很低.本文提出一种快速的滑动标记缩并算法,它通过位图、活块池和块内偏移表来简化算法,大大的降低了开销.实验结果表明,快速的滑动标记缩并算法使得标准工业测试程序SPECJVM98的性能在Pentium4上有不同程度的提高,最高达到8.9%;同时程序的局部性也优于线性标记缩并算法,与深度遍历序相比,DTLB(Data Translation Lookaside Buffer)与2级Cache失效率改善最多分别为11%和13.6%.; 关键词垃圾收集标记缩并位图活块池块内偏移表; Keywords garbage collection mark compact mark bit table live block pool offset table; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于静态调度的多线程程序分析方法被引量：4: 7; 作者周卿李炼冯晓兵; 机构中国科学院计算技术研究所计算机系统结构国家重点实验室中国科学院大学; 出处《高技术通讯》 EI CAS 北大核心 2018年第7期575-582,共8页; 基金国家自然科学基金(61432018)资助; 文摘静态多线程程序分析是一种在编译时刻分析多线程程序的执行行为和特征的有效方法。本文通过分析多线程程序实际执行的特点,提出了一种基于静态调度的多线程分析方法。该方法通过模拟多线程程序的动态执行方式,从而在不运行程序的情况下也能较准确地获得多线程的行为特征。实验表明,该分析方法可以有效地提高多线程程序中同步关系的识别和匹配精度,为分析和检测多线程性能瓶颈以及程序错误等信息奠定了基础。; 关键词静态多线程程序分析多线程控制流图调度同步关系可能并行分析; Keywords static multi-threaded program analysis multi-threaded control flow graph （CFG） schedule synchronization relation may-happen-in-parallel analysis; 分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名10GB/s高速SERDES电路的MUX/DEMUX设计被引量：1: 8; 作者马鸿开陈岚刘力轲; 机构中国科学院计算技术研究所国家智能计算机研究开发中心中国科学院计算技术研究所计算机系统结构重点实验室中国科学院研究生院; 出处《微电子学与计算机》 CSCD 北大核心 2007年第12期174-176,共3页; 文摘介绍了一种适用于高速串并转换电路(SERDES)的MUX/DEMUX,采用0.18μmCMOS工艺,数据传输速率达到10GB/s。该电路主要由锁存器、选择器和时钟分频器3个模块组成,采用1.8V电压供电,MUX和DEMUX功耗分别为132mW和64mW。; 关键词 SERDES MUX DEMUX 时钟分频器; Keywords SERDES MUX DEMUX clock divider; 分类号 TN4 [电子电信—微电子学与固体电子学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于确定性的处理器硅后调试系统	苏孟豪高翔陈云霁	《高技术通讯》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
2	高速低功耗传输电路的时钟系统设计	黄志正杨祎高茁	《微电子学与计算机》 CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
3	基于最小包含圆的无线传感器网络定位算法	周全朱红松徐勇军李晓维	《通信学报》 EI CSCD 北大核心	2008	13	在线阅读下载PDF 职称材料
4	面向可扩展集群环境的快速虚拟机迁移方法	刘诗海孙宇清石维琪高云伟	《东南大学学报（自然科学版）》 EI CAS CSCD 北大核心	2011	8	在线阅读下载PDF 职称材料
5	使用支持向量机的微处理器验证向量优化方法	王朋宇郭崎沈海华陈云霁张珩	《高技术通讯》 EI CAS CSCD 北大核心	2010	1	在线阅读下载PDF 职称材料
6	一种快速的滑动标记缩并垃圾收集算法	邹琼章隆兵	《电子学报》 EI CAS CSCD 北大核心	2008	1	在线阅读下载PDF 职称材料
7	基于静态调度的多线程程序分析方法	周卿李炼冯晓兵	《高技术通讯》 EI CAS 北大核心	2018	4	在线阅读下载PDF 职称材料
8	10GB/s高速SERDES电路的MUX/DEMUX设计	马鸿开陈岚刘力轲	《微电子学与计算机》 CSCD 北大核心	2007	1	在线阅读下载PDF 职称材料