48 citations · 87 across the 5 of their papers we have counts for
5 papers
Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations
Michael Hopkins, Mantas Mikaitis, Dave R. Lester +1
Although double-precision floating-point arithmetic currently dominates high-performance computing, there is increasing interest in smaller and simpler arithmetic types. The main r…
SpiNNTools: The Execution Engine for the SpiNNaker Platform
Andrew G. D. Rowley, Christian Brenninkmeijer, Simon Davidson +7
Distributed systems are becoming more common place, as computers typically contain multiple computation processors. The SpiNNaker architecture is such a distributed architecture, c…
Verified Real Number Calculations: A Library for Interval Arithmetic
Marc Daumas, David Lester, César Muñoz
Real number calculations on elementary functions are remarkably difficult to handle in mechanical proofs. In this paper, we show how these calculations can be performed within a th…
Stochastic Formal Methods for Hybrid Systems
Marc Daumas, David Lester, Erik Martin-Dorel +1
We provide a framework to bound the probability that accumulated errors were never above a given threshold on hybrid systems. Such systems are used for example to model an aircraft…
Stochastic Formal Methods: An application to accuracy of numeric software
Marc Daumas, David Lester
This paper provides a bound on the number of numeric operations (fixed or floating point) that can safely be performed before accuracy is lost. This work has important implications…