Divacon: a parallel language for scientific computing based on divide-and-conquer
作者： Z.G. Mou
关键词: Programming paradigm 、 Inductive programming 、 First-generation programming language 、 Programming domain 、 Functional logic programming 、 Theoretical computer science 、 Programming language implementation 、 Language primitive 、 Programming language 、 Very high-level programming language 、 Computer science
摘要: An overview of the language, covering Divacon primitives and simple programming constructs that are referred to as functional forms, is given. Two divide-and-conquer discussed. style demonstrated for a number scientific applications. Some interesting equivalences transformations between programs examined. Implementation performance briefly considered. >
sci-hub.se 参考文章(12)
Zhijing George Mou, A formal model for divide-and-conquer and its parallel realization Yale University. ,(1990)
J. M. Ortega, Introduction to Parallel and Vector Solution of Linear Systems ,(1988)
Volker Strassen, Gaussian elimination is not optimal Numerische Mathematik. ,vol. 13, pp. 354- 356 ,(1969) , 10.1007/BF02165411
H. H. Wang, A Parallel Method for Tridiagonal Equations ACM Transactions on Mathematical Software. ,vol. 7, pp. 170- 183 ,(1981) , 10.1145/355945.355947
J. J. M. Cuppen, A divide and conquer method for the symmetric tridiagonal eigenproblem Numerische Mathematik. ,vol. 36, pp. 177- 195 ,(1980) , 10.1007/BF01396757
Franco P. Preparata, Jean Vuillemin, The cube-connected cycles: a versatile network for parallel computation Communications of The ACM. ,vol. 24, pp. 300- 309 ,(1981) , 10.1145/358645.358660
Zhijing G. Mou, Paul Hudak, An algebraic model for divide-and-conquer and its parallelism The Journal of Supercomputing. ,vol. 2, pp. 257- 278 ,(1988) , 10.1007/BF00129780
S.L. Johnsson, C.-T. Ho, Optimum broadcasting and personalized communication in hypercubes IEEE Transactions on Computers. ,vol. 38, pp. 1249- 1268 ,(1989) , 10.1109/12.29465
K. E. Batcher, Sorting networks and their applications Proceedings of the April 30--May 2, 1968, spring joint computer conference on - AFIPS '68 (Spring). pp. 307- 314 ,(1968) , 10.1145/1468075.1468121
Richard E. Ladner, Michael J. Fischer, Parallel Prefix Computation Journal of the ACM. ,vol. 27, pp. 831- 838 ,(1980) , 10.1145/322217.322232