Efficient Matrix Multiplication Based on Discrete Stochastic Arithmetic. - Séthy Montan; Christophe Denis; Jean Marie Chesneaux; Jean Luc Lamotte (Reliab. Comput., 2013)

Sur la validation numérique des codes de calcul industriels. (On the numerical verification of industrial codes). - Séthy Montan (2013)