Software exploitation of a fault-tolerant computer with a large memoryFrank EskesenMichel Hacket al.1998FTCS 1998