Formal derivation and extraction of a parallel program for the all nearest smaller values problem.

Frdric Loulergue, Simon Robillard, Julien Tesson, Joeffrey Legaux, Zhenjiang Hu

Browse the full SAC paper archive.