Teraflops supercomputer: architecture and validation of the fault tolerance mechanisms | IEEE Journals & Magazine | IEEE Xplore