Efficient simulation strategies for spiking neural networks by