David Lester
Current Organizations / Institutes
The organizations/institutes from the scholar's latest article
Previous Organizations / Institutes
The organizations / institutes from the scholar's other articles in the past ten years
David Lester has a total of 66 co-authors. Here are the top co-authors by number of shared publications:
- Luis A. Plana
The University of Manchester, Manchester, United Kingdom
8 shared publications - Steve Furber
University of Manchester, Manchester, UK
8 shared publications Steve Temple
Univ Manchester, Manchester, Lancs, England
4 shared publicationsAndrew D. Brown
Electronics and Electrical Engineering, The University of Southampton, Southampton, United Kingdom
3 shared publicationsCameron Patterson
Univ Manchester, Manchester, Lancs, England
3 shared publicationsEustace Painkras
Univ Manchester, Manchester, Lancs, England
3 shared publications
Latest Publications
- 18 November 2015
- Published by Springer Nature
- p. 675-684
Transport-Independent Protocols for Universal AER Communications
- 18 November 2015
- Published by Springer Nature
- p. 675-684
Transport-Independent Protocols for Universal AER Communications
- Open Access
- 1 November 2013
- Published by Elsevier in Parallel Computing
- Vol. 39 (11) , 693-708
SpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture
- 1 November 2013
- Published by Elsevier in Parallel Computing
- Vol. 39 (11) , 693-708
Open AccessSpiNNaker: Fault tolerance in a power- and area- constrained large-scale neuromimetic architecture
- 1 August 2013
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 21614393,p. 1-8
A location-independent direct link neuromorphic interface
With neuromorphic hardware rapidly moving towards large-scale, possibly immovable systems capable of implementing brain-scale neural models in hardware, there is an emerging need to be able to integrate multi-system combinations of sensors and cortical processors over distributed, multisite configurations. If there were a standard, direct interface allowing large systems to communicate using native signalling, it would be possible to use heterogeneous resources efficiently according to their task suitability. We propose a UDP-based AER spiking interface that permits direct bidirectional spike communications over standard networks, and demonstrate a practical implementation with two large-scale neuromorphic systems, BrainScaleS and SpiNNaker. Internally, the interfaces at either end appear as interceptors which decode and encode spikes in a standardised AER address format onto UDP frames. The system is able to run a spiking neural network distributed over the two systems, in both a side-by-side setup with a direct cable link and over the Internet between 2 widely spaced sites. Such a model not only realises a solution for connecting remote sensors or processors to a large, central neuromorphic simulation platform, but also opens possibilities for interesting automated remote neural control, such as parameter tuning, for large, complex neural systems, and suggests methods to overcome differences in timescale and simulation model between different platforms. With its entirely standard protocol and physical layer, the interface makes large neuromorphic systems a distributed, accessible resource available to all.
- 1 August 2013
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 21614393,p. 1-8
A location-independent direct link neuromorphic interface
With neuromorphic hardware rapidly moving towards large-scale, possibly immovable systems capable of implementing brain-scale neural models in hardware, there is an emerging need to be able to integrate multi-system combinations of sensors and cortical processors over distributed, multisite configurations. If there were a standard, direct interface allowing large systems to communicate using native signalling, it would be possible to use heterogeneous resources efficiently according to their task suitability. We propose a UDP-based AER spiking interface that permits direct bidirectional spike communications over standard networks, and demonstrate a practical implementation with two large-scale neuromorphic systems, BrainScaleS and SpiNNaker. Internally, the interfaces at either end appear as interceptors which decode and encode spikes in a standardised AER address format onto UDP frames. The system is able to run a spiking neural network distributed over the two systems, in both a side-by-side setup with a direct cable link and over the Internet between 2 widely spaced sites. Such a model not only realises a solution for connecting remote sensors or processors to a large, central neuromorphic simulation platform, but also opens possibilities for interesting automated remote neural control, such as parameter tuning, for large, complex neural systems, and suggests methods to overcome differences in timescale and simulation model between different platforms. With its entirely standard protocol and physical layer, the interface makes large neuromorphic systems a distributed, accessible resource available to all.
- Top Cited PapersOpen Access
- 13 May 2013
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Journal of Solid-State Circuits
- Vol. 48 (8) , 1943-1953
SpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation
The modelling of large systems of spiking neurons is computationally very demanding in terms of processing power and communication. SpiNNaker - Spiking Neural Network architecture - is a massively parallel computer system designed to provide a cost-effective and flexible simulator for neuroscience experiments. It can model up to a billion neurons and a trillion synapses in biological real time. The basic building block is the SpiNNaker Chip Multiprocessor (CMP), which is a custom-designed globally asynchronous locally synchronous (GALS) system with 18 ARM968 processor nodes residing in synchronous islands, surrounded by a lightweight, packet-switched asynchronous communications infrastructure. In this paper, we review the design requirements for its very demanding target application, the SpiNNaker micro-architecture and its implementation issues. We also evaluate the SpiNNaker CMP, which contains 100 million transistors in a 102-mm2 die, provides a peak performance of 3.96 GIPS, and has a peak power consumption of 1 W when all processor cores operate at the nominal frequency of 180 MHz. SpiNNaker chips are fully operational and meet their power and performance requirements.
- 13 May 2013
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Journal of Solid-State Circuits
- Vol. 48 (8) , 1943-1953
Top Cited PapersOpen AccessSpiNNaker: A 1-W 18-Core System-on-Chip for Massively-Parallel Neural Network Simulation
The modelling of large systems of spiking neurons is computationally very demanding in terms of processing power and communication. SpiNNaker - Spiking Neural Network architecture - is a massively parallel computer system designed to provide a cost-effective and flexible simulator for neuroscience experiments. It can model up to a billion neurons and a trillion synapses in biological real time. The basic building block is the SpiNNaker Chip Multiprocessor (CMP), which is a custom-designed globally asynchronous locally synchronous (GALS) system with 18 ARM968 processor nodes residing in synchronous islands, surrounded by a lightweight, packet-switched asynchronous communications infrastructure. In this paper, we review the design requirements for its very demanding target application, the SpiNNaker micro-architecture and its implementation issues. We also evaluate the SpiNNaker CMP, which contains 100 million transistors in a 102-mm2 die, provides a peak performance of 3.96 GIPS, and has a peak power consumption of 1 W when all processor cores operate at the nominal frequency of 180 MHz. SpiNNaker chips are fully operational and meet their power and performance requirements.
- 1 July 2012
- Published by Elsevier in Information and Computation
- Vol. 216, 39-46
The worldʼs shortest correct exact real arithmetic program?
- 1 July 2012
- Published by Elsevier in Information and Computation
- Vol. 216, 39-46
The worldʼs shortest correct exact real arithmetic program?
- Top Cited Papers
- 26 June 2012
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 62 (12) , 2454-2467
Overview of the SpiNNaker System Architecture
SpiNNaker (a contraction of Spiking Neural Network Architecture) is a million-core computing engine whose flagship goal is to be able to simulate the behavior of aggregates of up to a billion neurons in real time. It consists of an array of ARM9 cores, communicating via packets carried by a custom interconnect fabric. The packets are small (40 or 72 bits), and their transmission is brokered entirely by hardware, giving the overall engine an extremely high bisection bandwidth of over 5 billion packets/s. Three of the principal axioms of parallel machine design (memory coherence, synchronicity, and determinism) have been discarded in the design without, surprisingly, compromising the ability to perform meaningful computations. A further attribute of the system is the acknowledgment, from the initial design stages, that the sheer size of the implementation will make component failures an inevitable aspect of day-to-day operation, and fault detection and recovery mechanisms have been built into the system at many levels of abstraction. This paper describes the architecture of the machine and outlines the underlying design philosophy; software and applications are to be described in detail elsewhere, and only introduced in passing here as necessary to illuminate the description.
- 26 June 2012
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. 62 (12) , 2454-2467
Top Cited PapersOverview of the SpiNNaker System Architecture
SpiNNaker (a contraction of Spiking Neural Network Architecture) is a million-core computing engine whose flagship goal is to be able to simulate the behavior of aggregates of up to a billion neurons in real time. It consists of an array of ARM9 cores, communicating via packets carried by a custom interconnect fabric. The packets are small (40 or 72 bits), and their transmission is brokered entirely by hardware, giving the overall engine an extremely high bisection bandwidth of over 5 billion packets/s. Three of the principal axioms of parallel machine design (memory coherence, synchronicity, and determinism) have been discarded in the design without, surprisingly, compromising the ability to perform meaningful computations. A further attribute of the system is the acknowledgment, from the initial design stages, that the sheer size of the implementation will make component failures an inevitable aspect of day-to-day operation, and fault detection and recovery mechanisms have been built into the system at many levels of abstraction. This paper describes the architecture of the machine and outlines the underlying design philosophy; software and applications are to be described in detail elsewhere, and only introduced in passing here as necessary to illuminate the description.
- 1 January 2012
- Published by IOS Press
- p. 327-334
Processing with a million cores
Traditionally, the performance-limiting attributes of a multi-processor machine are memory bandwidth, the need to maintain state coherence, and simple synchronisation issues, or some combination of these. As the system size increases, so too does the relative cost overhead of solving these problems. The SpiNNaker engine is a million core system with over eight terabytes of distributed memory whose fundamental design axioms neatly sidestep these problems: the processors are not synchronised, the memory is not coherent, and the inter-processor communication is non-deterministic. How, then, can we perform meaningful computations with this architecture?
- 1 January 2012
- Published by IOS Press
- p. 327-334
Processing with a million cores
Traditionally, the performance-limiting attributes of a multi-processor machine are memory bandwidth, the need to maintain state coherence, and simple synchronisation issues, or some combination of these. As the system size increases, so too does the relative cost overhead of solving these problems. The SpiNNaker engine is a million core system with over eight terabytes of distributed memory whose fundamental design axioms neatly sidestep these problems: the processors are not synchronised, the memory is not coherent, and the inter-processor communication is non-deterministic. How, then, can we perform meaningful computations with this architecture?
- 1 November 2011
- Published by Elsevier in Neural Networks
- Vol. 24 (9) , 961-978
Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware
- 1 November 2011
- Published by Elsevier in Neural Networks
- Vol. 24 (9) , 961-978
Concurrent heterogeneous neural model simulation on real-time neuromimetic hardware
- 18 March 2011
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 7 (2) , 85-95
A monadic approach to automated reasoning for Bluespec SystemVerilog
- 18 March 2011
- Published by Springer Nature in Innovations in Systems and Software Engineering
- Vol. 7 (2) , 85-95
A monadic approach to automated reasoning for Bluespec SystemVerilog