The shadow algorithm: a scheduling technique for both compiled and interpreted simulation | IEEE Journals & Magazine | IEEE Xplore