李塞克

LISPACK-一种用于并行系统和算法性能分析的方法和工具。研究了并行算法和并行系统的性能分析。对于这些问题,由于状态空间的巨大增长,数值求解方法很快显示出了它们的局限性。所提出的方法和软件工具list manipulation parallel modeling package(LISPACK)使用字符串操作、集总和递归消除来定义大型Markovian过程、其重组和高效解决方案。以一个典型的并行系统和算法模型为例,分析了该方法的特点。本文有两个贡献。第一种是为并行算法和系统的性能分析而提出的符号方法。第二个是一个工具,它利用符号方法在求解并行模型中的能力,其中数值技术揭示了它们的局限性。