David R. Lester

51 papers A 2B 4C 6Journal 21Unranked 18

Year	Rank	Type	Title / Venue / Authors
2018	C	`conf`	Approximate Fixed-Point Elementary Function Accelerator for the SpiNNaker-2 Neuromorphic Chip. ARITH Mantas Mikaitis, David R. Lester, Delong Shang, Steve B. Furber, Gengting Liu, Jim D. Garside, Stefan Scholze, Sebastian Höppner, Andreas Dixius
2018	J	`jnl`	Code Generation in Computational Neuroscience: A Review of Tools and Techniques. Frontiers Neuroinformatics 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
2018	J	`jnl`	SpiNNTools: The Execution Engine for the SpiNNaker Platform. CoRR 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
2017	C	`conf`	A fixed point exponential function accelerator for a neuromorphic many-core system. ISCAS Johannes Partzsch, Sebastian Höppner, Matthias Eberlein, René Schüffny, Christian Mayr, David R. Lester, Steve B. Furber
2017	B	`conf`	Brewing the first ever automatic memory management utility for SpiNNaker: Real-time garbage collection for STDP simulations. IJCNN Mantas Mikaitis, David R. Lester
2017	C	`conf`	Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS 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
2017	C	`conf`	Live demonstration: Dynamic voltage and frequency scaling for neuromorphic many-core systems. ISCAS 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
2015	—	`conf`	Transport-Independent Protocols for Universal AER Communications. ICONIP (4) Alexander D. Rast, Alan B. Stokes, Sergio Davies, Samantha V. Adams, Himanshu Akolkar, David R. Lester, Chiara Bartolozzi, Angelo Cangelosi, Steve B. Furber
2013	B	`conf`	A location-independent direct link neuromorphic interface. IJCNN 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
2013	J	`jnl`	Overview of the SpiNNaker System Architecture. IEEE Trans. Computers Steve B. Furber, David R. Lester, Luis A. Plana, Jim D. Garside, Eustace Painkras, Steve Temple, Andrew D. Brown
2013	J	`jnl`	SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation. IEEE J. Solid State Circuits Eustace Painkras, Luis A. Plana, Jim D. Garside, Steve Temple, Francesco Galluppi, Cameron Patterson, David R. Lester, Andrew D. Brown, Steve B. Furber
2013	J	`jnl`	SpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture. Parallel Comput. 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
2012	J	`jnl`	The world's shortest correct exact real arithmetic program? Inf. Comput. David R. Lester
2011	J	`jnl`	A monadic approach to automated reasoning for Bluespec SystemVerilog. Innov. Syst. Softw. Eng. Dominic Richards, David R. Lester
2011	J	`jnl`	Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware. Neural Networks Alexander D. Rast, Francesco Galluppi, Sergio Davies, Luis A. Plana, Cameron Patterson, Thomas Sharp, David R. Lester, Steve B. Furber
2011	—	`conf`	Processing with a million cores. PARCO Andrew D. Brown, Jeffrey S. Reeve, Stephen B. Furber, David R. Lester
2011	—	`conf`	SpiNNaker: Distributed Computer Engineering for Neuromorphics. WIRN David R. Lester, Steve B. Furber
2011	—	`conf`	Spiking Neural PID Controllers. ICONIP (3) Andrew M. Webb, Sergio Davies, David R. Lester
2010	—	`conf`	A Prototype Embedding of Bluespec SystemVerilog in the PVS Theorem Prover. NASA Formal Methods Dominic Richards, David R. Lester
2010	—	`conf`	A communication infrastructure for a million processor machine. Conf. Computing Frontiers Andrew D. Brown, Steve B. Furber, Jeff S. Reeve, Peter R. Wilson, Mark Zwolinski, John E. Chad, Luis A. Plana, David R. Lester
2010	J	`jnl`	Improved bound for stochastic formal correctness of numerical algorithms. Innov. Syst. Softw. Eng. Marc Daumas, David R. Lester, Érik Martin-Dorel, Annick Truffert
2010	J	`jnl`	Interfacing Real-Time Spiking I/O with the SpiNNaker Neuromimetic Architecture. Aust. J. Intell. Inf. Process. Syst. Sergio Davies, Cameron Patterson, Francesco Galluppi, Alexander D. Rast, David R. Lester, Steve B. Furber
2010	—	`conf`	Machine-efficient Chebyshev approximation for exact arithmetic: their use with first-order ordinary differential equations. SpringSim Mohammed A. Abutheraa, David R. Lester
2009	—	`conf`	Stochastic Formal Methods for Hybrid Systems. NASA Formal Methods Marc Daumas, Érik Martin-Dorel, David R. Lester, Annick Truffert
2009	J	`jnl`	Verified Real Number Calculations: A Library for Interval Arithmetic. IEEE Trans. Computers Marc Daumas, David R. Lester, César A. Muñoz
2008	—	`conf`	Real Number Calculations and Theorem Proving. TPHOLs David R. Lester
2008	B	`conf`	SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor. IJCNN Muhammad Mukaram Khan, David R. Lester, Luis A. Plana, Alexander D. Rast, Xin Jin, Eustace Painkras, Stephen B. Furber
2008	—	`conf`	SpiNNaker: The Design Automation Problem. ICONIP (2) Andrew D. Brown, David R. Lester, Luis A. Plana, Steve B. Furber, Peter R. Wilson
2007	—	`conf`	Stochastic Formal Methods: An Application to Accuracy of Numeric Software. HICSS Marc Daumas, David R. Lester
2007	J	`jnl`	Verified Real Number Calculations: A Library for Interval Arithmetic CoRR Marc Daumas, David R. Lester, César A. Muñoz
2006	J	`jnl`	Functional Pearl: Enumerating the rationals. J. Funct. Program. Jeremy Gibbons, David R. Lester, Richard S. Bird
2006	J	`jnl`	Stochastic Formal Methods for Rare Failure Events due to the Accumulation of Errors CoRR Marc Daumas, David R. Lester
2006	J	`jnl`	Stochastic Formal Methods: An application to accuracy of numeric software CoRR Marc Daumas, David R. Lester
2005	—	`conf`	Real Number Calculations and Theorem Proving. TPHOLs César A. Muñoz, David R. Lester
2003	—	`conf`	Using PVS to Validate the Inverse Trigonometric Functions of an Exact Arithmetic. Numerical Software with Result Verification David R. Lester
2003	J	`jnl`	Using PVS to validate the algorithms of an exact arithmetic. Theor. Comput. Sci. David R. Lester, Paul Gowland
2002	J	`jnl`	A constructive algorithm for finding the exact roots of polynomials with computable real coefficients. Theor. Comput. Sci. David R. Lester, Scott Chambers, Heoi Lee Lu
2001	C	`conf`	Effective Continued Fractions. IEEE Symposium on Computer Arithmetic David R. Lester
2000	C	`conf`	A Survey of Exact Arithmetic Implementations. CCA Paul Gowland, David R. Lester
1995	J	`jnl`	Exact Statistics and Continued Fractions. J. Univers. Comput. Sci. David R. Lester
1995	—	`conf`	Inducing Students to Induct. FPLE David R. Lester, Sava Mintchev
1995	—	`conf`	The Correctness of a Higher-Order Lazy Functional Language Implementation: An Exercise in Mechanical Theorem Proving. HOA Sava Mintchev, David R. Lester
1994	B	`conf`	Towards Machine-Checked Compiler Correctness for Higher-order Pure Functional Languages. CSL David R. Lester, Sava Mintchev
1993	J	`jnl`	An Executable Specification of the HDG-Machine. Int. J. High Speed Comput. David R. Lester, Geoffrey Livingston Burn
1993	A	`conf`	Distributed Garbage Collection of Cyclic Structures. Functional Programming David R. Lester
1991	J	`jnl`	A Modular Fully-lazy Lambda Lifter in HASKELL. Softw. Pract. Exp. Simon L. Peyton Jones, David R. Lester
1991	J	`jnl`	The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network. Comput. J. Hugh Kingdon, David R. Lester, Geoffrey Livingston Burn
1991	A	`conf`	Vuillemin's Exact Real Arithmetic. Functional Programming David R. Lester
1989	—	`conf`	An Efficient Distributed Collection Algorithm. PARLE (1) David R. Lester
1989	—	`conf`	Stacklessness: Compiling Recursion for a Distributed Architecture. FPCA David R. Lester
1987	—	`conf`	The G-machine as a representation of stack semantics. FPCA David R. Lester