activity
20082024
most citedTime and Space Optimal Counting in Population Protocols

23 citations · 27 across the 11 of their papers we have counts for

collaborators

12 papers

stat.CO2024

Error Analysis of Sum-Product Algorithms under Stochastic Rounding

Pablo de Oliveira Castro, El-Mehdi El Arar, Eric Petit +1

The quality of numerical computations can be measured through their forward error, for which finding good error bounds is challenging in general. For several algorithms and using s…

cs.DC2022

High-Quality Fault Resiliency in Fat Trees

John Gliksberg, Antoine Capra, Alexandre Louvet +2

Coupling regular topologies with optimised routing algorithms is key in pushing the performance of interconnection networks of supercomputers.In this paper we present Dmodc, a fast…

cs.DC2022★ 3 cited

High-Quality Fault-Resiliency in Fat-Tree Networks (Extended Abstract)

John Gliksberg, Antoine Capra, Alexandre Louvet +2

Coupling regular topologies with optimized routing algorithms is key in pushing the performance of interconnection networks of HPC systems. In this paper we present Dmodc, a fast d…

math.NA2022

The Positive Effects of Stochastic Rounding in Numerical Algorithms

El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro +1

Recently, stochastic rounding (SR) has been implemented in specialized hardware but most current computing nodes do not yet support this rounding mode. Several works empirically il…

math.NA2022

Stochastic rounding variance and probabilistic bounds: A new approach

El-Mehdi El Arar, Devan Sohier, Pablo de Oliveira Castro +1

Stochastic rounding (SR) offers an alternative to the deterministic IEEE-754 floating-point rounding modes. In some applications such as PDEs, ODEs and neural networks, SR empirica…

math.NA2018

Confidence Intervals for Stochastic Arithmetic

Devan Sohier, Pablo de Oliveira Castro, François Févotte +3

Quantifying errors and losses due to the use of Floating-Point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation and U…