Cost-efficient scheduling in high-level synthesis for Soft-Error Vulnerability Mitigation | IEEE Conference Publication | IEEE Xplore