GUIDE: Parallel library-centric application design by a generic scientific simulation environment

References

• Abrahams , D. and Gurtovoy , A. 2004 . C++ Template Metaprogramming: Concepts, Tools, and Techniques From Boost and Beyond (C++ in Depth Series) , Boston, MA : Addison-Wesley .
   Google Scholar
• D. Abrahams, J. Siek, and T. Witt, New iterator concepts, Technical Report N1477 03-0060, ISO/IEC JTC 1, Information Technology, Subcommittee SC 22, Programming Language C++ (2003)
   Google Scholar
• Austern , M.H. 1998 . Generic Programming and the STL: Using and Extending the C++ Standard Template Library , Boston, MA : Addison-Wesley .
   Google Scholar
• O. Bagge, CodeBoost: A framework for transforming C++ programs, Master's thesis, University of Bergen, P.O.Box 7800, N-5020 Bergen, Norway, 2003
   Google Scholar
• W. Bangerth, R. Hartmann, and G. Kanschat, deal.II Differential Equations Analysis Library, Technical Reference
   Google Scholar
• G. Berti, Generic software components for scientific computing, Dissertation, Technische Universität Cottbus, 2000
   Google Scholar
• Berti , G. 2002 . “ GrAL – The grid algorithms library ” . In Proceedings of the Computational Science ICCS , Vol. 2331 , 745 – 754 . London, UK : Springer .
   Google Scholar
• Boost: Boost C++ Libraries, http://www.boost.org
   Google Scholar
• Fabri , A. 2001 . “ CGAL – The computational geometry algorithm library ” . In Proceedings of the 10th International Meshing Roundtable, CA, USA 137 – 142 .
   Google Scholar
• Grasser , T. , Tang , T. , Kosina , H. and Selberherr , S. 2003 . A review of hydrodynamic and energy-transport models for semiconductor device simulation . Proc. IEEE , 91 ( 2 ) : 251 – 274 .
   Google Scholar
• Gregor , D. , Järvi , J. , Kulkarni , M. , Lumsdaine , A. , Musser , D. and Schupp , S. 2005 . Generic programming and high-performance libraries . Int. J. Parallel Prog. , 33 ( 2 ) : 145 – 164 .
   Google Scholar
• Haveraaen , M. , Friis , H. and Johansen , T. 1999 . Formal Software Engineering for Computational Modeling . Nordic J. Comput. , 3 ( 6 ) : 241 – 270 .
   Google Scholar
• R. Heinzl, Concepts for scientific computing, Dissertation, Technische Universität Wien, Austria, 2007
   Google Scholar
• Heinzl , R. , Schwaha , P. , Spevak , M. and Grasser , T. 2006 . “ Performance aspects of a DSEL for scientific computing with C++ ” . In Proceedings of the POOSC Conference, Nantes, France 37 – 41 .
   Google Scholar
• Heinzl , R. , Spevak , M. , Schwaha , P. and Selberherr , S. 2006 . “ A generic topology library ” . In Proceedings of the Object-Oriented Programming Systems, Languages, and Applications Conf., Portland, OR, USA 85 – 93 .
   Google Scholar
• Heinzl , R. , Schwaha , P. and Selberherr , S. 2007 . “ A high performance generic scientific simulation environment ” . In Lecture Notes in Computer Science , Edited by: Kaagström , B. Vol. 4699 , 781 – 790 . Berlin : Springer .
   Google Scholar
• M. Heroux, R. Bartlett, V.H.R. Hoekstra, 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, 2003
   Google Scholar
• Jazayeri , M. 1995 . “ Component programming – A fresh look at software components ” . In Proceedings of the Software Engineering (ESEC'95) , Edited by: Schäfer , W. and Botella , P. 457 – 478 . Berlin : Springer .
   Google Scholar
• Johnson , S.C. 1979 . “ YACC: Yet another compiler compiler ” . In UNIX Programmer's Manual , Vol. 2 , 353 – 387 . New York, NY : Holt, Rinehart, and Winston .
   Google Scholar
• Kagstrom , B. , Elmroth , E. , Dongarra , J. and Wasniewski , J. , eds. 2007 . “ Applied parallel computing ” . In State of the Art in Scientific Computing , Berlin/Heidelberg : Springer .
   Google Scholar
• Langtangen , H.P. and Cai , X. 2006 . “ Mixed language programming for HPC applications ” . In Proceedings of the PARA Conference, Umea, Sweden 154
   Google Scholar
• A. Logg, T. Dupont, J. Hoffman, C. Johnson, R.C. Kirby, M.G. Larson, and L.R. Scott, The FEniCS project, Technical Report 2003-21, Chalmers Finite Element Center, 2003
   Google Scholar
• Musser , D.R. and Stepanov , A.A. 1988 . “ Generic programming ” . In Proceedings of the ISSAC'88 on Symb. and Alg. Comp , 13 – 25 . London, UK : Springer .
   Google Scholar
• Pion , S. and Fabri , A. 2006 . “ A generic lazy evaluation scheme for exact geometric computations ” . In Proceedings of the Object-Oriented Programming Systems, Languages, and Applications Conference, Portland, OR, USA 75 – 84 .
   Google Scholar
• Plauger , P. , Lee , M. , Musser , D. and Stepanov , A.A. 2000 . C++ Standard Template Library , Upper Saddle River, NJ : Prentice Hall PTR .
   Google Scholar
• Pozo , R. 1997 . Template numerical toolkit for linear algebra: high performance programming with C++ and the standard template library . Int. J. High Perfor. Comput. Appl. , 11 ( 3 ) : 251 – 263 .
   Google Scholar
• Schwaha , P. , Schwaha , M. , Heinzl , R. , Ungersboeck , E. and Selberherr , S. 2007 . “ Simulation methodologies for scientific computing ” . In Proceedings of the 2nd ICSOFT 2007, Barcelona, Spain 270 – 276 .
   Google Scholar
• J. Siek and A. Lumsdaine, Mayfly: A Pattern for Lightweight Generic Interfaces, 1999
   Google Scholar
• J. Siek and A. Lumsdaine, Software Engineering for Peak Performance, C++ Report, 2000, pp. 23–27
   Google Scholar
• Siek , J.G. and Lumsdaine , A. 2000 . “ Concept checking: Binding parametric polymorphism in C++ ” . In Proceedings of the First Workshop on C++ Template Programming, Erfurt, Germany
   Google Scholar
• Siek , J. , Lee , L.Q. and Lumsdaine , A. 2002 . The Boost Graph Library: User Guide and Reference Manual , Boston, MA : Addison-Wesley .
   Google Scholar
• Singler , J. and Kosnik , B. 2008 . “ The libstdc++ parallel mode: Software engineering considerations ” . In Proceedings of IWMSE, Leipzig, Germany 15 – 22 .
   Google Scholar
• Singler , J. , Sanders , P. and Putze , F. 2007 . “ The multi-core standard template library ” . In Lecture Notes in Computer Science , Vol. 4641 , 682 – 694 . Berlin : Springer .
   Google Scholar
• Stimpfl , F. , Heinzl , R. , Schwaha , P. and Selberherr , S. 2008 . “ High performance parallel delaunay mesh generation and adaptation ” . In Proceedings of the PARA Conference, Trondheim, Norway
   Google Scholar
• Veldhuizen , T.L. 1995 . Expression templates . C++ Report , 7 ( 5 ) : 26 – 31 . Reprinted in C++ Gems, ed. Stanley Lippman
   Google Scholar
• Veldhuizen , T.L. 2000 . “ Five compilation models for C++ templates ” . In 1st Workshop on C++ Template Programming
   Google Scholar
• Veldhuizen , T.L. 2004 . Domain-Specific Program Generation. Lecture Notes in Computer Science , Vol. 3016 , 306 – 324 . Berlin : Springer .
   Google Scholar
• Veldhuizen , T.L. 2004 . “ Stage-preserving embeddings of languages ” . In The 16th Nordic Workshop on Programming Theory (NWPT'04) 5 – 8 .
   Google Scholar
• Veldhuizen , T.L. and Gannon , D. 1998 . “ Active libraries: Rethinking the roles of compilers and libraries ” . In Proc. of the SIAM Workshop on Obj.-Oriented Methods for Inter-Operable Sci. and Eng. Comp. (OO'98) , Philadelphia : SIAM .
   Google Scholar