Volgen
Dave Lester
Dave Lester
Lecturer, School of Computer Science, University of Manchester, UK
Geverifieerd e-mailadres voor cs.man.ac.uk
Titel
Geciteerd door
Geciteerd door
Jaar
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
8082012
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
5632013
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
4102008
Implementing Functional Languages
Simon L.. Peyton Jones, David R.. Lester
Prentice Hall, 1992
279*1992
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
1692018
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
1691983
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
1012018
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
791988
Verified real number calculations: A library for interval arithmetic
M Daumas, D Lester, C Munoz
IEEE Transactions on Computers 58 (2), 226-237, 2008
742008
A modular fully‐lazy lambda lifter in Haskell
SLP Jones, D Lester
Software: Practice and Experience 21 (5), 479-506, 1991
701991
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
661991
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
632020
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
521996
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
492017
SpiNNTools: the execution engine for the SpiNNaker platform
AGD Rowley, C Brenninkmeijer, S Davidson, D Fellows, A Gait, DR Lester, ...
Frontiers in neuroscience 13, 231, 2019
472019
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
Functional pearl: Enumerating the rationals
J Gibbons, D Lester, R Bird
Journal of Functional Programming 16 (3), 281-291, 2006
462006
A survey of exact arithmetic implementations
P Gowland, D Lester
Computability and Complexity in Analysis, 30-47, 2001
462001
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20