 | 2008 |
|---|
| 8 |       | Andrew D. Brown,
David R. Lester,
Luis A. Plana,
Steve Furber,
Peter R. Wilson:
SpiNNaker: The Design Automation Problem.
ICONIP (2) 2008: 1049-1056 |
| 7 | | M. M. Khan,
David R. Lester,
Luis A. Plana,
Alexander D. Rast,
X. Jin,
E. Painkras,
Stephen B. Furber:
SpiNNaker: Mapping neural networks onto a massively-parallel chip multiprocessor.
IJCNN 2008: 2849-2856 |
| 6 | | David R. Lester:
Real Number Calculations and Theorem Proving.
TPHOLs 2008: 215-229 |
| 1993 |
|---|
| 5 | | David R. Lester,
Geoffrey L. Burn:
An Executable Specification of the HDG-Machine.
International Journal of High Speed Computing 5(3): 327-378 (1993) |
| 1991 |
|---|
| 4 |  | David R. Lester:
Vuillemin's Exact Real Arithmetic.
Functional Programming 1991: 225-238 |
| 3 | | Hugh Kingdon,
David R. Lester,
Geoffrey L. Burn:
The HDG-Machine: A Highly Distributed Graph-Reducer for a Transputer Network.
Comput. J. 34(4): 290-301 (1991) |
| 1989 |
|---|
| 2 | | David R. Lester:
Stacklessness: Compiling Recursion for a Distributed Architecture.
FPCA 1989: 116-128 |
| 1 | | David R. Lester:
An Efficient Distributed Collection Algorithm.
PARLE (1) 1989: 207-223 |
