Nuno Alves, Alison Buben, Kundan Nepal, Jennifer Dworak, R. Iris Bahar. A Cost Effective Approach for Online Error Detection Using Invariant Relationships. IEEE Trans. on CAD of Integrated Circuits and Systems, 29(5):788-801, 2010. [doi]
Abstract is missing.