函数型程序的并行计算模型及任务划分

通过分析得出了函数型程序的并行计算模型——任务树，并应用该模型分析了任务划分中的任务粒度和并行度等主要因素对加速比的影响，提出了优化的任务划分算法，最后给出了在一个分布符号处理系统parlisp中的实现结果.