Debugging and Optimization of HPC Programs with the Verrou Tool.
François FévotteBruno LathuilièrePublished in: CORRECTNESS@SC (2019)
Keyphrases
- global optimization
- program understanding
- optimization algorithm
- java programs
- high performance computing
- optimization problems
- scientific computing
- hardware designs
- information systems
- novice programmers
- combinatorial optimization
- neural network
- optimization methods
- fault localization
- constrained optimization
- software tools
- optimization method
- expert systems
- high level
- genetic algorithm