The design and verification of a high-performance low-control-overhead asynchronous differential equation solver | IEEE Conference Publication | IEEE Xplore