Accuracy and Efficiency in Fixed-Point Neural ODE Solvers

The SpiNNaker Project

(2014) Steve B. Furber et al.   PROCEEDINGS OF THE IEEE

On the Simulation of Nonlinear Bidimensional Spiking Neuron Models

(2011) Jonathan Touboul   NEURAL COMPUTATION

Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics

(2009) Matthieu Martel   FORMAL METHODS IN SYSTEM DESIGN

Spiking neural network simulation: numerical integration with the Parker-Sochacki method

(2009) Robert D. Stewart et al.   JOURNAL OF COMPUTATIONAL NEUROSCIENCE

Importance of the Cutoff Value in the Quadratic Adaptive Integrate-and-Fire Model

(2009) Jonathan Touboul   NEURAL COMPUTATION

On explicit two-derivative Runge-Kutta methods

(2009) Robert P. K. Chan et al.   NUMERICAL ALGORITHMS