S-Paxos: Offloading the Leader for High Throughput State Machine Replication | IEEE Conference Publication | IEEE Xplore