J4 ›› 2000, Vol. 22 ›› Issue (4): 40-42.
• 论文 • 上一篇 下一篇
霍红卫
出版日期:
发布日期:
Online:
Published:
摘要：
关系最粗粒度的划分问题ＰＣＰＰ在并发系统的验证方面起着重要的作用。本文提出了ＲＣＰＰ问题的一种有效的并行算法，其中假设标号转移系统中有ｍ个转移和ｎ个状态，利用ｍ／ｎ＾∈个ＣＲＥＷ处理器算法所需的运行时间为Ｏ（ｎ＾１＋∈）（对于任意固定的∈〈１）。
关键词: 最粗粒度划分问题 并行算法 标号转移系统
霍红卫. 基于关系的最粗粒度划分问题的并行算法[J]. J4, 2000, 22(4): 40-42.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2000/V22/I4/40
