Fault-tolerant typed assembly language
ACM SIGPLAN Notices
David Walker
David I. August
George A. Reis
Lester Mackey
Frances Perry
Improving the Fault Resilience of an H.264 Decoder Using Static Analysis Methods