Analytic performance model for speculative, synchronous, discrete-event simulation | IEEE Conference Publication | IEEE Xplore