Algorithm and software for simulation of spiking neural networks on the multi-chip SpiNNaker system | IEEE Conference Publication | IEEE Xplore