Efficient Software Checking for Fault Tolerance

119 p.Thesis (Ph.D.)--University of Illinois at Urbana-Champaign, 2008.In the end, this dissertation proposes an interesting future work, which is to find a set of variables protecting which it can most likely catch harmful errors that would cause Silent Data Corruption to the program. By ignoring non-harmful errors, the cost spent on detecting them and unnecessary rollbacks can be saved.U of I OnlyRestricted to the U of I community idenfinitely during batch ingest of legacy ETD