论文部分内容阅读
具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。
用于开发FP语言并行性的静态分析技术
【摘 要】
：
具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。
【机 构】
：
上海交通大学计算机科学系,上海交通大学计算机科学系
【出 处】
：
计算机学报
【发表日期】
：
1990年10期
【基金项目】
：
高科技基金
其他文献
建立开裂混凝土中的氯离子扩散模型,运用COMSOL软件进行裂缝模拟,同时将模拟结果与开裂混凝土试验值比较,证明了文章开裂混凝土氯离子扩散模型的正确性。研究发现:当裂缝宽度
文章介绍了应用于高层建筑吊装施工的双变幅桅杆起重机的设计、分析与优化过程。在考虑内陆自然环境的情况下,建立其力学计算模型、对各部件进行选型、利用ANSYS有限元分析软
本文提出了一种估计三维运动参数的线性算法,利用两帧图象之间点匹配的信息,算法给出了鲁棒性较好的解。该算法的关键之处是引入必要的先验知识,使得先验知识直接参与数值计
本文建立了一种三值逻辑——中介逻辑的三值语义,证明了其命题演算MP与MP的可满足问题是NP完全的且其谓词演算(带或不带等词)MF,MF与ME的判定问题是算法不可解的。
随着过渡期的结束，世贸组织地方性特征体现得越来越明显。地方事务在我国世贸组织事务的整个推进过程中逐渐地体现出来。
“一带一路”建设既是一场规模宏大的经济地理革命,又开创了互利共赢的新局面。双创基地建设是中国能够“走出去”的关键一步,也是实现“中国制造”的关键举措。然而,河南省
本文基于关系的水平划分提出了一种支持并行存取的数据分布策略:多步循环均匀分布法(CEDM法)。该法通过循环散布方式保证了数据片段在各磁盘上的物理均匀分布;又通过按查询率
数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机S
潜在滑坡识别对地质灾害高发区的滑坡研究有重要意义。文章以中巴经济走廊灾害多发区某一试验区为例,结合由2014-2019的Sentinel1-A雷达数据计算出的地表变形数据,选取试验区