并行算法的FP描述及其脉动化的判定

来源 :软件学报 | 被引量 : 0次 | 上传用户:edisonye
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
本文通过引入流及流上的递归方程,增强了FP表达并行算法的能力,有效地克服了用FP描述循环数据依赖及状态记忆的困难,文中给出了并行算法的FP描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用FP描述脉动化的研究中去。
其他文献
中等职业技术教育是我国教育中人数最多的部分,其目的和任务就是培养适应社会主义经济建设的中、初级技术人员、管理人员、技术工人和城乡熟练劳动者。是把人力资源转化为智
摘要:当前,新课程改革理念已经在技师院校教育中得到了落实,很多科目的教师都基于新课改的理念对教学理念和方式做出了创新。不过传统教学理念扎根至深,且技师院校教师都已经习惯了传统的教学方法,尤其是在数学教学中,虽然数学教师已经尝试将数学和学生专业相结合,但多以课堂讲授为主。本文主要对新课改下技师院校数学教学中存在的问题作出简单分析,同时根据这些问题提出优化教学方式的对策。  关键词:新课程 技师院校
法律制度在推动“低碳经济”发展的过程中发挥着不可替代的支撑和保障作用。法制能够正确指引“低碳经济”的发展方向,有效地规范和约束公民、企业、国家机关的行为,保障政府有
心率变异性(HRV)分析是反映心血管自主神经功能的哪一项无创指标,为心血管疾病的预后判定提供一种新的、更敏感、更特异的指标,而通过药物改善心肌HRV,从而降低心血管疾病发
本文概述了现代家居装饰中追求“个性化”、“时尚化”的过程中,存在的一些误区及几点注意的事宜。
目的了解江门市女学生性知识掌握程度,为今后有针对性地开展性教育提供客观依据.方法采用整群随机抽样的方法,在2003年4月-2004年6月,对本市部分学校女学生进行青春期生理、
本文首先介绍了网络攻击对目前网络安全的影响及分布式拒绝服务攻击的工作原理和现状,接着分析了分布式拒绝服务的攻击类型,并探析新型攻击类型的核心技术和防范对策。将新型
本文着眼于长三角地区的实际,采取实证分析的方法,运用库兹涅茨曲线等相关理论和城市群等概念,提出了以PRED和谐协调、培育“硅湖”、建立都市联合体的新举措来解决长三角的不协
2008年11月4日奥巴马当选美国总统,成为美国历史上首位非洲裔总统。这对于美国华人参政,融入美国主流社会来说,不失为一个经典范例。早期华人由于各种因素根本无暇顾及政界,1965
水利施工企业面对日趋激烈的竞争和萎缩的市场,探讨怎样通过加强工程项目管理来提高自身的竞争力,以尽量少的物化消耗和劳动力消耗来保证工程项目的顺利完成。