34 citations · 119 across the 18 of their papers we have counts for
Showing cs.CLShow all
2 papers · 1 filter
cs.CL2022★ 3 cited
An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods
Farah Benmouhoub, Pierre-Loïc Garoche, Matthieu Martel
Nowadays, parallel computing is ubiquitous in several application fields, both in engineering and science. The computations rely on the floating-point arithmetic specified by the I…
cs.CL2020
Verification and Validation of Convex Optimization Algorithms for Model Predictive Control
Raphaël Cohen, Eric Féron, Pierre-Loïc Garoche
Advanced embedded algorithms are growing in complexity and they are an essential contributor to the growth of autonomy in many areas. However, the promise held by these algorithms…