罗海梅 左正康 薛锦云

分划递推方法 递归方程式 PAR平台 形式推导 时间复杂度 形式化推导 规约 最优编码

中国科学院研究生院 中国科学院软件研究所 江西师范大学物理与通讯电子学院 江西师范大学计算机信息与工程学院 江西师范大学高性能计算技术重点实验室