default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDavid R. Lester
Person information
- affiliation: The University of Manchester
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2019
[i5]Michael Hopkins, Mantas Mikaitis, Dave R. Lester, Steve B. Furber:
Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ODEs. CoRR abs/1904.11263 (2019)- 2018
- [j17]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:
Code Generation in Computational Neuroscience: A Review of Tools and Techniques. Frontiers Neuroinformatics 12: 68 (2018) - [c31]Mantas Mikaitis, David R. Lester, Delong Shang, Steve B. Furber, Gengting Liu, Jim D. Garside, Stefan Scholze, Sebastian Höppner, Andreas Dixius:
Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip. ARITH 2018: 37-44 - [i4]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:
SpiNNTools: The Execution Engine for the SpiNNaker Platform. CoRR abs/1810.06835 (2018) - 2017
- [c30]Mantas Mikaitis, David R. Lester:
Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations. IJCNN 2017: 3008-3015 - [c29]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:
Live demonstration: Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS 2017: 1 - [c28]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:
Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS 2017: 1-4 - [c27]Johannes Partzsch, Sebastian Höppner, Matthias Eberlein, René Schüffny, Christian Mayr, David R. Lester, Steve B. Furber:
A fixed point exponential function accelerator for a neuromorphic many-core system. ISCAS 2017: 1-4 - 2016
- [c26]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:
A Collaborative Simulation-Analysis Workflow for Computational Neuroscience Using HPC. JHPCS 2016: 243-256 - 2015
- [c25]Alexander D. Rast, Alan B. Stokes, Sergio Davies, Samantha V. Adams, Himanshu Akolkar, David R. Lester, Chiara Bartolozzi, Angelo Cangelosi, Steve B. Furber:
Transport-Independent Protocols for Universal AER Communications. ICONIP (4) 2015: 675-684 - 2013
- [j16]Eustace Painkras, Luis A. Plana, Jim D. Garside, Steve Temple, Francesco Galluppi, Cameron Patterson, David R. Lester, Andrew D. Brown, Steve B. Furber:
SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation. IEEE J. Solid State Circuits 48(8): 1943-1953 (2013) - [j15]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:
SpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture. Parallel Comput. 39(11): 693-708 (2013) - [j14]Steve B. Furber, David R. Lester, Luis A. Plana, Jim D. Garside, Eustace Painkras, Steve Temple, Andrew D. Brown:
Overview of the SpiNNaker System Architecture. IEEE Trans. Computers 62(12): 2454-2467 (2013) - [c24]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:
A location-independent direct link neuromorphic interface. IJCNN 2013: 1-8 - 2012
- [j13]David R. Lester:
The world's shortest correct exact real arithmetic program? Inf. Comput. 216: 39-46 (2012) - 2011
- [j12]Dominic Richards, David R. Lester:
A monadic approach to automated reasoning for Bluespec SystemVerilog. Innov. Syst. Softw. Eng. 7(2): 85-95 (2011) - [j11]Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis A. Plana, Cameron Patterson, Thomas Sharp, David R. Lester, Steve B. Furber:
Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. Neural Networks 24(9): 961-978 (2011) - [c23]Andrew M. Webb, Sergio Davies, David R. Lester:
Spiking Neural PID Controllers. ICONIP (3) 2011: 259-267 - [c22]Andrew D. Brown, Jeffrey S. Reeve, Stephen B. Furber, David R. Lester:
Processing with a million cores. PARCO 2011: 327-334 - [c21]David R. Lester, Steve B. Furber:
SpiNNaker: Distributed Computer Engineering for Neuromorphics. WIRN 2011: 324-331 - 2010
- [j10]Sergio Davies, Cameron Patterson, Francesco Galluppi, Alexander D. Rast, David R. Lester, Steve B. Furber:
Interfacing Real-Time Spiking I/O with the SpiNNaker Neuromimetic Architecture. Aust. J. Intell. Inf. Process. Syst. 11(1) (2010) - [j9]Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert:
Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. 6(3): 173-179 (2010) - [c20]Andrew D. Brown, Steve B. Furber, Jeff S. Reeve, Peter R. Wilson, Mark Zwolinski, John E. Chad, Luis A. Plana, David R. Lester:
A communication infrastructure for a million processor machine. Conf. Computing Frontiers 2010: 75-76 - [c19]Dominic Richards, David R. Lester:
A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. NASA Formal Methods 2010: 139-148 - [c18]Mohammed A. Abutheraa, David R. Lester:
Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations. SpringSim 2010: 84
2000 – 2009
- 2009
- [j8]Marc Daumas, David R. Lester, César A. Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers 58(2): 226-237 (2009) - [c17]Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert:
Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods 2009: 136-145 - 2008
- [c16]Andrew D. Brown, David R. Lester, Luis A. Plana, Steve B. Furber, Peter R. Wilson:
SpiNNaker: The Design Automation Problem. ICONIP (2) 2008: 1049-1056 - [c15]Muhammad Mukaram Khan, David R. Lester, Luis A. Plana, Alexander D. Rast, Xin Jin, Eustace Painkras, Stephen B. Furber:
SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor. IJCNN 2008: 2849-2856 - [c14]David R. Lester:
Real Number Calculations and Theorem Proving. TPHOLs 2008: 215-229 - 2007
- [c13]Marc Daumas, David R. Lester:
Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS 2007: 262 - [i3]Marc Daumas, David R. Lester, César A. Muñoz:
Verified Real Number Calculations: A Library for Interval Arithmetic. CoRR abs/0708.3721 (2007) - 2006
- [j7]Jeremy Gibbons, David R. Lester, Richard S. Bird:
Functional Pearl: Enumerating the rationals. J. Funct. Program. 16(3): 281-291 (2006) - [i2]Marc Daumas, David R. Lester:
Stochastic Formal Methods: An application to accuracy of numeric software. CoRR abs/cs/0606101 (2006) - [i1]Marc Daumas, David R. Lester:
Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors. CoRR abs/cs/0610110 (2006) - 2005
- [c12]César A. Muñoz, David R. Lester:
Real Number Calculations and Theorem Proving. TPHOLs 2005: 195-210 - 2003
- [j6]David R. Lester, Paul Gowland:
Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. 291(2): 203-218 (2003) - [c11]David R. Lester:
Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification 2003: 259-273 - 2002
- [j5]David R. Lester, Scott Chambers, Heoi Lee Lu:
A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. 279(1-2): 51-64 (2002) - 2001
- [c10]David R. Lester:
Effective Continued Fractions. IEEE Symposium on Computer Arithmetic 2001: 163- - 2000
- [c9]Paul Gowland, David R. Lester:
A Survey of Exact Arithmetic Implementations. CCA 2000: 30-47
1990 – 1999
- 1995
- [j4]David R. Lester:
Exact Statistics and Continued Fractions. J. Univers. Comput. Sci. 1(7): 504-513 (1995) - [c8]David R. Lester, Sava Mintchev:
Inducing Students to Induct. FPLE 1995: 159-177 - [c7]Sava Mintchev, David R. Lester:
The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA 1995: 144-162 - 1994
- [c6]David R. Lester, Sava Mintchev:
Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL 1994: 369-381 - 1993
- [j3]David R. Lester, Geoffrey Livingston Burn:
An Executable Specification of the HDG-Machine. Int. J. High Speed Comput. 5(3): 327-378 (1993) - [c5]David R. Lester:
Distributed Garbage Collection of Cyclic Structures. Functional Programming 1993: 156-169 - 1991
- [j2]Hugh Kingdon, David R. Lester, Geoffrey Livingston Burn:
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. 34(4): 290-301 (1991) - [j1]Simon L. Peyton Jones, David R. Lester:
A Modular Fully-lazy Lambda Lifter in HASKELL. Softw. Pract. Exp. 21(5): 479-506 (1991) - [c4]David R. Lester:
Vuillemin's Exact Real Arithmetic. Functional Programming 1991: 225-238
1980 – 1989
- 1989
- [c3]David R. Lester:
Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA 1989: 116-128 - [c2]David R. Lester:
An Efficient Distributed Collection Algorithm. PARLE (1) 1989: 207-223 - 1987
- [c1]David R. Lester:
The G-machine as a representation of stack semantics. FPCA 1987: 46-59
Coauthor Index
aka: Stephen B. Furber
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
