Simulating Spiking Neural Networks with Timed Dataflow Graphs | IEEE Conference Publication | IEEE Xplore