David R. Lester

According to our database, David R. Lester authored at least 51 papers between 1987 and 2019.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2019

Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ODEs.

Michael Hopkins, Mantas Mikaitis, Dave R. Lester, Steve B. Furber

CoRR, 2019

2018

Code Generation in Computational Neuroscience: A Review of Tools and Techniques.

Inga Blundell, Romain Brette, Thomas A. Cleland, Thomas G. Close, Daniel Coca, Andrew P. Davison, Sandra Diaz-Pier, Carlos Fernandez Musoles, Padraig Gleeson, Dan F. M. Goodman, Michael L. Hines, Michael W. Hopkins, Pramod S. Kumbhar, David R. Lester, Bóris Marin, Abigail Morrison, Eric Müller, Thomas Nowotny, Alexander Peyser, Dimitri Plotnikov, Paul Richmond, Andrew Rowley, Bernhard Rumpe, Marcel Stimberg, Alan B. Stokes, Adam R. Tomkins, Guido Trensch, Michael Marmaduke Woodman, Jochen Martin Eppler

Frontiers Neuroinformatics, 2018

SpiNNTools: The Execution Engine for the SpiNNaker Platform.

Andrew G. D. Rowley, Christian Y. A. Brenninkmeijer, Simon Davidson, Donal Fellows, Andrew Gait, David R. Lester, Luis A. Plana, Oliver Rhodes, Alan B. Stokes, Steve B. Furber

CoRR, 2018

Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip.

Mantas Mikaitis, David R. Lester, Delong Shang, Steve B. Furber, Gengting Liu, Jim D. Garside, Stefan Scholze, Sebastian Höppner, Andreas Dixius

Proceedings of the 25th IEEE Symposium on Computer Arithmetic, 2018

2017

A fixed point exponential function accelerator for a neuromorphic many-core system.

Johannes Partzsch, Sebastian Höppner, Matthias Eberlein, René Schüffny, Christian Mayr, David R. Lester, Steve B. Furber

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Dynamic voltage and frequency scaling for neuromorphic many-core systems.

Sebastian Höppner, Yexin Yan, Bernhard Vogginger, Andreas Dixius, Johannes Partzsch, Felix Neumärker, Stephan Hartmann, Stefan Schiefer, Stefan Scholze, Georg Ellguth, Love Cederstroem, Matthias Eberlein, Christian Mayr, Steve Temple, Luis A. Plana, Jim D. Garside, Simon Davidson, David R. Lester, Steve B. Furber

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Live demonstration: Dynamic voltage and frequency scaling for neuromorphic many-core systems.

Sebastian Höppner, Yexin Yan, Bernhard Vogginger, Andreas Dixius, Johannes Partzsch, Prateek Joshi, Felix Neumärker, Stephan Hartmann, Stefan Schiefer, Stefan Scholze, Georg Ellguth, Love Cederstroem, Matthias Eberlein, Christian Mayr, Steve Temple, Luis A. Plana, Jim D. Garside, Simon Davidson, David R. Lester, Steve B. Furber

Proceedings of the IEEE International Symposium on Circuits and Systems, 2017

Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations.

Mantas Mikaitis, David R. Lester

Proceedings of the 2017 International Joint Conference on Neural Networks, 2017

2016

A Collaborative Simulation-Analysis Workflow for Computational Neuroscience Using HPC.

Johanna Senk, Alper Yegenoglu, Olivier Amblet, Yury Brukau, Andrew P. Davison, David Roland Lester, Anna Lührs, Pietro Quaglio, Vahid Rostami, Andrew Rowley, Bernd Schuller, Alan Barry Stokes, Sacha Jennifer van Albada, Daniel Zielasko, Markus Diesmann, Benjamin Weyers, Michael Denker, Sonja Grün

Proceedings of the High-Performance Scientific Computing, 2016

2015

Transport-Independent Protocols for Universal AER Communications.

Alexander D. Rast, Alan B. Stokes, Sergio Davies, Samantha V. Adams, Himanshu Akolkar, David R. Lester, Chiara Bartolozzi, Angelo Cangelosi, Steve B. Furber

Proceedings of the Neural Information Processing - 22nd International Conference, 2015

2013

Overview of the SpiNNaker System Architecture.

Steve B. Furber, David R. Lester, Luis A. Plana, Jim D. Garside, Eustace Painkras, Steve Temple, Andrew D. Brown

IEEE Trans. Computers, 2013

SpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture.

Javier Navaridas, Steve B. Furber, Jim D. Garside, Xin Jin, Mukaram M. Khan, David R. Lester, Mikel Luján, José Miguel-Alonso, Eustace Painkras, Cameron Patterson, Luis A. Plana, Alexander D. Rast, Dominic Richards, Yebin Shi, Steve Temple, Jian Wu, Shufan Yang

Parallel Comput., 2013

SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation.

Eustace Painkras, Luis A. Plana, Jim D. Garside, Steve Temple, Francesco Galluppi, Cameron Patterson, David R. Lester, Andrew D. Brown, Steve B. Furber

IEEE J. Solid State Circuits, 2013

A location-independent direct link neuromorphic interface.

Alexander D. Rast, Johannes Partzsch, Christian Mayr, Johannes Schemmel, Stefan Hartmann, Luis A. Plana, Steve Temple, David R. Lester, René Schüffny, Steve B. Furber

Proceedings of the 2013 International Joint Conference on Neural Networks, 2013

2012

The world's shortest correct exact real arithmetic program?

David R. Lester

Inf. Comput., 2012

2011

Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware.

Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis A. Plana, Cameron Patterson, Thomas Sharp, David R. Lester, Steve B. Furber

Neural Networks, 2011

A monadic approach to automated reasoning for Bluespec SystemVerilog.

Dominic Richards, David R. Lester

Innov. Syst. Softw. Eng., 2011

SpiNNaker: Distributed Computer Engineering for Neuromorphics.

David R. Lester, Steve B. Furber

Proceedings of the Neural Nets WIRN11, 2011

Processing with a million cores.

Andrew D. Brown, Jeffrey S. Reeve, Stephen B. Furber, David R. Lester

Proceedings of the Applications, Tools and Techniques on the Road to Exascale Computing, Proceedings of the conference ParCo 2011, 31 August, 2011

Spiking Neural PID Controllers.

Andrew M. Webb, Sergio Davies, David R. Lester

Proceedings of the Neural Information Processing - 18th International Conference, 2011

2010

Improved bound for stochastic formal correctness of numerical algorithms.

Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert

Innov. Syst. Softw. Eng., 2010

Interfacing Real-Time Spiking I/O with the SpiNNaker Neuromimetic Architecture.

Sergio Davies, Cameron Patterson, Francesco Galluppi, Alexander D. Rast, David R. Lester, Steve B. Furber

Aust. J. Intell. Inf. Process. Syst., 2010

Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations.

Mohammed A. Abutheraa, David R. Lester

Proceedings of the 2010 Spring Simulation Multiconference, 2010

A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover.

Dominic Richards, David R. Lester

Proceedings of the Second NASA Formal Methods Symposium, 2010

A communication infrastructure for a million processor machine.

Andrew D. Brown, Steve B. Furber, Jeff S. Reeve, Peter R. Wilson, Mark Zwolinski, John E. Chad, Luis A. Plana, David R. Lester

Proceedings of the 7th Conference on Computing Frontiers, 2010

2009

Verified Real Number Calculations: A Library for Interval Arithmetic.

Marc Daumas, David R. Lester, César A. Muñoz

IEEE Trans. Computers, 2009

Stochastic Formal Methods for Hybrid Systems.

Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert

Proceedings of the First NASA Formal Methods Symposium, 2009

2008

Real Number Calculations and Theorem Proving.

David R. Lester

Proceedings of the Theorem Proving in Higher Order Logics, 21st International Conference, 2008

SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor.

Muhammad Mukaram Khan, David R. Lester, Luis A. Plana, Alexander D. Rast, Xin Jin, Eustace Painkras, Stephen B. Furber

Proceedings of the International Joint Conference on Neural Networks, 2008

SpiNNaker: The Design Automation Problem.

Andrew D. Brown, David R. Lester, Luis A. Plana, Steve B. Furber, Peter R. Wilson

Proceedings of the Advances in Neuro-Information Processing, 15th International Conference, 2008

2007

Stochastic Formal Methods: An Application to Accuracy of Numeric Software.

Marc Daumas, David R. Lester

Proceedings of the 40th Hawaii International International Conference on Systems Science (HICSS-40 2007), 2007

2006

Functional Pearl: Enumerating the rationals.

Jeremy Gibbons, David R. Lester, Richard S. Bird

J. Funct. Program., 2006

Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors

Marc Daumas, David R. Lester

CoRR, 2006

2005

Real Number Calculations and Theorem Proving.

César A. Muñoz, David R. Lester

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

2003

Using PVS to validate the algorithms of an exact arithmetic.

David R. Lester, Paul Gowland

Theor. Comput. Sci., 2003

Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic.

David R. Lester

Proceedings of the Numerical Software with Result Verification, 2003

2002

A constructive algorithm for finding the exact roots of polynomials with computable real coefficients.

David R. Lester, Scott Chambers, Heoi Lee Lu

Theor. Comput. Sci., 2002

2001

Effective Continued Fractions.

David R. Lester

Proceedings of the 15th IEEE Symposium on Computer Arithmetic (Arith-15 2001), 2001

2000

A Survey of Exact Arithmetic Implementations.

Paul Gowland, David R. Lester

Proceedings of the Computability and Complexity in Analysis, 4th International Workshop, 2000

1995

Exact Statistics and Continued Fractions.

David R. Lester

J. Univers. Comput. Sci., 1995

The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving.

Sava Mintchev, David R. Lester

Proceedings of the Higher-Order Algebra, 1995

Inducing Students to Induct.

David R. Lester, Sava Mintchev

Proceedings of the Functional Programming Languages in Education, 1995

1994

Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages.

David R. Lester, Sava Mintchev

Proceedings of the Computer Science Logic, 8th International Workshop, 1994

1993

An Executable Specification of the HDG-Machine.

David R. Lester, Geoffrey Livingston Burn

Int. J. High Speed Comput., 1993

Distributed Garbage Collection of Cyclic Structures.

David R. Lester

Proceedings of the 1993 Glasgow Workshop on Functional Programming, 1993

1991

A Modular Fully-lazy Lambda Lifter in HASKELL.

Simon L. Peyton Jones, David R. Lester

Softw. Pract. Exp., 1991

The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network.

Hugh Kingdon, David R. Lester, Geoffrey Livingston Burn

Comput. J., 1991

Vuillemin's Exact Real Arithmetic.

David R. Lester

Proceedings of the Functional Programming, 1991

1989

An Efficient Distributed Collection Algorithm.

David R. Lester

Proceedings of the PARLE '89: Parallel Architectures and Languages Europe, 1989

Stacklessness: Compiling Recursion for a Distributed Architecture.

David R. Lester

Proceedings of the fourth international conference on Functional programming languages and computer architecture, 1989

1987

The G-machine as a representation of stack semantics.

David R. Lester

Proceedings of the Functional Programming Languages and Computer Architecture, 1987