Event-Driven Simulation of Networks of Spiking Neurons