论文部分内容阅读
数组归约的识别是提高并行化编译能力的有效方法，单模是开发程序并行性的重要手段。然而，由于归约语句间相关的特殊性，影响了单模变换的实施。本文从归约语句引起的相关本质特征入手，分析了归约语句和单模变换的相互影响，提出了在归约语句存在的情况下单模变换的具体方法。
归约识别及其单模变换
【摘 要】
：
数组归约的识别是提高并行化编译能力的有效方法，单模是开发程序并行性的重要手段。然而，由于归约语句间相关的特殊性，影响了单模变换的实施。本文从归约语句引起的相关本质特征
【机 构】
：
复旦大学并行处理研究所,200433
【出 处】
：
计算机学报
【发表日期】
：
1998年1期
【基金项目】
：
国家自然科学基金,,863高科技基金,,攀登计划,,上海市重点学科、学科带头人基金
其他文献
介绍了邳州市钢架大棚草莓高效栽培技术，主要包括基地选择、品种选择、适时定植、肥水管理：温湿度管理、花果管理、病虫害防治等内容，以期为草莓种植户提供技术参考。
区间逻辑在许多领域如人工智能，形式化方法中都有成功应用。其中，区间时序逻辑及其各种扩充近年来越来越多地受到人们的重视，由于区间时序逻辑具有较强的表达能力，这也使得该逻辑
我在美国东部北卡洛莱纳州的Durham(达勒姆)市生活了一段时间,这个城市在北卡州属于第四大城市,人口23万人左右,Southpoint Mall(南点商场)是该市最大的商场,因为认识的一个
期刊
9月11日，财政部表示为帮助解决中小企业发展中面临的困难和问题，中央财政今年明确六大政策，安排中小企业专项资金35．1亿元，有力地支持了中小企业的健康发展。
4月22日，北京举行了14个重大工业项目落户签约仪式。投资方将在北京经济技术开发区、顺义、昌平、大兴投资兴建产业基地，建成后预计实现销售收入370亿元。
Ｌｉｖｅｃｈａｒｔ是地Ｓｔａｔｅｃｈａｒｔ的扩展，它可用于并发系统活动性的验证，并具有直观和严格的特点。它既可以方便地表达用户的直觉又具有严格的语义，因此它在用户的直觉和形式证明之间建立了一个的接口。本文
本文引入描述传值并系统的新模型“带赋值符号迁移图（ＳＴＧＡ）”推广了Ｈｅｎｎｅｓｓｙ和Ｌｉｎ提出的“符号迁移图”的概念，允许迁移上带有赋值，从而能将更大的一类传值系统表示为有穷状态图，ＳＴＧＡ的中车优点是在并
本文定义了带有索引的认识逻辑ELI，讨论了ELI的语义tableau的证明过程，证明了模态tableau的相容性和完备性．由于ELI与认识逻辑EL是等价的，因而，本文讨论的tableau证明过程也可以作
在策勒县进行花生品种比较试验，结果表明：在当地应重点推广的品种有山农02-1、龙苑9616、03-97、山花7号，这4个品种在产量、抗病性、抗旱性等农艺性状上的表现较好。