Effectiveness and limitations of various software techniques for "soft error" detection: a comparative study | IEEE Conference Publication | IEEE Xplore