Conservative simulation using distributed-shared memory | IEEE Conference Publication | IEEE Xplore