论文信息 - Encoding of parallel program schemata by vector addition systems

Encoding of parallel program schemata by vector addition systems

A new vector addition system is proposed which represents a possible encoding of a parallel schema. This vector addition system contains fewer vectors and vectors of smaller length than the vector addition systems presented in the literature.

André Thayse | A. Thayse

[1] Raymond E. Miller,et al. A Comparison of Some Theoretical Models of Parallel Computation , 1973, IEEE Transactions on Computers.

[2] Robert M. Keller,et al. Parallel Program Schemata and Maximal Parallelism I. Fundamental Results , 1973, JACM.

[3] Robert M. Keller. On the Decomposition of Asynchronous Systems , 1972, SWAT.

[4] K.H. Kim. Introduction to computer architecture , 1977, Proceedings of the IEEE.

[5] James L. Peterson,et al. A Comparison of Models of Parallel Computation , 1974, IFIP Congress.

[6] Robert M. Keller. Parallel Program Schemata and Maximal Parallelism II: Construction of Closures , 1973, JACM.

[7] Raymond E. Miller,et al. On the Composition of Parallel Program Schemata , 1971, SWAT.

[8] B. V. Howard. Determinacy of computation schemata for both parallel and simultaneous operation , 1975 .

[9] Melvin E. Conway,et al. A multiprocessor system design , 1899, AFIPS '63 (Fall).

[10] Robert M. Keller,et al. On Maximally Parallel Schemata , 1970, SWAT.

[11] Luigi Logrippo,et al. Renamings in Program Schemas (Extended Abstract) , 1972, Scandinavian Workshop on Algorithm Theory.

[12] Richard M. Karp,et al. Parallel Program Schemata , 1969, J. Comput. Syst. Sci..