Neuroinformatics Original Research Article a General and Efficient Method for Incorporating Precise Spike times in Globally Time-driven Simulations