Formal derivation and extraction of a parallel program for the all nearest smaller values problem.
Frédéric LoulergueSimon RobillardJulien TessonJoeffrey LegauxZhenjiang HuPublished in: SAC (2014)
Keyphrases
- nearest neighbor
- information extraction
- computer programs
- massively parallel
- parallel processing
- parameter values
- parallel implementation
- computer architecture
- formal model
- automatic extraction
- standard deviation
- parallel computing
- euclidean distance
- attribute values
- nearest neighbour
- static analysis
- formal methods
- computer systems
- distributed memory
- multi core processors
- high level programming language