Fault-tolerant typed assembly language

This publication has 20 references indexed in Scilit:

• Static typing for a faulty lambda calculus
  Published by Association for Computing Machinery (ACM) ,2006
• A framework for unrestricted whole-program optimization
  Published by Association for Computing Machinery (ACM) ,2006
• Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and Degradation
  IEEE Micro, 2005
• ED/sup 4/I: error detection by diverse data and duplicated instructions
  IEEE Transactions on Computers, 2002
• Control-flow checking by software signatures
  IEEE Transactions on Reliability, 2002
• Soft errors in advanced semiconductor devices-part I: the three radiation sources
  IEEE Transactions on Device and Materials Reliability, 2001
• Software-implemented EDAC protection against SEUs
  IEEE Transactions on Reliability, 2000
• From system F to typed assembly language
  ACM Transactions on Programming Languages and Systems, 1999
• IBM's S/390 G5 microprocessor design
  IEEE Micro, 1999
• Concurrent error detection using watchdog processors-a survey
  IEEE Transactions on Computers, 1988