Computations on two-dimensional arrays such as matrices and images are one of the most fundamental and ubiquitous things in computational science and its vast application areas, but development of efficient parallel programs on two-dimensional arrays is known to be hard. To solve this problem, we have proposed a skeletal framework on two-dimensional arrays based on the theory of constructive algorithmics. It supports users, even with little knowledge about parallel machines, to develop systematically both correct and efficient parallel programs on two-dimensional arrays. In this paper, we apply our framework to the matrix-convolutions often used in image filters and difference methods. We show the efficacy of the framework by giving a general parallel program for the matrix-convolutions described with the skeletons, and a theorem that optimizes the general program into an application-specific one. © Springer-Verlag Berlin Heidelberg 2006.
CITATION STYLE
Emoto, K., Matsuzaki, K., Hu, Z., & Takeichi, M. (2006). Surrounding theorem: Developing parallel programs for matrix-convolutions. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4128 LNCS, pp. 605–614). Springer Verlag. https://doi.org/10.1007/11823285_63
Mendeley helps you to discover research relevant for your work.