|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Verification of Fortran Codes
If you have a question about this talk, please contact Matthew Danish.
Fortran is a popular language for computational science codes which typically run on large supercomputers. With the advent of large Petascale machines, there is a strong emphasis on parallel scalability and energy efficiency. However, knowledge of verification of Fortran codes is lacking and there is anecdotal evidence to suggest that there is an over-reliance compilers to verify codes. This presentation will introduce a simple verification workflow and present the NAG compiler and verification tools for Fortran codes.
This talk is part of the Testing & Verification For Computational Science series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsCambridge Area Sequencing Informatics Meeting VI (2014) Archaeology Graduate Seminar Series Engineering Department Bio and Micromechanics Seminars
Other talksTowards an evidence base for best practice in mathematics education 200 ppi and other annoying things about displays Presentation: Challenge 2. Modelling Sewer Networks Sleep and mental health The effects of directional wind shear on orographic gravity-wave breaking The influence of fairy tale on contemporary Australian fantasy fiction for young people