G4: a fault-tolerant CMOS mainframe | IEEE Conference Publication | IEEE Xplore