Unified embedded parallel finite element computations via software-based fréchet differentiation

SIAM Journal on Scientific Computing

Volumn 32, Issue 6, 2010, Pages 3323-3351

  Long, Kevin ^a   Kirby, Robert ^a   Waanders, Bart Van Bloemen ^b  

^a TEXAS TECH UNIVERSITY   (United States)

^b SANDIA NATIONAL LABORATORIES   (United States)

Author keywords

Embedded algorithms; Finite element method; Partial differential equations

Indexed keywords

COMPUTER PROGRAMMING; EMBEDDED SYSTEMS; PARTIAL DIFFERENTIAL EQUATIONS;

COMPUTATIONAL ANALYSIS; DISCRETIZATIONS; EMBEDDED ALGORITHMS; FINITE ELEMENT COMPUTATIONS; FUNCTIONALS; HIGH-LEVEL PROGRAMMING; INPUT PARAMETER; MATHEMATICAL FRAMEWORKS; OPTIMISATIONS; PERFORMANCE;

FINITE ELEMENT METHOD;

EID: 79251522193     PISSN: 10648275     EISSN: None     Source Type: Journal    
DOI: 10.1137/09076920X     Document Type: Article

References (43)

1. M. S. Alnaes and A. Logg, UFL Specification and User Manual 0.1, pub/documents/ufl/ufl-user-manual/ufl-user-manual.pdf (April 2009).
2. M. S. Alnaes, A. Logg, K.-A. Mardal, O. Skavhaug, and H. P. Langtangen, Unified framework for finite element assembly, Int. J. Comput. Sci. Eng., 4 (2009), pp. 231-244.
3. V. I. Arnold, Mathematical Methods of Classical Mechanics, Springer-Verlag, New York, 1989.
4. B. Bagheri and L. Ridgway Scott, About Analysa, Technical report TR-2004-09, Department of Computer Science, University of Chicago, Chicago, IL, 2004.
5. W. Bangerth, R. Hartmann, and G. Kanschat, deal. II-a general-purpose object-oriented finite element library, ACM Trans. Math. Software, 33 (2007), article 24.
6. P. Bientinesi, E. S. Quintana-Ortí, and R.A. van de Geijn, Representing linear algebra algorithms in code: The FLAME application programming interfaces, ACM Trans. Math. Software, 31 (2005), pp. 27-59.
7. J. J. Binney, N. J. Dowrick, A. J. Fisher, and M. E. J. Newman, The Theory of Critical Phenomena: An Introduction to the Renormalization Group, Oxford University Press, New York, 1992.
8. P. M. Chaikin and T. C. Lubensky, Principles of Condensed-Matter Physics, Cambridge University Press, Cambridge, UK, 1995.
9. S. Chandrasekhar, Hydrodynamic and Hydromagnetic Stability, Dover, New York, 1981.
10. E. W. Cheney, Analysis for Applied Mathematics, Springer-Verlag, New York, 2001.
11. S. S. Collis and M. Heinkenschloss, Analysis of the Streamline Upwind/Petrov Galerkin Method Applied to the Solution of Optimal Control Problems, Technical report TR02-01, Department of Computational and Applied Mathematics, Rice University, Houston, TX, 2002.
12. S. Egner and M. Püschel, Automatic generation of fast discrete signal transforms, IEEE Trans. Signal Process., 49 (2001), pp. 1992-2002. (Pubitemid 32866207)
13. S. Egner and M. Püschel, Symmetry-based matrix factorization, J. Symbolic Comput., 37 (2004), pp. 157-186.
14. H. Elman, D. Silvester, and A. Wathen, Finite Elements and Fast Linear Solvers, Oxford University Press, New York, 2005.
15. E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Software, Addison-Wesley, Reading, MA, 1995.
16. A. Griewank, Evaluating Derivatives: Principles and Techniques of Algorithmic Differentiation, SIAM, Philadelphia, 2000.
17. J. A. Gunnels, F. G. Gustavson, G. M. Henry, and R. A. van de Geijn, FLAME: Formal linear algebra methods environment, ACM Trans. Math. Software, 27 (2001), pp. 422-455.
18. E. Guyon, J.-P. Hulin, L. Petit, and C. D. Mitescu, Physical Hydrodynamics, Oxford University Press, Oxford, UK, 2001.
19. F. Hecht, O. Pironneau, A. L. Hyaric, and K. Ohtsuka, FreeFEM++ Manual, 2005; available online from .
20. M. Heroux, R. Bartlett, V. Howle, R. Heokstra, J. Hu, T. Kolda, R. Lehoucq, K. Long, R. Pawlowski, E. Phipps, A. Salinger, H. Thornquist, R. Tuminaro, J. Willenbring, and A. Williams, An Overview of Trilinos, Technical report SAND2003- 2927, Sandia National Laboratories, Albuquerque, NM, 2003.
21. M. A. Heroux et al., The Trilinos Project, . http://trilinos.sandia.gov/ (2010)
22. R. C. Kirby, FIAT: A new paradigm for computing finite element basis functions, ACMTrans. Math. Software, 30 (2004), pp. 502-516.
23. R. C. Kirby, M. Knepley, A. Logg, and L. R. Scott, Optimizing the evaluation of finite element matrices, SIAM J. Sci. Comput., 27 (2005), pp. 741-758.
24. R. C. Kirby and A. Logg, A compiler for variational forms, ACM Trans. Math. Software, 32 (2006), pp. 417-444.
25. R. C. Kirby and A. Logg, Efficient compilation of a class of variational forms, ACMTrans. Math. Software, 33 (2007), article 17.
26. R. C. Kirby and A. Logg, Benchmarking domain-specific compiler optimizations for variational forms, ACM Trans. Math. Software, 35 (2009), article 10.
27. R. C. Kirby, A. Logg, L. R. Scott, and A. R. Terrel, Topological optimization of the evaluation of finite element matrices, SIAM J. Sci. Comput., 28 (2006), pp. 224-240.
28. R. C. Kirby and L. R. Scott, Geometric optimization of the evaluation of finite element matrices, SIAM J. Sci. Comput., 29 (2007), pp. 827-841.
29. A. Logg and G. N. Wells, DOLFIN: Automated finite element computing, ACM Trans. Math. Software, 37 (2010), pp. 1-28.
30. K. Long, Efficient discretization and differentiation of partial differential equations through automatic functional differentiation, in AD 2004-Fourth International Workshop on Automatic Differentiation, B. Norris and P. Hovland, eds., Atlas Conferences, Toronto, 2004.
31. K. Long, Sundance 2.0 Tutorial, Technical report SAND2004-4793, Sandia National Laboratories, Albuquerque, NM, 2004.
32. J. Nitsche, Über ein Variationsprinzip zur Lösung von Dirichlet-Problemen bei Verwendung von Teilräumen, die keinen Randbedingungen unterworfen sind, Abh. Math. Sem. Univ. Hamburg, 36 (1971), pp. 9-15.
33. K. B. Ølgaard and G. N. Wells, Optimizations for quadrature representations of finite element tensors through automated code generation, ACM Trans. Math. Software, 37 (2010), pp. 1-23.
34. S. J. Owen, Cubit 10.2 Documentation, Technical report SAND2006-7156P, Sandia National Laboratories, Albuquerque, NM, 2006.
35. C. Prud'homme, A domain specific embedded language in C++ for automatic differentiation, projection, integration and variational formulations, Sci. Program., 14 (2006), pp. 81-110.
36. M. Püschel, Decomposing monomial representations of solvable groups, J. Symbolic Comput., 34 (2002), pp. 561-596.
37. M. Püschel and J. M. F. Moura, Algebraic signal processing theory: Cooley-Tukey type algorithms for DCTs and DSTs, IEEE Trans. Signal Process., 56 (2008), pp. 3572-3585.
38. M. Püschel, J.M. F. Moura, J. Johnson, D. Padua, M. Veloso, B. W. Singer, J. Xiong, F. Franchetti, A. Gačić, Y. Voronenko, K. Chen, R. W. Johnson, and N. Rizzolo, SPIRAL: Code generation for DSP transforms, Proc. IEEE, 93 (2005), pp. 232-275.
39. S. N. Rasband, Dynamics, John Wiley&Sons, New York, 1989.
40. P. J. Roache, Verification of codes and calculations, AIAA Journal, 36 (1998), pp. 696-702.
41. P. J. Roache, Code verification by the method of manufactured solutions, J. Fluids Eng., 124 (2002), pp. 4-10.
42. H. Sagan, Introduction to the Calculus of Variations, Dover, New York, 1993.
43. B. van Bloemen Waanders, R. Bartlett, K. Long, P. Boggs, and A. Salinger, Large Scale Nonlinear Programming for PDE Constrained Optimization, Technical report SAND2002-3198, Sandia National Laboratories, Albuquerque, NM, 2002.