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

基于条件执行切片谱的多错误定位被引量：12: 1; 作者文万志李必信 +1 位作者孙小兵齐珊珊《计算机研究与发展》 EI CSCD 北大核心 2013年第5期1030-1043,共14页; 基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了... 展开更多; 关键词多错误定位程序切片谱程序谱条件执行切片软件调试; 在线阅读下载PDF 职称材料

附条件执行名义审查程序体系论被引量：9: 2; 作者廖中洪何平《学习论坛》北大核心 2018年第11期83-90,共8页; 附条件执行名义的定位、审查及救济已成为困扰法院执行的重要课题。无论学理研究抑或立法实践，附条件执行名义均存在定位不明、规制缺位的窘境。在考察大陆法系执行要件审查模式的基础上，附条件执行名义应纳入执行要件实体事项审查的... 展开更多; 关键词附条件执行名义执行要件审查模式生效证明; 在线阅读下载PDF 职称材料

一种支持DSP条件执行指令的编译框架被引量：1: 3; 作者王凤芹刘春林胡定磊《计算机工程》 CAS CSCD 北大核心 2006年第11期106-108,共3页; 为克服条件跳转指令的缺陷,新一代超长指令字(VLIW)体系结构的数字信号处理器(DSP)提供了对条件执行指令的支持。为使得此类指令的优势得以充分发挥,该文设计并实现了一种基于hyperblock区域结构的编译框架。实验结果表明,该框架很好地... 展开更多; 关键词 VLIW DSP 条件执行指令 Hyperblock 编译优化数字信号处理器; 在线阅读下载PDF 职称材料

基于条件分类可执行切片谱的软件缺陷定位被引量：2: 4; 作者邱宝鑫周维陈听海《计算机工程与应用》 CSCD 北大核心 2019年第19期253-262,共10页; 基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的... 展开更多; 关键词软件缺陷定位程序切片谱条件分类执行切片可疑度; 在线阅读下载PDF 职称材料

动物防疫行政处罚决定不因当事人申请复议或提起诉讼而停止执行: 5; 作者白普芳苏红军张立国《中国动物检疫》 CAS 2002年第9期5-6,共2页; 关键词动物防疫行政处罚决定当事人申请复议提起诉讼停止执行条件; 在线阅读下载PDF 职称材料

Matrix编译器If转换算法的实现: 6; 作者刘飞陈跃跃 +1 位作者孙海燕阳柳《计算机科学》 CSCD 北大核心 2013年第4期55-58,77,共5页; 指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对mat... 展开更多; 关键词谓词执行 if转换条件执行指令级并行 MATRIX VLIW; 在线阅读下载PDF 职称材料

面向ARM平台的二进制翻译系统标志位优化: 7; 作者杜彬赵瑞珍李琼《计算机工程》 CAS CSCD 2014年第10期318-320,F0003,共4页; 二进制翻译系统是不同平台之间代码移植的桥梁,而系统性能是制约其应用的主要因素。在二进制翻译中,翻译经过标志位分析处理后的非冗余标志位需要较多的指令,极大影响了系统的性能。针对该问题,提出一种标志位的模式优化方法,在标志位... 展开更多; 关键词二进制翻译标志位的模式优化条件执行模式头模式尾; 在线阅读下载PDF 职称材料

百科集锦: 8; 《农村实用科技信息》 2005年第3期44-44,共1页; 关键词强制执行公证公证处强制执行效力人民法院申请执行民事诉讼法集锦执行条件管辖权诉讼过程; 在线阅读下载PDF 职称材料

题名基于条件执行切片谱的多错误定位被引量：12: 1; 作者文万志李必信孙小兵齐珊珊; 机构东南大学计算机科学与工程学院扬州大学信息工程学院; 出处《计算机研究与发展》 EI CSCD 北大核心 2013年第5期1030-1043,共14页; 基金国家自然科学基金项目(60973149) 国家自然科学基金青年科学基金项目(61202006) +1 种基金中国科学院计算机科学国家重点实验室开放基金项目(SYSKF1110); 文摘基于程序谱的错误定位技术由于其较高的定位效率已成为当前软件调试领域研究热点之一.这种技术通常根据测试覆盖信息计算程序语句发生错误的可疑度来进行错误定位.然而,这种技术会随着程序中错误数目的增多效率不断下降.鉴于此,提出了一种基于条件执行切片谱的多错误定位技术(conditioned execution slicing spectrum-based multiple fault localization,CESS-MFL),以提高多错误定位的效率.CESS-MFL技术首先根据输入变量的谓词条件构建错误相关条件执行切片的谱矩阵,然后依次计算错误相关条件执行切片中的元素(语句或语句块)的可疑度,并生成可疑度报告.实验验证了CESS-MFL技术比当前流行的基于程序谱的Tarantula技术、基于程序切片的Intersection技术、Union技术有更高的多错误定位效率,并且可在有效的时间和空间复杂度内完成.; 关键词多错误定位程序切片谱程序谱条件执行切片软件调试; Keywords multi-fault location program slicing spectrum program spectrum conditioned execution slice software debugging; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名附条件执行名义审查程序体系论被引量：9: 2; 作者廖中洪何平; 机构西南政法大学法学院; 出处《学习论坛》北大核心 2018年第11期83-90,共8页; 基金国家社科基金一般项目“西方‘立案登记’模式与中国受案程序改革”(15BFX064) 重庆市研究生科研创新项目“执行依据内容不明的应对机制研究”(CYB17088)的阶段性研究成果; 文摘附条件执行名义的定位、审查及救济已成为困扰法院执行的重要课题。无论学理研究抑或立法实践，附条件执行名义均存在定位不明、规制缺位的窘境。在考察大陆法系执行要件审查模式的基础上，附条件执行名义应纳入执行要件实体事项审查的范畴。在具体模式选择上应摒弃内嵌式的审查模式，转而趋向分离式的审查模式，并以扩充法律文书生效证明制度的机能为切入点，建立以可上诉裁定与债务人异议之诉为主的救济方式。; 关键词附条件执行名义执行要件审查模式生效证明; 分类号 D926 [政治法律—法学]; 在线阅读下载PDF 职称材料

题名一种支持DSP条件执行指令的编译框架被引量：1: 3; 作者王凤芹刘春林胡定磊; 机构国防科技大学计算机科学学院; 出处《计算机工程》 CAS CSCD 北大核心 2006年第11期106-108,共3页; 基金国家"863"计划基金资助项目(2004AA1Z1040); 文摘为克服条件跳转指令的缺陷,新一代超长指令字(VLIW)体系结构的数字信号处理器(DSP)提供了对条件执行指令的支持。为使得此类指令的优势得以充分发挥,该文设计并实现了一种基于hyperblock区域结构的编译框架。实验结果表明,该框架很好地提高了指令级并行度(ILP),减少了指令执行时间。; 关键词 VLIW DSP 条件执行指令 Hyperblock 编译优化数字信号处理器; Keywords VLIW DSP Conditional instructions Hyperblock Compiling optimization; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于条件分类可执行切片谱的软件缺陷定位被引量：2: 4; 作者邱宝鑫周维陈听海; 机构湘潭大学信息工程学院; 出处《计算机工程与应用》 CSCD 北大核心 2019年第19期253-262,共10页; 基金国家自然科学基金青年基金(No.61602397) 湖南省物联网学会新华三基金(No.2018wlw001); 文摘基于条件执行切片谱的多错误定位(Multiple Fault Localization based on Conditioned Execution Slicing Spectrum,CESS-MFL)考虑了程序的依赖性,可以一定程度降低程序随着缺陷数的增多而效率降低的问题,但该技术仍受与缺陷无关语句的影响比较大。因此,提出了一种基于条件分类可执行切片的软件缺陷定位方法(Conditioned Classification Execution Slicing Spectrum-based Software Fault Localization,CCESS-SFL),该技术对CESS-MFL技术中的谓词条件进行了改进并分类。根据谓词条件与缺陷相关执行切片确定条件特征集,根据条件特征集进行分类得到条件分类执行切片谱,计算元素的可疑度,最后生成可疑度报告。CCESS-SFL技术在西门子7个套件中得到了有效的验证,它优于当前流行的Tarantula、Jaccard、Ochiai以及CESS-MFL技术,可以进一步降低与缺陷无关语句的影响。; 关键词软件缺陷定位程序切片谱条件分类执行切片可疑度; Keywords software fault localization program slicing spectrum conditional classification execution slicing suspiciousness; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名动物防疫行政处罚决定不因当事人申请复议或提起诉讼而停止执行: 5; 作者白普芳苏红军张立国; 机构河北省南皮县畜牧局沧州市动物防疫监督检验所; 出处《中国动物检疫》 CAS 2002年第9期5-6,共2页; 关键词动物防疫行政处罚决定当事人申请复议提起诉讼停止执行条件; 分类号 S851.342 [农业科学—预防兽医学]; 在线阅读下载PDF 职称材料

题名Matrix编译器If转换算法的实现: 6; 作者刘飞陈跃跃孙海燕阳柳; 机构国防科技大学计算机学院; 出处《计算机科学》 CSCD 北大核心 2013年第4期55-58,77,共5页; 文摘指令级并行在提高处理器运行速度方面显得越来越重要,if转换技术是一种在处理器支持条件执行的前提下,有助于提高指令级并行度的编译优化技术。在详细分析GCC(GNU Compiler Collection)内部if转换技术的实现机制和算法的基础上,针对matrix体系结构特点,对GCC中现有if转换算法进行了移植与改进,实现了matrix编译器的if转换算法。实验证明,改进后的if转换算法能够更有效地移除分支,减少基本块的数量,扩大单个基本块的范围,有助于编译器生成更加优化的代码。; 关键词谓词执行 if转换条件执行指令级并行 MATRIX VLIW; Keywords Predicate execution If-convertion Conditional execution ILP Matrix VLIW; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名面向ARM平台的二进制翻译系统标志位优化: 7; 作者杜彬赵瑞珍李琼; 机构北京交通大学计算机与信息技术学院; 出处《计算机工程》 CAS CSCD 2014年第10期318-320,F0003,共4页; 文摘二进制翻译系统是不同平台之间代码移植的桥梁,而系统性能是制约其应用的主要因素。在二进制翻译中,翻译经过标志位分析处理后的非冗余标志位需要较多的指令,极大影响了系统的性能。针对该问题,提出一种标志位的模式优化方法,在标志位分析处理基础上,将定值标志位和使用标志位的ARM指令组成固定模式,根据不同的模式用MIPS指令组合翻译达到相同的语义。实验结果表明,利用标志位的模式优化方法可使翻译产生的MIPS代码量减少14%,系统性能平均提高13.7%。; 关键词二进制翻译标志位的模式优化条件执行模式头模式尾; Keywords binary translation pattern optimization of flag bit conditional execution pattern head pattern tail; 分类号 TP391 [自动化与计算机技术—计算机应用技术]; 在线阅读下载PDF 职称材料

题名百科集锦: 8; 出处《农村实用科技信息》 2005年第3期44-44,共1页; 关键词强制执行公证公证处强制执行效力人民法院申请执行民事诉讼法集锦执行条件管辖权诉讼过程; 分类号 D920.5 [政治法律—法学]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	基于条件执行切片谱的多错误定位	文万志李必信孙小兵齐珊珊	《计算机研究与发展》 EI CSCD 北大核心	2013	12	在线阅读下载PDF 职称材料
2	附条件执行名义审查程序体系论	廖中洪何平	《学习论坛》北大核心	2018	9	在线阅读下载PDF 职称材料
3	一种支持DSP条件执行指令的编译框架	王凤芹刘春林胡定磊	《计算机工程》 CAS CSCD 北大核心	2006	1	在线阅读下载PDF 职称材料
4	基于条件分类可执行切片谱的软件缺陷定位	邱宝鑫周维陈听海	《计算机工程与应用》 CSCD 北大核心	2019	2	在线阅读下载PDF 职称材料
5	动物防疫行政处罚决定不因当事人申请复议或提起诉讼而停止执行	白普芳苏红军张立国	《中国动物检疫》 CAS	2002	0	在线阅读下载PDF 职称材料
6	Matrix编译器If转换算法的实现	刘飞陈跃跃孙海燕阳柳	《计算机科学》 CSCD 北大核心	2013	0	在线阅读下载PDF 职称材料
7	面向ARM平台的二进制翻译系统标志位优化	杜彬赵瑞珍李琼	《计算机工程》 CAS CSCD	2014	0	在线阅读下载PDF 职称材料
8	百科集锦		《农村实用科技信息》	2005	0	在线阅读下载PDF 职称材料