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

Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术被引量：1: 1; 作者李根卢凯 +3 位作者张英卢锡城冯华张巍《计算机工程与科学》 CSCD 北大核心 2011年第4期69-74,共6页; 动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类... 展开更多; 关键词动态测试用例生成重定向指令集体系结构无关; 在线阅读下载PDF 职称材料

面向固件代码分析的虚拟指令集体系结构设计: 2; 作者赵远曾光裕 +2 位作者王炜崔晨高洪博《计算机工程》 CAS CSCD 2012年第9期271-274,共4页; 传统虚拟指令集体系结构不能同时满足简单性和高效性的要求。为此,提出一种面向固件代码分析的虚拟指令集体系结构构造方法。设计多目标固件代码分析平台,在可配置虚拟硬件结构的基础上,获取最小完备指令集,并说明扩展虚拟指令集的方法... 展开更多; 关键词固件代码虚拟指令集体系结构翻译代码膨胀率最小完备指令集虚拟硬件; 在线阅读下载PDF 职称材料

VISA:基于动态二进制翻译优化技术的可扩展体系结构: 3; 作者唐遇星邓鹍 +1 位作者窦勇周兴铭《计算机工程与科学》 CSCD 2006年第8期95-98,共4页; 体系结构设计经常要在代码兼容和结构创新之间进行折衷。保证代码兼容的体系结构难以引入创新性的体系结构技术,或者导致最终结构变得相当复杂。本文提出一种基于动态二进制翻译优化的可扩展处理器结构VISA。VI-SA在实现兼容的前提下拓... 展开更多; 关键词二进制翻译动态优化微处理器指令集体系结构可扩展性; 在线阅读下载PDF 职称材料

数据并行计算机体系结构研究: 4; 作者王鹏飞张发存段敬红《计算机工程》 CAS CSCD 北大核心 2011年第15期249-251,共3页; 通过对国内外并行计算机体系结构的分析与研究,提出一种面向多媒体应用的嵌入式数据并行计算机体系结构模型,将可重构总线与PIM技术相结合,弥补传统PIM体系结构下处理元之间通信复杂度高、结构可适应性弱等不足。描述其主要部件的功能... 展开更多; 关键词 PIM技术数据并行体系结构可重构总线处理元阵列指令集体系结构; 在线阅读下载PDF 职称材料

ECC专用指令处理器软硬件协同设计被引量：2: 5; 作者徐劲松王志新严迎建《计算机工程与设计》 CSCD 北大核心 2012年第3期916-920,共5页; 提出了一种专用指令处理器的软硬件协同设计方法,该方法可以在设计的早期阶段对处理器进行系统探索和验证。根据椭圆曲线密码算法的特点,并按照专用指令处理器的设计原则,以椭圆曲线密码运算基本操作及运算存储特性为基础,设计了超长指... 展开更多; 关键词椭圆曲线密码体制专用指令集处理器指令集体系结构指令集模拟器软硬件协同设计; 在线阅读下载PDF 职称材料

面向二进制移植的虚拟化技术被引量：5: 6; 作者黄聪会陈靖 +2 位作者罗樵张黎郭一辰《计算机应用研究》 CSCD 北大核心 2012年第11期4185-4188,共4页; 从ISA和ABI两种不同层次出发,探讨了当前二进制移植存在的问题,分析了其对应解决方法的优劣,明确了虚拟化技术是实现二进制移植的重要手段。研究了支持ISA或ABI间二进制移植中的三种虚拟化方法,即解释和二进制翻译、资源虚拟化、内核虚... 展开更多; 关键词软件移植进程虚拟机虚拟化指令集体系结构应用程序二进制接口; 在线阅读下载PDF 职称材料

VLIW处理器ISA建模与辅助软件优化技术被引量：3: 7; 作者严迎建叶建森 +1 位作者刘军伟徐劲松《计算机工程与设计》 CSCD 北大核心 2009年第11期2727-2729,2752,共4页; 在基于VLIW结构的分组密码专用处理器设计过程中,研究了VLIW处理器的指令集体系结构建模技术。设计了一个指令精确的指令集模拟器,通过附加一个流水线相关及停顿统计模块,实现了周期精确的程序运行统计和流水线停顿统计。结合指令集模... 展开更多; 关键词超长指令字(VLIW) 处理器建模指令集体系结构指令集模拟器指令级并行; 在线阅读下载PDF 职称材料

动态二进制翻译基础平台CrossBit的设计与实现被引量：6: 8; 作者包云程梁阿磊管海兵《计算机工程》 CAS CSCD 北大核心 2007年第23期100-101,134,共3页; 二进制翻译是指把一种机器平台上的二进制可执行程序经过转换后运行在另一个机器平台上的过程,它解决了二进制代码在异构机器平台上的迁移问题。该文介绍了二进制翻译的工作原理,阐述了CrossBit动态二进制翻译基础平台的设计思路与关键... 展开更多; 关键词二进制翻译动态编译指令集体系结构虚拟机; 在线阅读下载PDF 职称材料

题名Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术被引量：1: 1; 作者李根卢凯张英卢锡城冯华张巍; 机构国防科学技术大学计算机学院; 出处《计算机工程与科学》 CSCD 北大核心 2011年第4期69-74,共6页; 基金国家973计划资助项目(2005CB321801); 文摘动态测试用例生成技术是一类新兴的软件测试技术。由于使用该类技术无需任何人工干预,也无需验证人员具备任何专业知识,同时该类技术能够无误地发现程序错误,越来越多的研究者采用该技术查找预发布的二进制级软件错误。然而,已有的该类技术及其实现系统不具有可重定向性,只能处理面向某种特定指令集体系结构(ISA)的二进制代码,进行测试用例的生成与查错。本文提出了一种全新的指令集体系结构无关的二进制级动态测试用例生成技术,以及实现该技术的系统Hunter。与已有的动态测试用例生成技术不同,Hunter具有极强的可重定向性,可对任何指令集体系结构的二进制代码进行查错,定向地为其生成指向不同执行路径的测试用例。Hunter定义了一套元指令集体系结构(MetaISA),将在二进制代码执行过程中收集到的所有执行信息映射为MetaISA,并对生成的MetaISA序列进行符号化执行、约束收集、约束求解以及测试用例生成,从而使整个过程与ISA无关。我们实现了Hunter,将其重定向至32位x86、PowerPC和Sparc ISA,并使用该系统为6个含有已知错误的测试程序查错。实验结果表明,由于MetaISA的引入,只需很小的开销,Hunter系统即可容易且有效地重定向至不同的ISA,并且Hunter能够有效地发现面向32位x86、PowerPC和Sparc ISA编写的二进制应用中隐藏极深的错误。; 关键词动态测试用例生成重定向指令集体系结构无关; Keywords dynamic test generation redirected ISA-independent; 分类号 TP393.09 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名面向固件代码分析的虚拟指令集体系结构设计: 2; 作者赵远曾光裕王炜崔晨高洪博; 机构解放军信息工程大学信息工程学院; 出处《计算机工程》 CAS CSCD 2012年第9期271-274,共4页; 基金国家"863"计划基金资助项目(2009AA01Z434); 文摘传统虚拟指令集体系结构不能同时满足简单性和高效性的要求。为此,提出一种面向固件代码分析的虚拟指令集体系结构构造方法。设计多目标固件代码分析平台,在可配置虚拟硬件结构的基础上,获取最小完备指令集,并说明扩展虚拟指令集的方法。实验结果表明,该方法能降低翻译代码膨胀率,目标指令模拟时间比传统方法减少19%～35%。; 关键词固件代码虚拟指令集体系结构翻译代码膨胀率最小完备指令集虚拟硬件; Keywords firmware code Virtual Instruction Set Architecture（V-ISA） translated-code expansion rate minimal complete instruction set virtualhardware; 分类号 TP311.5 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名VISA:基于动态二进制翻译优化技术的可扩展体系结构: 3; 作者唐遇星邓鹍窦勇周兴铭; 机构国防科技大学计算机学院; 出处《计算机工程与科学》 CSCD 2006年第8期95-98,共4页; 基金国家自然科学基金资助项目(90307001); 文摘体系结构设计经常要在代码兼容和结构创新之间进行折衷。保证代码兼容的体系结构难以引入创新性的体系结构技术,或者导致最终结构变得相当复杂。本文提出一种基于动态二进制翻译优化的可扩展处理器结构VISA。VI-SA在实现兼容的前提下拓展了体系结构设计的空间。模拟结果显示,VISA性能优于现有的动态二进制翻译优化框架,并有更高的性能潜力和扩展空间。; 关键词二进制翻译动态优化微处理器指令集体系结构可扩展性; Keywords binary translation dynamic optimization microprocessor instruction set architecture scalability; 分类号 TP303 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名数据并行计算机体系结构研究: 4; 作者王鹏飞张发存段敬红; 机构西安理工大学计算机科学与工程学院; 出处《计算机工程》 CAS CSCD 北大核心 2011年第15期249-251,共3页; 基金陕西省教育厅基金资助项目(07JK357) 西安理工大学校创新基金资助项目(116-210711); 文摘通过对国内外并行计算机体系结构的分析与研究,提出一种面向多媒体应用的嵌入式数据并行计算机体系结构模型,将可重构总线与PIM技术相结合,弥补传统PIM体系结构下处理元之间通信复杂度高、结构可适应性弱等不足。描述其主要部件的功能和结构,定义该体系结构计算机的指令集,通过一个典型的算法样例介绍其汇编语言程序组成和并行计算过程。; 关键词 PIM技术数据并行体系结构可重构总线处理元阵列指令集体系结构; Keywords PIM technology data parallel architecture reconfigurable bus Processing Element（PE） array instruction set architecture; 分类号 N945 [自然科学总论—系统科学]; 在线阅读下载PDF 职称材料

题名ECC专用指令处理器软硬件协同设计被引量：2: 5; 作者徐劲松王志新严迎建; 机构解放军信息工程大学电子技术学院; 出处《计算机工程与设计》 CSCD 北大核心 2012年第3期916-920,共5页; 文摘提出了一种专用指令处理器的软硬件协同设计方法,该方法可以在设计的早期阶段对处理器进行系统探索和验证。根据椭圆曲线密码算法的特点,并按照专用指令处理器的设计原则,以椭圆曲线密码运算基本操作及运算存储特性为基础,设计了超长指令字ECC专用指令处理器的指令集结构模型。根据处理器的指令集结构模型,以指令模拟器为基础,搭建了处理器的软硬件协同验证平台,从系统设计、RTL描述和FPGA硬件原型3个不同层次对处理器进行了验证。; 关键词椭圆曲线密码体制专用指令集处理器指令集体系结构指令集模拟器软硬件协同设计; Keywords ECC ASIP ISA ISS HW/SW co-design; 分类号 TP309 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向二进制移植的虚拟化技术被引量：5: 6; 作者黄聪会陈靖罗樵张黎郭一辰; 机构空军工程大学信息与导航学院; 出处《计算机应用研究》 CSCD 北大核心 2012年第11期4185-4188,共4页; 基金国家自然科学基金资助项目(61172083); 文摘从ISA和ABI两种不同层次出发,探讨了当前二进制移植存在的问题,分析了其对应解决方法的优劣,明确了虚拟化技术是实现二进制移植的重要手段。研究了支持ISA或ABI间二进制移植中的三种虚拟化方法,即解释和二进制翻译、资源虚拟化、内核虚拟化。提出了一种结合动态二进制优化技术的高效进程虚拟机Long-Win,其支持Windows应用程序在Linux操作系统上运行,实验结果表明,其性能与Wine相比提高了6%～10%。; 关键词软件移植进程虚拟机虚拟化指令集体系结构应用程序二进制接口; Keywords software migration process virtual machine virtualization instruction set architecture application binary interface; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名VLIW处理器ISA建模与辅助软件优化技术被引量：3: 7; 作者严迎建叶建森刘军伟徐劲松; 机构解放军信息工程大学电子技术学院; 出处《计算机工程与设计》 CSCD 北大核心 2009年第11期2727-2729,2752,共4页; 基金国家863高技术研究发展计划基金项目(2008AA01Z103); 文摘在基于VLIW结构的分组密码专用处理器设计过程中,研究了VLIW处理器的指令集体系结构建模技术。设计了一个指令精确的指令集模拟器,通过附加一个流水线相关及停顿统计模块,实现了周期精确的程序运行统计和流水线停顿统计。结合指令集模拟器、汇编器以及调试器,设计了一个面向VLIW处理器的辅助程序优化环境。利用模拟器和调试器来评估程序的指令级并行度以及资源占用情况,辅助程序开发者优化VLIW处理器程序,从而达到软硬件协作开发VLIW处理器指令级并行性的最终目的。; 关键词超长指令字(VLIW) 处理器建模指令集体系结构指令集模拟器指令级并行; Keywords very long instruction word processor modeling instruction set architecture instruction set simulator instruction level parallelism; 分类号 TP391.72 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名动态二进制翻译基础平台CrossBit的设计与实现被引量：6: 8; 作者包云程梁阿磊管海兵; 机构上海交通大学软件学院; 出处《计算机工程》 CAS CSCD 北大核心 2007年第23期100-101,134,共3页; 基金国家"973"计划基金资助项目(2004CCA02600); 文摘二进制翻译是指把一种机器平台上的二进制可执行程序经过转换后运行在另一个机器平台上的过程,它解决了二进制代码在异构机器平台上的迁移问题。该文介绍了二进制翻译的工作原理,阐述了CrossBit动态二进制翻译基础平台的设计思路与关键实现,包括其系统架构、工作流程和中间指令的设计。实验数据表明,二进制翻译技术的性能优于传统软件解释技术。; 关键词二进制翻译动态编译指令集体系结构虚拟机; Keywords binary translation dynamic compilation instruction set architecture virtual machine; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	Hunter:一种指令集体系结构无关的二进制级动态测试用例生成技术	李根卢凯张英卢锡城冯华张巍	《计算机工程与科学》 CSCD 北大核心	2011	1	在线阅读下载PDF 职称材料
2	面向固件代码分析的虚拟指令集体系结构设计	赵远曾光裕王炜崔晨高洪博	《计算机工程》 CAS CSCD	2012	0	在线阅读下载PDF 职称材料
3	VISA:基于动态二进制翻译优化技术的可扩展体系结构	唐遇星邓鹍窦勇周兴铭	《计算机工程与科学》 CSCD	2006	0	在线阅读下载PDF 职称材料
4	数据并行计算机体系结构研究	王鹏飞张发存段敬红	《计算机工程》 CAS CSCD 北大核心	2011	0	在线阅读下载PDF 职称材料
5	ECC专用指令处理器软硬件协同设计	徐劲松王志新严迎建	《计算机工程与设计》 CSCD 北大核心	2012	2	在线阅读下载PDF 职称材料
6	面向二进制移植的虚拟化技术	黄聪会陈靖罗樵张黎郭一辰	《计算机应用研究》 CSCD 北大核心	2012	5	在线阅读下载PDF 职称材料
7	VLIW处理器ISA建模与辅助软件优化技术	严迎建叶建森刘军伟徐劲松	《计算机工程与设计》 CSCD 北大核心	2009	3	在线阅读下载PDF 职称材料
8	动态二进制翻译基础平台CrossBit的设计与实现	包云程梁阿磊管海兵	《计算机工程》 CAS CSCD 北大核心	2007	6	在线阅读下载PDF 职称材料