Partitioning for synchronous parallel simulation | IEEE Conference Publication | IEEE Xplore