An event-driven model for the SpiNNaker virtual synaptic channel | IEEE Conference Publication | IEEE Xplore