A high-parallelism distributed scheduling mechanism for multi-core instruction-set simulation | IEEE Conference Publication | IEEE Xplore