Symbolic cost analysis and automatic data distribution for a skeleton-based language

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1470 LNCS, Issue , 1998, Pages 688-697

  Mallet, Julien ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

MUSCULOSKELETAL SYSTEM;

AUTOMATIC MAPPING; COMPILATION PROCESS; COST EVALUATIONS; CROSS FERTILIZATION; DATA DISTRIBUTION; PARALLELIZATIONS; PROGRAM TRANSFORMATIONS; SOURCE LANGUAGE;

COST BENEFIT ANALYSIS;

EID: 22044434896     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0057917     Document Type: Conference Paper

References (17)

1. G. E. Blelloch, S. Chatterjee, J. C. Hardwick, J. Sipelstein, and M. Zagha. Implementation of a portable nested data-parallel language. In 4th ACM Symp. on Princ. and Practice of Parallel Prog., pages 102-112. 1993.
2. T. Bratvold. A Skeleton-Based Parallelising Compiler for ML. In 5th Int. Workshop on the Imp. of Fun. Lang., pages 23-33, 1993.
3. S. Chatterjee, J. R. Gilbert, R. Schreiber, and S. Teng. Automatic array alignment in data-parallel program. In 20th ACM Symp. on Princ. of Prog. Lang., pages 16-28, 1993.
4. J. Choi and J. J. Dongarra. Scalable linear algebra software libraries for distributed memory concurrent computers. In Proc. of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems, pages 170-177, 1995.
5. P. Clauss. Counting solutions to linear and nonlinear constraints through Ehrhart polynomials: Applications to analyze and transform scientific programs. In ACM Int. Conf. on Supercomputing, 1996.
6. M. Cole. A skeletal approach to the exploitation of parallelism. In CONPAR'88, pages 667-675. Cambridge University Press, 1988.
7. J. Daxlington, A. J. Field, P. G. Harrison, P. H. J. Kelly, D. W. N. Sharp, Q. Wu, and R. L. While. Parallel programming using skeleton functions. In PARLE '93, pages 146-160. LNCS 694, 1993.
8. J. Darlington, Y. K Guo, H. W. To, and Y. Jing. Skeletons for structured parallel composition. In 5th ACM Symp. on Princ. and Practice of Parallel Prog., pages 19-28, 1995.
9. S. Gorlatch and C. Lengauer. (De)Composition rules for parallel scan and reduction. In 3rd IEEE Int. Conf. on Massively Par. Prog. Models, 1998.
10. M. Gupta and P. Banerjee. Demonstration of automatic data partitioning techniques for parallelizing compilers on multicomputers. IEEE Transactions on Parallel and Distributed Systems, 3(2):179-193, 1992.
11. C. B. Jay, M. I. Cole, M. Sekanina, and P. Steekler. A monadic calculus for parallel costing of a functional language of arrays. In Euro-Par'97 Parallel Processing, pages 650-661. LNCS 1300, 1997.
12. J. Mallet. Compilation for MIMD computers of a skeleton-based language through symbolic cost analysis and automatic data distribution. Technical Report 1190, IRISA, May 1998.
13. S. Pelagatti. A Methodology for the Development and the Support of Massively Parallel Programs. PhD thesis, Pise University, 1993.
14. R. Rangaswami. A Cost Analysis for a Higher-order Parallel Programming Model. PhD thesis, Edinburgh University, 1996.
15. D. B. Skillicorn and W. Cai. A cost calculus for parallel functional programming. Technical report, Queen's University, 1993.
16. N. Tawbi. Estimation of nested loops execution time by integer arithmetic in convex polyhedra. In Int. Symp. on Par. Proc., pages 217-223, 1994.
17. P. Wadler. Linear types can change the world! In Programming Concepts and Methods, pages 561-581. North Holland, 1990.