Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks. (Synthèse de programmes certifiés en arithmètique à virgule fixe, et son application à des briques de base d'algèbre linéaire)

@inproceedings{Najahi2014SynthesisOC,
  title={Synthesis of certified programs in fixed-point arithmetic, and its application to linear algebra basic blocks. (Synth{\`e}se de programmes certifi{\'e}s en arithm{\`e}tique {\`a} virgule fixe, et son application {\`a} des briques de base d'alg{\`e}bre lin{\'e}aire)},
  author={Mohamed Amine Najahi},
  year={2014}
}

From This Paper

Topics from this paper.
1 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…