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

面向MPP　Fortran的程序自动并行化初探被引量：3: 1; 作者郭克榕唐新春《国防科技大学学报》 EI CAS CSCD 北大核心 1996年第1期92-97,共6页; ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言，本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点，然后，以该语言为例，对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。; 关键词程序自动并行化 fortran 数据并行语言 MPP系统; 在线阅读下载PDF 职称材料

面向MPPFortran的程序自动并行化: 2; 作者唐新春郭克榕《计算机研究与发展》 EI CSCD 北大核心 1996年第8期566-573,共8页; ＭＰＰＦｏｒｔｒａｎ是Ｃｒａｙ公司为分布存储、全局编址的ＣｒａｙＴ３ＤＭＰＰ系统推出的一种数据并行语言。本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点，然后以该语言为例，对面向ＭＰＰ系统程序自动并行化的基本内容以及关键... 展开更多; 关键词程序自动并行化并行计算机并行程序设计; 在线阅读下载PDF 职称材料

一种Fortran程序自动向量化的方法: 3; 作者汪伟中《系统工程与电子技术》 EI CSCD 1990年第10期48-52,60,共6页; 本文从研究数据相关性出发,引进了适用于工程实现的语句间时序相关图。给出了定义,阐述了建立和化简该图的方法。本图准确地描述了语句间的时序相关性,因而可以方便地确定可向量化的语句和执行顺序,对两维和多维相关进行了分析,提出了... 展开更多; 关键词程序设计 fortran语言向量化; 在线阅读下载PDF 职称材料

程序切片技术在软件测试中的应用被引量：14: 4; 作者孙继荣李志蜀 +2 位作者王莉殷锋金虎《计算机应用研究》 CSCD 北大核心 2007年第5期210-213,217,共5页; 基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的... 展开更多; 关键词程序切片软件测试数据依赖控制依赖测试数据自动生成; 在线阅读下载PDF 职称材料

自动并行编译新技术被引量：2: 5; 作者阳雪林于勐 +1 位作者陈道蓄谢立《软件学报》 EI CSCD 北大核心 2000年第9期1268-1275,共8页; 自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译... 展开更多; 关键词自动并行编译依赖关系分析程序变换新技术; 在线阅读下载PDF 职称材料

基于编译指示的向量化方法被引量：3: 6; 作者姚远赵荣彩《计算机工程》 CAS CSCD 2012年第12期272-275,共4页; 编译器由于程序分析能力不足,无法自动实现循环向量化或者会造成盲目自动向量化。为此,提出一种基于编译指示的向量化方法。通过在代码中插入向量化编译指示语句,指导自动向量化编译工具的处理过程,自动生成高效的向量化代码。测试结果... 展开更多; 关键词单指令多数据流自动向量化数据依赖关系编译指示循环不变量向量寄存器; 在线阅读下载PDF 职称材料

程序自动并行化工具FAX 被引量：1: 7; 作者郭克榕唐新春曾丽芳《计算机工程与应用》 CSCD 北大核心 1999年第9期36-38,43,共4页; 该文介绍了大规模并行处理系统程序自动并行化工具FAX（FortranAutomatedXlator）的系统概况。重点阐述了FAX中所采用的先进技术。测试结果表明，FAX已具备一定的可用性及有效性，作为面向分布主存并行机系统的程序自动并行化工具，基... 展开更多; 关键词程序自动并行化软件工具数据分布 FAX; 在线阅读下载PDF 职称材料

基于网络的数据并行计算中分布数组描述研究: 8; 作者胡长军丁文魁 +2 位作者黄其军向华许卓群《软件学报》 EI CSCD 北大核心 2002年第4期608-615,共8页; 如何描述分布数组是基于网络数据并行计算的基本问题.从网络并行计算的一般需求出发,讨论了分布数组描述DAD（distributed array descriptor）的内容和结构,具体给出了p-HPF并行编译系统的DAD结构定义.针对分布数据的稀疏存储和紧凑存... 展开更多; 关键词分布数组描述网络并行计算 HPF语言并行编译数据并行计算; 在线阅读下载PDF 职称材料

一种开发逻辑程序中AND并行性的静态编译方法: 9; 作者黄志毅胡守仁《国防科技大学学报》 EI CAS CSCD 北大核心 1989年第4期1-10,共10页; 逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段... 展开更多; 关键词逻辑程序设计编译 AND并行性; 在线阅读下载PDF 职称材料

题名面向MPP　Fortran的程序自动并行化初探被引量：3: 1; 作者郭克榕唐新春; 机构国防科技大学计算机系; 出处《国防科技大学学报》 EI CAS CSCD 北大核心 1996年第1期92-97,共6页; 基金国防科技预研基金; 文摘ＭＰＰＦｏｒｔｒａｎ是由Ｃｒａｙ公司推出的一种较有代表性的数据并行语言，本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点，然后，以该语言为例，对面向ＭＰＰ系统程序自动并行化的主要内容进行了初步的探讨。; 关键词程序自动并行化 fortran 数据并行语言 MPP系统; Keywords automatic program parallelizastion,data dependence analysis,data distribution,loop iteration distribution,synchronization control; 分类号 TP312 [自动化与计算机技术—计算机软件与理论] TP301.6 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名面向MPPFortran的程序自动并行化: 2; 作者唐新春郭克榕; 机构国防科学技术大学计算机研究所; 出处《计算机研究与发展》 EI CSCD 北大核心 1996年第8期566-573,共8页; 基金国防科技预研基金; 文摘ＭＰＰＦｏｒｔｒａｎ是Ｃｒａｙ公司为分布存储、全局编址的ＣｒａｙＴ３ＤＭＰＰ系统推出的一种数据并行语言。本文首先介绍了ＭＰＰＦｏｒｔｒａｎ的主要特点，然后以该语言为例，对面向ＭＰＰ系统程序自动并行化的基本内容以及关键技术进行了分析和探讨。; 关键词程序自动并行化并行计算机并行程序设计; Keywords automatic program parallelization, data dependence analysis, data distribution, loop iteration distribution, synchronization control.; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种Fortran程序自动向量化的方法: 3; 作者汪伟中; 机构航空航天工业部二院二部; 出处《系统工程与电子技术》 EI CSCD 1990年第10期48-52,60,共6页; 文摘本文从研究数据相关性出发,引进了适用于工程实现的语句间时序相关图。给出了定义,阐述了建立和化简该图的方法。本图准确地描述了语句间的时序相关性,因而可以方便地确定可向量化的语句和执行顺序,对两维和多维相关进行了分析,提出了相关判定公式,本文为自动向量化Fortran程序提供了一种理论依据和方法。; 关键词程序设计 fortran语言向量化; Keywords automatic programming, compiler, data dependence, fortran.; 分类号 TP311.51 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序切片技术在软件测试中的应用被引量：14: 4; 作者孙继荣李志蜀王莉殷锋金虎; 机构四川大学计算机学院; 出处《计算机应用研究》 CSCD 北大核心 2007年第5期210-213,217,共5页; 基金四川省重点科技资助项目(05GG021-003-2) 四川师范大学软件重点实验室资助项目西南民族大学青年重点资助项目(05NQZ001); 文摘基于程序切片的软件测试是一种以程序或程序和需求相结合为基础的测试,它根据程序的不同切片来缩小软件的测试范围、提高软件测试的效率、辅助测试数据的自动生成等。同时由于程序切片不仅考虑了数据依赖和控制依赖,还考虑了程序存在的其他各种依赖关系,使得测试的准确性得到提高。详细阐述了目前存在的各种切片技术及其应用领域,重点探讨了目前切片技术在测试领域中的具体应用。; 关键词程序切片软件测试数据依赖控制依赖测试数据自动生成; Keywords program slice software testing data dependency control dependency automatic test data generation; 分类号 TP311 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名自动并行编译新技术被引量：2: 5; 作者阳雪林于勐陈道蓄谢立; 机构南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京; 出处《软件学报》 EI CSCD 北大核心 2000年第9期1268-1275,共8页; 基金国家 8 6 3高科技项目基金! (No.86 3- 30 6 - ZT0 2 - 0 30 1); 文摘自动并行编译为并行化现有的串行程序及编写新的并行程序提供了重要的支持 ,因此 2 0多年来一直受到重视 .近几年来 ,自动并行编译技术的研究进展 ,包括在依赖关系分析、程序变换、数据分布和重分布及调度等方面的进展 ,将自动并行编译进一步推向了实用化 .该文介绍了自动并行编译技术的最新进展 ,并提出了进一步的研究所要解决的问题 .; 关键词自动并行编译依赖关系分析程序变换新技术; Keywords automatic parallel compilation, dependence analysis, program transformation, data distribution, schedule.; 分类号 TP314 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于编译指示的向量化方法被引量：3: 6; 作者姚远赵荣彩; 机构解放军信息工程大学信息工程学院; 出处《计算机工程》 CAS CSCD 2012年第12期272-275,共4页; 基金 "核高基"重大专项"支持国产CPU的编译系统及工具链"分课题"自动并行化与二进制翻译系统"(2009ZX01036-001-001-2); 文摘编译器由于程序分析能力不足,无法自动实现循环向量化或者会造成盲目自动向量化。为此,提出一种基于编译指示的向量化方法。通过在代码中插入向量化编译指示语句,指导自动向量化编译工具的处理过程,自动生成高效的向量化代码。测试结果表明,该方法能够有效提高目标代码的运行性能。; 关键词单指令多数据流自动向量化数据依赖关系编译指示循环不变量向量寄存器; Keywords Single Instruction Multiple data（SIMD） automatic vectorization data dependence relationship compiler directive loop invariant vector register; 分类号 TP311.52 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名程序自动并行化工具FAX 被引量：1: 7; 作者郭克榕唐新春曾丽芳; 机构国防科学技术大学计算机研究所; 出处《计算机工程与应用》 CSCD 北大核心 1999年第9期36-38,43,共4页; 文摘该文介绍了大规模并行处理系统程序自动并行化工具FAX（FortranAutomatedXlator）的系统概况。重点阐述了FAX中所采用的先进技术。测试结果表明，FAX已具备一定的可用性及有效性，作为面向分布主存并行机系统的程序自动并行化工具，基本达到了设计目标。; 关键词程序自动并行化软件工具数据分布 FAX; Keywords automatic program parallelization, dependence analysis, Program transformation, data distribution, communication optimization; 分类号 TP311.56 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名基于网络的数据并行计算中分布数组描述研究: 8; 作者胡长军丁文魁黄其军向华许卓群; 机构清华大学计算机科学与技术系北京大学计算机科学技术系; 出处《软件学报》 EI CSCD 北大核心 2002年第4期608-615,共8页; 基金国家自然科学基金资助项目(60173004) 国家863高科技发展计划资助项目(863-306-ZT01-02-3); 文摘如何描述分布数组是基于网络数据并行计算的基本问题.从网络并行计算的一般需求出发,讨论了分布数组描述DAD（distributed array descriptor）的内容和结构,具体给出了p-HPF并行编译系统的DAD结构定义.针对分布数据的稀疏存储和紧凑存储模型,给出了数据在Block分布、Cyclic分布和Block_Cyclic（k）分布方式下,全局数组到局部数组转换的计算方法,这些方法已在p-HPF编译器中得到实现并证明了其有效性.最后讨论了分布数据描述的标准化对实现并行计算系统的可移植性和可重用性的意义.; 关键词分布数组描述网络并行计算 HPF语言并行编译数据并行计算; Keywords Arrays Computer networks data structures Distributed computer systems fortran (programming language) Mathematical models Parallel algorithms Program compilers Standardization; 分类号 TP311.1 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

题名一种开发逻辑程序中AND并行性的静态编译方法: 9; 作者黄志毅胡守仁; 机构国防科技大学电子计算机系; 出处《国防科技大学学报》 EI CAS CSCD 北大核心 1989年第4期1-10,共10页; 基金霍英东教育基金; 文摘逻辑程序AND并行性的开发是逻辑程序并行执行研究中的一个重要课题。文中提出了一种开发逻辑程序中AND并行性的静态编译方法。该方法分成三个阶段:第一阶段,进入模式(entry mode) 的分析;第二阶段,退出模式(exit mode) 的生成;第三阶段,执行图表达式(execution graphexpression) 的确定。通过运行一些基准程序可知,与其它方法相比,该方法能在“生产者一消费者”原则(producer-consumer scheme) 下最大限度地开发AND并行性,且只需很小的动态开销。; 关键词逻辑程序设计编译 AND并行性; Keywords Logic programming compiling, parallel execution, andparallelism, data-dependence, PROLOG; 分类号 TP311.11 [自动化与计算机技术—计算机软件与理论]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	面向MPP　Fortran的程序自动并行化初探	郭克榕唐新春	《国防科技大学学报》 EI CAS CSCD 北大核心	1996	3	在线阅读下载PDF 职称材料
2	面向MPPFortran的程序自动并行化	唐新春郭克榕	《计算机研究与发展》 EI CSCD 北大核心	1996	0	在线阅读下载PDF 职称材料
3	一种Fortran程序自动向量化的方法	汪伟中	《系统工程与电子技术》 EI CSCD	1990	0	在线阅读下载PDF 职称材料
4	程序切片技术在软件测试中的应用	孙继荣李志蜀王莉殷锋金虎	《计算机应用研究》 CSCD 北大核心	2007	14	在线阅读下载PDF 职称材料
5	自动并行编译新技术	阳雪林于勐陈道蓄谢立	《软件学报》 EI CSCD 北大核心	2000	2	在线阅读下载PDF 职称材料
6	基于编译指示的向量化方法	姚远赵荣彩	《计算机工程》 CAS CSCD	2012	3	在线阅读下载PDF 职称材料
7	程序自动并行化工具FAX	郭克榕唐新春曾丽芳	《计算机工程与应用》 CSCD 北大核心	1999	1	在线阅读下载PDF 职称材料
8	基于网络的数据并行计算中分布数组描述研究	胡长军丁文魁黄其军向华许卓群	《软件学报》 EI CSCD 北大核心	2002	0	在线阅读下载PDF 职称材料
9	一种开发逻辑程序中AND并行性的静态编译方法	黄志毅胡守仁	《国防科技大学学报》 EI CAS CSCD 北大核心	1989	0	在线阅读下载PDF 职称材料