Abstracting parallel program specification: a case study on k-means clustering.
Anne HommelbergKristian F. D. RietveldHarry A. G. WijshoffPublished in: CF (2019)
Keyphrases
- high level programming language
- control program
- case study
- shared memory
- program execution
- parallel implementation
- computer programs
- clustering algorithm
- modelling language
- parallel processing
- test bed
- parallel computing
- massively parallel
- specification language
- control flow
- formal specification
- databases
- high level
- real world
- neural network