Achieving High-Throughput State Machine Replication in Multi-core Systems | IEEE Conference Publication | IEEE Xplore