Sciweavers

Share
EUROPAR
2006
Springer

Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions

9 years 3 months ago
Surrounding Theorem: Developing Parallel Programs for Matrix-Convolutions
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 the 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 described with the skeletons for the matrix-convolutions, and a theorem that optimizes the general program into an application-specific one.
Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Mas
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where EUROPAR
Authors Kento Emoto, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
Comments (0)
books