Systematic Derivation of Tree Contraction Algorithms (2005)

by Kiminori Matsuzaki , Zhenjiang Hu , Kazuhiko Kakehi , Masato Takeichi
Venue:In Proceedings of INFOCOM '90
Citations:3 - 3 self

Active Bibliography

2 Towards polytypic parallel programming – Zhenjiang Hu, Masato Takeichi, Hideya Iwasaki - 1998
3 A Compositional Framework for Developing Parallel Programs on Two Dimensional Arrays – Kento Emoto, Kento Emoto, Zhenjiang Hu, Zhenjiang Hu, Kazuhiko Kakehi, Kazuhiko Kakehi, Masato Takeichi, Masato Takeichi - 2005
9 Diffusion: Calculating Efficient Parallel Programs – Zhenjiang Hu , Masato Takeichi, Hideya Iwasaki - 1999
1 List Homomorphism with Accumulation – Kazuhiko Kakehi, Zhenjiang Hu, Masato Takeichi - 2003
1 Efficient Implementation of Tree Skeletons on Distributed-Memory Parallel Computers – Kiminori Matsuzaki, Zhenjiang Hu, Kiminori Matsuzaki, Zhenjiang Hu - 2006
Mathematical Engineering – Parallelization With Tree, Kiminori Matsuzaki, Kiminori Matsuzaki, Zhenjiang Hu, Zhenjiang Hu, Masato Takeichi, Masato Takeichi - 2003
11 A library of constructive skeletons for sequential style of parallel programming – Kiminori Matsuzaki, Hideya Iwasaki - 2006
1 An practicable framework for tree reductions under distributed memory environments – Kazuhiko Kakehi, Kazuhiko Kakehi, Kiminori Matsuzaki, Kiminori Matsuzaki, Kento Emoto, Kento Emoto, Zhenjiang Hu, Zhenjiang Hu - 2006
5 Automatic Inversion Generates Divide-and-Conquer Parallel Programs – Kazutaka Morita, Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
6 Structured Parallel Computation in Structured Documents – D. B. Skillicorn - 1995
8 A Fusion-Embedded Skeleton Library – Kiminori Matsuzaki, Kazuhiko Kakehi, Hideya Iwasaki, Zhenjiang Hu, Yoshiki Akashi - 2004
18 Parallel Implementation of Tree Skeletons – D. B. Skillicorn - 1995
5 An Optimal Parallel Matching Algorithm for Cographs – R. Lin, S. Olariu - 1994
2 A Calculational Framework for Parallelization of Sequential Programs – Zhenjiang Hu, Masato Takeichi - 1997
1 The Third Homomorphism Theorem on Trees Downward & Upward Lead to Divide-and-Conquer – Akimasa Morihata, Kiminori Matsuzaki, Zhenjiang Hu, Masato Takeichi
A TYPE-BASED APPROACH TO PARALLELIZATION – Xu Na
A Type System for Parallelization – Dana N. Xu, Siau-Cheng Khoo, Wei-Ngan Chin, Zhenjiang Hu
1 Descriptive Simplicity in Parallel Computing – Marcus I. Marr - 1997
2 A New Parallel Skeleton for General Accumulative Computations – Hideya Iwasaki, Zhenjiang Hu - 2004