Software exploitation of a fault-tolerant computer with a large memory | IEEE Conference Publication | IEEE Xplore