| 基于关系的最粗粒度划分问题的并行算法 |
| |
| 引用本文： | 霍红卫.基于关系的最粗粒度划分问题的并行算法[J].计算机工程与科学,2000,22(4):40-42. |
| |
| 作者姓名： | 霍红卫 |
| |
| 作者单位： | 西安电子科技大学计算机科学系 |
| |
| 基金项目： | 国家自然科学基金!资助项目 ( 6960 2 0 0 8)，“九五”预研项目!资助 ( 16.1.4.2 ) |
| |
| 摘 要： | 关系最粗粒度的划分问题ＰＣＰＰ在并发系统的验证方面起着重要的作用。本文提出了ＲＣＰＰ问题的一种有效的并行算法，其中假设标号转移系统中有ｍ个转移和ｎ个状态，利用ｍ／ｎ＾∈个ＣＲＥＷ处理器算法所需的运行时间为Ｏ（ｎ＾１＋∈）（对于任意固定的∈〈１）。
|
| 关 键 词： | 最粗粒度划分问题 并行算法 标号转移系统 |
| 修稿时间： | 1999-08-24 |
A Parallel Algorithm for Relational Coarsest Partition Problems |
| |
| Huo Hongwei.A Parallel Algorithm for Relational Coarsest Partition Problems[J].Computer Engineering & Science,2000,22(4):40-42. |
| |
| Authors: | Huo Hongwei |
| |
| Abstract: | The relational coarsest partition problem(RCPP)plays a vital role in verifying concurrent systems.In this paper,an efficient parallel algorithm is presented for RCPP. The associated label transition system of the algorithm is assumed to have m transitions and n states.The algorithm's run time is O(n 1+ε ) using m/n ε CREW processors for any fixed ε<1. |
| |
| Keywords: | coarsest partition problem parallel algorithm labeled transition systems |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
