Specifying and verifying sparse matrix codes.

Gilad Arnold Johannes Hölzl Ali Sinan Köksal Rastislav Bodík Mooly Sagiv

Published in: ICFP (2010)

Keyphrases

sparse matrix
random projections
sparse linear
error correction
feature extraction
floating point
multi objective
image reconstruction