Compiler-aided Type Tracking for Correctness Checking of MPI Applications.
Alexander HückJan-Patrick LehrSebastian KreutzerJoachim ProtzeChristian TerbovenChristian H. BischofMatthias S. MüllerPublished in: CORRECTNESS@SC (2018)
Keyphrases
- general purpose
- type checking
- parallel algorithm
- real time
- particle filter
- appearance model
- parallel programming
- object tracking
- motion analysis
- parallel implementation
- data sets
- mean shift
- programming language
- motion segmentation
- target tracking
- massively parallel
- motion tracking
- high performance computing
- high level