Skip to content

A Verified Library of Algorithmic Skeletons on Evenly Distributed Arrays.

Wadoud Bousdira, Frdric Loulergue, Julien Tesson

VenueCICA3PP
Year2012
ProceedingsICA3PP (1)

Browse the full ICA3PP paper archive.