On the evaluation of soft-errors detection techniques for GPGPUs