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

本文通过引入流及流上的递归方程,增强了fp表达并行算法的能力,有效地克服了用fp描述循环数据依赖及状态记忆的困难,文中给出了并行算法的fp描述及其可脉动化的判定定理。同时说明,许多在图上研究的脉动方法可以方便地应用到用fp描述脉动化的研究中去。