JiST: an efficient approach to simulation using virtual machines | Synapse