最粗粒度划分问题相关论文
针对离散事件系统,本文主要研究计算最优拟同余关系时减少时间复杂度的算法.基于Paige&Tarjan提出且Femandez修改的、可有效计算最粗......
关系最粗粒度的划分问题PCPP在并发系统的验证方面起着重要的作用。本文提出了RCPP问题的一种有效的并行算法,其中假设标号转移系统中有m个转......