导读:本文包含了带赋值符号迁移图论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:符号,进程,赋值,代数,算法,图论。
带赋值符号迁移图论文文献综述
方海,许文,林惠民[1]（2000）在《带赋值符号迁移图的局部优化算法》一文中研究指出带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ 上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价．由于ＳＴＧＡ 的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ 上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响．文中介绍了ＳＴＧＡ 上的一组局部优化算法，证明其正确性，并通过应用实例说明对提高效率的作用．(本文来源于《计算机研究与发展》期刊2000年01期）
带赋值符号迁移图论文开题报告
带赋值符号迁移图论文参考文献
[1].方海,许文,林惠民.带赋值符号迁移图的局部优化算法[J].计算机研究与发展.2000
论文知识图
