Dave Lester
Dave Lester
Lecturer, School of Computer Science, University of Manchester, UK
Verifisert e-postadresse på cs.man.ac.uk
Sitert av
Sitert av
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
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
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
Implementing Functional Languages
Simon L.. Peyton Jones, David R.. Lester
Prentice Hall, 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
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, 291, 2018
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
A modular fully‐lazy lambda lifter in Haskell
SLP Jones, D Lester
Software: Practice and Experience 21 (5), 479-506, 1991
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
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
Experience of parental loss and later suicide: data from published biographies
D Lester
Acta Psychiatrica Scandinavica 79 (5), 450-452, 1989
A survey of exact arithmetic implementations
P Gowland, D Lester
Computability and Complexity in Analysis, 30-47, 2001
Functional pearl: Enumerating the rationals
J Gibbons, D Lester, R Bird
Journal of Functional Programming 16 (3), 281-291, 2006
Victim-offender relationships and severity of victim injury
MS Heller, SM Ehrlich, D Lester
The Journal of social psychology 120 (2), 229-234, 1983
Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware
A Rast, F Galluppi, S Davies, L Plana, C Patterson, T Sharp, D Lester, ...
Neural Networks 24 (9), 961-978, 2011
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
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
Real number calculations and theorem proving
C Munoz, D Lester
Theorem Proving in Higher Order Logics, 195-210, 2005
Combinator Graph Reduction: A Congruence and its Applications (PRG-73)
D Lester
PRG, Oxford University Computing Laboratory, 1989
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
Systemet kan ikke utføre handlingen. Prøv igjen senere.
Artikler 1–20