Verified High Performance Computing: The SyDPaCC Approach.
Frédéric LoulergueAli Ed-DbaliPublished in: VECoS (2023)
Keyphrases
- high performance computing
- scientific computing
- computational science
- massively parallel
- computing systems
- grid computing
- computing resources
- parallel computing
- high performance data mining
- computing environments
- fault tolerance
- molecular dynamics
- energy efficiency
- message passing interface
- national laboratory
- fine grained
- management system
- cloud computing
- information systems
- databases