切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
用于开发FP语言并行性的静态分析技术
用于开发FP语言并行性的静态分析技术
来源 :计算机学报 | 被引量 : 0次 | 上传用户:gameryufei
【摘 要】
:
具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。
【作 者】
:
杨澜
孙永强
【机 构】
:
上海交通大学计算机科学系,上海交通大学计算机科学系
【出 处】
:
计算机学报
【发表日期】
:
1990年10期
【关键词】
:
FP语言
并行性
静态分析
【基金项目】
:
高科技基金
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
具有并行执行的可能性常被作为函数式程序语言的优点。本文研究了程序变换、严格性分析等静态分析技术以开发FP语言的并行性。
其他文献
基于COMSOL模拟开裂混凝土中的氯离子扩散行为
建立开裂混凝土中的氯离子扩散模型,运用COMSOL软件进行裂缝模拟,同时将模拟结果与开裂混凝土试验值比较,证明了文章开裂混凝土氯离子扩散模型的正确性。研究发现:当裂缝宽度
期刊
裂缝
混凝土
氯离子
crackconcretechloride ion
双变幅桅杆起重机设计分析与优化
文章介绍了应用于高层建筑吊装施工的双变幅桅杆起重机的设计、分析与优化过程。在考虑内陆自然环境的情况下,建立其力学计算模型、对各部件进行选型、利用ANSYS有限元分析软
期刊
高层建筑
双变幅桅杆起重机
设计
力学计算模型
有限元分析
优化
high-rise buildingdouble luffing mast cranedesi
无碰路径规划的拓扑方法
本文介绍无碰路规划的拓扑方法。首先理论上讨论降维法,其次给出计算机程序实现的方法及其结果。
期刊
无碰路径规划
路径规划法
机器人
一种三维运动参数的鲁棒估计方法
本文提出了一种估计三维运动参数的线性算法,利用两帧图象之间点匹配的信息,算法给出了鲁棒性较好的解。该算法的关键之处是引入必要的先验知识,使得先验知识直接参与数值计
期刊
三维运动
参数估计
计算机视觉
一种三值逻辑的NP完全问题与判定问题
本文建立了一种三值逻辑——中介逻辑的三值语义,证明了其命题演算MP与MP的可满足问题是NP完全的且其谓词演算(带或不带等词)MF,MF与ME的判定问题是算法不可解的。
期刊
三值逻辑
NP完全问题
数理逻辑
“中国加入世贸组织五周年地方世贸组织事务大事”评选揭晓
随着过渡期的结束,世贸组织地方性特征体现得越来越明显。地方事务在我国世贸组织事务的整个推进过程中逐渐地体现出来。
期刊
世贸组织
评选
中国
地方性特征
过渡期
“一带一路”视域下河南省双创基地建设的问题及策略
“一带一路”建设既是一场规模宏大的经济地理革命,又开创了互利共赢的新局面。双创基地建设是中国能够“走出去”的关键一步,也是实现“中国制造”的关键举措。然而,河南省
期刊
“一带一路”
河南省双创基地建设
问题
策略
一种支持并行存取的数据分布策略
本文基于关系的水平划分提出了一种支持并行存取的数据分布策略:多步循环均匀分布法(CEDM法)。该法通过循环散布方式保证了数据片段在各磁盘上的物理均匀分布;又通过按查询率
期刊
并行存取
数据分布
数据库
分布式
数据流计算机复合函数级并行的开发
数据流计算机开销过大的基本原因是并行的粒度太细。本文研完在数据流计算模型中引入复合函数级并行的开发,讨论它在SDS模型的抽象机上的实现方法,并介绍以此为基础的模型机S
期刊
数据流计算机
复合函数
并行
粒度
基于地表变形数据的潜在滑坡识别研究
潜在滑坡识别对地质灾害高发区的滑坡研究有重要意义。文章以中巴经济走廊灾害多发区某一试验区为例,结合由2014-2019的Sentinel1-A雷达数据计算出的地表变形数据,选取试验区
期刊
随机森林
中巴经济走廊
地质灾害
特征变量
random forestChina-Pakistan Economic Corridorgeological di
与本文相关的学术论文