Follow
Dave Lester
Dave Lester
Lecturer, School of Computer Science, University of Manchester, UK
Verified email at cs.man.ac.uk
Title
Cited by
Cited by
Year
Overview of the SpiNNaker system architecture
SB Furber, DR Lester, LA Plana, JD Garside, E Painkras, S Temple, ...
IEEE transactions on computers 62 (12), 2454-2467, 2012
7832012
SpiNNaker: A 1-W 18-core system-on-chip for massively-parallel neural network simulation
E Painkras, LA Plana, J Garside, S Temple, F Galluppi, C Patterson, ...
IEEE Journal of Solid-State Circuits 48 (8), 1943-1953, 2013
5142013
SpiNNaker: mapping neural networks onto a massively-parallel chip multiprocessor
MM Khan, DR Lester, LA Plana, A Rast, X Jin, E Painkras, SB Furber
2008 IEEE International Joint Conference on Neural Networks (IEEE World …, 2008
4052008
Implementing Functional Languages
Simon L.. Peyton Jones, David R.. Lester
Prentice Hall, 1992
275*1992
Why do people become police officers: A study of reasons and their predictions of success
D Lester
Journal of Police Science and Administration 11 (2), 170-174, 1983
1621983
Performance comparison of the digital neuromorphic hardware SpiNNaker and the neural network simulation software NEST for a full-scale cortical microcircuit model
SJ Van Albada, AG Rowley, J Senk, M Hopkins, M Schmidt, AB Stokes, ...
Frontiers in neuroscience 12, 309524, 2018
1582018
sPyNNaker: a software package for running PyNN simulations on SpiNNaker
O Rhodes, PA Bogdan, C Brenninkmeijer, S Davidson, D Fellows, A Gait, ...
Frontiers in neuroscience 12, 816, 2018
902018
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
752008
Eventual suicide in interrupted and uninterrupted attempters: a challenge to the cry‐for‐help hypothesis
RA Steer, AT Beck, B Garrison, D Lester
Suicide and Life‐Threatening Behavior 18 (2), 119-128, 1988
751988
The HDG-machine: a highly distributed graph-reducer for a transputer network
H Kingdon, DR Lester, GL Burn
The computer journal 34 (4), 290-300, 1991
681991
A modular fully‐lazy lambda lifter in Haskell
SLP Jones, D Lester
Software: Practice and Experience 21 (5), 479-506, 1991
671991
Experience of parental loss and later suicide: data from published biographies
D Lester
Acta Psychiatrica Scandinavica 79 (5), 450-452, 1989
641989
Stochastic rounding and reduced-precision fixed-point arithmetic for solving neural ordinary differential equations
M Hopkins, M Mikaitis, DR Lester, S Furber
Philosophical Transactions of the Royal Society A 378 (2166), 20190052, 2020
582020
Officer attitudes toward police use of force
D Lester, W Geller, H Toch
Police violence: Understanding and controlling police abuse of force, 180-190, 1996
491996
Code generation in computational neuroscience: a review of tools and techniques
I Blundell, R Brette, TA Cleland, TG Close, D Coca, AP Davison, ...
Frontiers in neuroinformatics 12, 68, 2018
472018
A fixed point exponential function accelerator for a neuromorphic many-core system
J Partzsch, S Höppner, M Eberlein, R Schüffny, C Mayr, DR Lester, ...
2017 IEEE International Symposium on Circuits and Systems (ISCAS), 1-4, 2017
462017
A survey of exact arithmetic implementations
P Gowland, D Lester
Computability and Complexity in Analysis, 30-47, 2001
462001
Functional pearl: Enumerating the rationals
J Gibbons, D Lester, R Bird
Journal of Functional Programming 16 (3), 281-291, 2006
432006
Victim-offender relationships and severity of victim injury
MS Heller, SM Ehrlich, D Lester
The Journal of social psychology 120 (2), 229-234, 1983
431983
SpiNNTools: the execution engine for the SpiNNaker platform
AGD Rowley, C Brenninkmeijer, S Davidson, D Fellows, A Gait, DR Lester, ...
Frontiers in neuroscience 13, 439139, 2019
422019
The system can't perform the operation now. Try again later.
Articles 1–20