D. Équipe-projet and U. , Perpignan Via Domitia LIRMM, CNRS: UMR 5506 -Univ

D. A. Najahi and C. Dali-upvd-/-lirmm, Synthesis of fixed-point programs: the case of matrix multiplication 26, p.26

A. Najahi and C. Dali-upvd-/-lirmm, Synthesis of fixed-point programs: the case of matrix multiplication 27, p.26