Numerical Verification of Large Scale CFD Simulations: One Way to Prepare the Exascale Challenge.
Christophe DenisPublished in: HPCC/CSS/ICESS (2014)
Keyphrases
- scientific computing
- high performance computing
- numerical analysis
- real world
- real life
- model checking
- grand challenge
- small scale
- face verification
- information systems
- database
- sensitivity analysis
- numerical simulations
- simulation model
- numerical data
- parallel algorithm
- simulation models
- operating system
- formal verification