The lookahead in a user-transparent conservative parallel simulator | IEEE Conference Publication | IEEE Xplore