Approximate hardening techniques for digital signal processing circuits against radiation-induced faults Supervised Theses