Loci: A rule-based framework for parallel multi-disciplinary simulation synthesis

Journal of Functional Programming

Volumn 15, Issue 3, 2005, Pages 477-502

  Luke, Edward A ^a   George, Thomas ^b  

^a MISSISSIPPI STATE UNIVERSITY   (United States)

^b Texas A and M University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DISTRIBUTED MEMORY ARCHITECTURE; PROGRAMMING ABSTRACTIONS; RESOURCE MANAGEMENT; SHARED MEMORY MACHINES;

ALGORITHMS; C (PROGRAMMING LANGUAGE); COMPUTATION THEORY; COMPUTER SIMULATION; FINITE ELEMENT METHOD; FORTRAN (PROGRAMMING LANGUAGE); RELATIONAL DATABASE SYSTEMS;

PARALLEL PROCESSING SYSTEMS;

EID: 20544469479     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796805005514     Document Type: Article

References (30)

1. Armstrong, R., Gannon, D., Geist, A., Keahey, K., Kohn, S., McInnes, L., Parker, S. and Smolinski, B. (1999) Toward a common component architecture for high performance scientific computing. Proceedings 8th IEEE International Symposium on High Performance Distributed Computation, pp. 115-124.
2. Balay, S., Buschelman, K., Gropp, W. D., Kaushik, D., Knepley, M., McInnes, L. C., Smith, B. F. and Zhang, H. (2003) PETSc 2.0 users manual. Technical report ANL-95/11, Revision 2.1.6. Argonne National Laboratory.
3. Bassetti, F., Brown, D., Davis, K., Henshaw, W. and Quinlan, D. (1998) OVERTURE: An object-oriented framework for high performance scientific computing. High Performance Networking and Computing (SC'98). IEEE Computer Society, CDRom.
4. Blelloch, G. E., Chatterjee, S., Hardwick, J. C., Sipelstein, J. and Zagha, M. (1993) Implementation of a portable nested data-parallel language. Proceedings 4th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, pp. 102-111.
5. Breitinger, S., Loogen, R., Ortega-Mallén, Y. and Pene, R. (1997) The Eden coordination model for distributed memory systems. Workshop on High-level Parallel Programming Models, pp. 120-124. IEEE Press.
6. Cann, D. (1992) Retire Fortran? A debate rekindled. Comm. ACM, 35(8), 81-89.
7. CASC (2003) High-performance component technology. http://www.llnl.gov/ CASC/sc2001_fliers/CompTech/CompTech0l.html (Current Oct. 5, 2003).
8. Cleary, A., Kohn, S., Smith, S. G. and Smolinski, B. (1998) Language Interoperability Mechanisms for High Performance Scientific Applications. Technical report, LLNL. UCRL-JC-131823.
9. Foster, I. and Taylor, S. (1990) Strand: New concepts in parallel programming. Prentice-Hall.
10. Foster, I., Olson, R. and Tuecke, S. (1992) Productive parallel programming: The PCN approach. J. Sci. Program. 1(1), 51-66.
11. Gabrielle, A., Benger, W., Goodale, T., Hege, H.-C., Lanfermann, G., Merzky, A., Radke, T., Seidel, E. and Shalf, J. (2000) The Cactus Code: A problem solving environment for the grid. Proceedings Ninth IEEE International Symposium on High Performance Distributed Computing, pp. 253-260.
12. Geist, A., Beguelin, A., Dongarra, J., Jiang, W., Manchek, R. and Sunderam, V. (1994) PVM 3 Users Guide and Reference Manual. Technical report, Oak Ridge National Labratory, Oak Ridge, Tennessee 37831.
13. Gerlach, J., Sato, M. and Ishikawa, Y. (1998) Janus: A C++ template library for parallel dynamic mesh applications. Computing in Object-Oriented Parallel Environments, Proceedings of the Second International Symposium, ISCOPE 98: Lecture Notes in Computer Science 1505, pp. 215-222. Springer-Verlag.
14. Govindaraju, M., Krishnan, S., Chiu, K., Slominski, A., Gannon, D. and Bramley, R. (2003) Merging the CCA component model with the OGSI framework. Proceedings of CCGrid2003, 3rd International Symposium on Cluster Computing and the Grid. pp. 182-189, IEEE Computer Society.
15. Hill, J. M. D., McColl, B., Stefanescu, D. C., Goudreau, M. W., Lang, K., Rao, S. B., Suel, T., Tsantilas, T. and Bisseling, R. (1997) BSPlib: The BSP programming library. Technical report PRG-TR-29-97, Oxford University Computing Laboratory.
16. HPF (1993) High Performance Fortran Language Specification. Technical report, Rice University, Texas, USA.
17. Karypis, G. and Kumar, V. (1998) Multilevel k-way partitioning scheme for irregular graphs. J. Parallel & Distributed Comput. 48(1), 96-129.
18. Kotlyar, V., Pingali, K. and Stodghill, P. (1997) Compiling parallel sparse code for user-defined data structures. SIAM Conference on Parallel Processing for Scientific Computing, vol. 8.
19. Luke, E. A. (1999) Loci: A deductive framework for graph-based algorithms. In: Matsuoka, S., Oldehoeft, R. and Tholburn, M., editors, Third International Symposium on Computing in Object-oriented Parallel Environments: Lecture Notes in Computer Science 1732, pp. 142-153. Springer-Verlag.
20. Luke, E. A., Tong, X. L., Wu, J., Tang, L. and Cinnella, P. (2001) A step towards "Shape-shifting" algorithms: reacting flow simulations using generalized grids. Proceedings 39th AIAA Aerospace Sciences Meeting and Exhibit. AIAA-2001-0897.
21. MPI (1997) MP1-2: Extensions to the Message-Passing Interface. Technical report, University of Tennessee, Knoxville, TN.
22. OpenMP (1997) OpenMP Fortran Application Program Interface, Version 1.0. Technical report, OpenMP Architecture Review Board.
23. OpenMP (1998) OpenMP C and C++ Application Program Interface, Version 1.0. Technical report, OpenMP Architecture Review Board.
24. Pande, S. S., Agrawal, D. P. and Mauney, J. (1994) A threshold scheduling strategy for SISAL programs on distributed-memory machines. J. Parallel & Distributed Comput. 21(2), 223-236.
25. Pointon, R. F., Trinder, P. W. and Loidl, W.-H. (2000) The design and implementation of Glasgow Distributed Haskell. International Workshop on the Implementation of Functional Languages: Lecture Notes in Computer Scienc 2011, pp. 54-70. Springer-Verlag.
26. Trinder, P. W., Hammond, K., Loidl, H.-W. and Peyton Jones, S. L. (1998) Algorithm + Strategy = Parallelism. J. Funct. Program. 8(1), 23-60.
27. Trinder, P. W., Loidl, H.-W. and Pointon, R. F. (2002) Parallel and distributed Haskells. J. Funct. Program. 12(4 & 5).
28. Ullman, J. (1988) Principles of Database and Knowledgebase Systems, pp. 53-66. Computer Science Press.
29. Valiant, L. G. (1990) A bridging model for parallel computation. Comm. ACM, 33(8), 103-111.
30. West, J. (2003) NASA Marshall Space Flight Center, Personal Communication.