国家自然科学基金(69633030)

作品数：4被引量：10H指数：2
导出分析报告
相关作者：朱传琪臧斌宇陈彤张瑜韦俊银更多>>
相关机构：复旦大学更多>>
相关期刊：《软件学报》《计算机工程》《计算机学报》更多>>
相关主题：数据流分析并行化编译数据相关数组数据集更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
非必要内存重用的COMMON变量的识别和处理被引量：1
《计算机工程》2002年第2期18-20,共3页韦俊银 方燕宝 李靖 朱传琪 
国家自然科学基金项目(69633030);国家"863"高科技计划项目(863-306-ZT01-02-01);教育部科学技术项目和高性能计算基金项目
在程序中,公用块的使用有时是为了重复利用某一内存区域,这给数据划分和分布带来了不必要的麻烦。该文提出了数据生Fortran命期的概念,借鉴数组私有化中的相关技术,通过计算子程序公用块中数组的暴露集等方法,对非必要内存重用的变量进...
关键词：数据分布 数组私有化 COMMON变量 识别 内存重用 并行编译 FORTRAN语言 
数据流分析中的区域覆盖技术被引量：4
《软件学报》2000年第3期334-341,共8页胡世亮 臧斌宇 凌冰 朱传琪 
国家自然科学基金!(No.6 96 330 30 );国家 86 3高科技项目基金!(No.86 3- 30 6 - ZT0 1- 0 2 - 0 1);教育部科学技术项目基金;国
用计算函数模型进行精确的数据流分析 ,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系 .该文讨论在各种常见的程序构造下如何表示、计算和传递 Ω区域、Φ区域 ,并在数据流分析过程中 ,利用 Ω区域、Φ区域之间的覆盖关系消除...
关键词：数据流分析 区域覆盖 数组 符号分析 数据集 
用计算函数模型增强数据流分析被引量：1
《软件学报》2000年第2期187-194,共8页胡世亮 臧斌宇 朱传琪 
国家自然科学基金! (No.6 96 330 30 );国家 86 3高科技项目基金! (No.86 3- 30 6 - ZT0 1- 0 2 - 0 1);教育部科学技术项目基金
精确的数据流分析 ,需要充分利用条件分支语句的逻辑语义 .为了简洁而有效地处理条件分支语句 ,该文提出了对应于程序段的计算函数模型 ,在该模型里表示条件分支语句的逻辑语义 ,并利用文中提出的不确定性消解方法 ,可以把通常需要逻辑...
关键词：计算函数模型 数据流分析 并行化编译器 
有效的数组私有化方法:相关-覆盖方法被引量：5
《计算机学报》2000年第1期1-8,共8页臧斌宇 陈彤 张瑜 朱传琪 
国家自然科学基金!( 6963 3 0 3 0 );"八六三"高技术研究发展计划!( 863 -3 0 6-ZT0 1-0 2 -1);国家教育部科学技术项目基金
数组私有化是并行化编译中的重要技术 ,该文针对现有数组私有化方法的不足 ,分析了数组私有化的本质 ,提出了一个新的数组私有化方法 :相关 -覆盖方法 .它将相关性分析技术和数据覆盖技术有机地结合在一起 ,具有了执行效率高、处理能力强。
关键词：并行化编译 数组私有化 数据相关 编译系统 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部