Skip to Main content Skip to Navigation


...
hal-01236919v2  Journal articles
Laurent ThévenouxPhilippe LangloisMatthieu Martel. Automatic source-to-source error compensation of floating-point programs: code synthesis to optimize accuracy and time
Concurrency and Computation: Practice and Experience, Wiley, 2017, Concurrency and Computation: Practice and Experience, 29 (7), pp.e3953. ⟨10.1002/cpe.3953⟩