Fault-tolerant Typed Assembly Language. Q. Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, and David Walker Princeton University. Transient Faults. TAL FT : An Idealized Fault-tolerant System. Formalizing the TAL FT System. Performance Results.
Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.
Frances Perry, Lester Mackey, George A. Reis, Jay Ligatti, David I. August, and David Walker
TALFT: An Idealized Fault-tolerant System
Formalizing the TALFT System
1 + 1 = 18
The TALFT Machine
0x0393 mov r1 4
0x0394 mov r3 4
0x0395 stG r2 r1
0x0396 stB r4 r3
The Fault-tolerance Theorem
For More Information…
Frances Perry. CRA-W/CDC Programming Languages Summer School. May 9-11, 2007.