Systematic derivation of tree contraction algorithms

Parallel Processing Letters

Volumn 15, Issue 3, 2005, Pages 321-336

  Matsuzaki, Kiminori ^a   Hu, Zhenjiang ^a   Kakehi, Kazuhiko ^a   Takeichi, Masato ^a  

^a UNIVERSITY OF TOKYO   (Japan)

Author keywords

Maximum Segment Sum Problem; Parallelization; Rose Tree; Skeletal Parallelism; Tree Contraction

Indexed keywords

ALGORITHMS; SET THEORY; TREES (MATHEMATICS);

PARALLELIZATION; ROSE TREE; SKELETAL PARALLELISM; TREE CONTRACTION ALGORITHMS;

PARALLEL PROCESSING SYSTEMS;

EID: 24944536191     PISSN: 01296264     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129626405002246     Document Type: Conference Paper

References (23)

1. M. Cole, Algorithmic skeletons : a structured approach to the management of parallel computation, Research Monographs in Parallel and Distributed Computing (Pitman, London, 1989).
2. F. Rabhi and S. Gorlatch, Patterns and Skeletons for Parallel and Distributed Computing (Springer-Verlag New York Inc., 2002).
3. M. Cole, Parallel programming, list homomorphisms and the maximum segment sum problems, Report CSR-25-93, Department of Computing Science, The University of Edinburgh (1993).
4. S. Gorlatch, Systematic efficient parallelization of scan and other list homomorphisms, in Proc. Annual European Conference on Parallel Processing (Euro-Par '96), LNCS 1124 (Springer-Verlag, 1996) 401-408.
5. Z. Hu, H. Iwasaki, and M. Takeichi, Formal derivation of efficient parallel programs by construction of list homomorphisms, ACM Trans. on Programming Languages and Systems, 19(3) (1997) 444-461.
6. D. B. Skillicorn, The bird-meertens formalism as a parallel model, in Software for Parallel Computation, eds. J. S. Kowalik and L. Grandinetti, 106 of NATO ASI Series F (Springer-Verlag, 1993) 120-133.
7. J. Ahn and T. Han, An analytical method for parallelization of recursive functions, Parallel Process. Lett., 10(1) (2000) 87-98.
8. K. Abrahamson, N. Dadoun, D. G. Kirkpatrik, and T. Przytycka, A simple parallel tree contraction algorithm, J. Algorithms, 10(2) (1989) 287-302.
9. G. L. Miller and J. H. Reif, Parallel tree contraction and its application, in Proc. 26th Annual Symposium on Foundations of Computer Science (IEEE Computer Sociery Press, 1985) 478-489.
10. G. L. Miller and J. H. Reif, Parallel tree contraction part 2: Further applications, SIAM J. Comput., 20(6) (1991) 1128-1147.
11. J. H. Reif and S. R. Tate, Dynamic parallel tree contraction, in Proc. the Symposium on Parallel Algorithms and Architecture (1994) 114-121.
12. J. Gibbons, W. Cai, and D. B. Skillicorn, Efficient parallel algorithms for tree accumulations, Sci. Comput. Program., 23(1) (1994) 1-18.
13. D. B. Skillicorn, Foundations of Parallel Programming (Cambridge University Press, 1994).
14. D. B. Skillicorn, Parallel implementation of tree skeletons, J. Parallel Distr. Com., 39(2) (1996) 115-125.
15. D. B. Skillicorn, A parallel tree difference algorithm, Inform. Process. Lett., 60(5) (1996) 231-235.
16. D. B. Skillicorn, Structured parallel computation in structured documents, J. Univers. Comput. Sci., 3(1) (1997) 42-68.
17. H. Deldari, J. R. Davy, and P. M. Dew, Parallel CSG, skeletons and performance modelling, in Proc. the Second Annual CSI Computer Conference (CSICC'96) (1996) 115-122.
18. K. Matsuzaki, Z. Hu, and M. Takeichi, Parallelization with tree skeletons, in Proc. Annual European Conference on Parallel Processing (Euro-Par 2003), LNCS 2790 (Springer-Verlag, 2003) 789-798.
19. Z. Hu, M. Takeichi, and H. Iwasaki, Towards polytypic parallel programming, Technical Report METR 98-09, University of Tokyo (1998).
20. J. Bentley, Column7: Algorithm design techniques, in Programming Pearls (Addison-Wesley, 1986) 69-80.
21. Z. Hu, H. Iwasaki, and M. Takeichi, Construction of list homomorphisms by tupling and fusion, in Proc. 21st International Symposium on Mathematical Foundation of Computer Science, LNCS 1113 (Springer-Verlag, 1996) 407-418.
22. Z. Hu, H. Iwasaki, and M. Takeichi, Formal derivation of parallel program for 2-dimensional maximum segment sum problem, in Proc. Annual European Conference on Parallel Processing (Euro-Par '96), LNCS 1123 (Springer-Verlag, 1996) 553-562.
23. W.N. Chin, A. Takano, and Z. Hu, Parallelization via context preservation, in Proc. IEEE Computer Society International Conference on Computer Languages (ICCL '98) (1998) 153-162.