Related references
Note: Only part of the references are listed.GeNN: a code generation framework for accelerated brain simulations
Esin Yavuz et al.
SCIENTIFIC REPORTS (2016)
Comparing Neuromorphic Solutions in Action: Implementing a Bio-lnspired Solution to a Benchmark Classification Task on Three Parallel-Computing Platforms
Alan Diamond et al.
FRONTIERS IN NEUROSCIENCE (2016)
Classifying continuous, real-time e-nose sensor data using a bio-inspired spiking network modelled on the insect olfactory system
A. Diamond et al.
BIOINSPIRATION & BIOMIMETICS (2016)
Implementation and improvements of affine arithmetic
Siegfried M. Rump et al.
IEICE NONLINEAR THEORY AND ITS APPLICATIONS (2015)
The SpiNNaker Project
Steve B. Furber et al.
PROCEEDINGS OF THE IEEE (2014)
Error estimation of floating-point summation and dot product
Siegfried M. Rump
BIT NUMERICAL MATHEMATICS (2012)
A generalization of p-boxes to affine arithmetic
Olivier Bouissou et al.
COMPUTING (2012)
The pitfalls of verifying floating-point computations
David Monniaux
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS (2008)
MPFR: A multiple-precision binary floating-point library with correct rounding
Laurent Fousse et al.
ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE (2007)
Discrete stochastic arithmetic for validating results of numerical software
J Vignes
NUMERICAL ALGORITHMS (2004)
Affine arithmetic: concepts and applications
LH de Figueiredo et al.
NUMERICAL ALGORITHMS (2004)
Simple model of spiking neurons
EM Izhikevich
IEEE TRANSACTIONS ON NEURAL NETWORKS (2003)
Verified integration of dynamics in the solar system
M Berz et al.
NONLINEAR ANALYSIS-THEORY METHODS & APPLICATIONS (2001)