Fault-tolerant typed assembly language
- 10 June 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM)
Abstract
No abstract availableThis publication has 20 references indexed in Scilit:
- Static typing for a faulty lambda calculusPublished by Association for Computing Machinery (ACM) ,2006
- A framework for unrestricted whole-program optimizationPublished by Association for Computing Machinery (ACM) ,2006
- Designing Reliable Systems from Unreliable Components: The Challenges of Transistor Variability and DegradationIEEE Micro, 2005
- ED/sup 4/I: error detection by diverse data and duplicated instructionsIEEE Transactions on Computers, 2002
- Control-flow checking by software signaturesIEEE Transactions on Reliability, 2002
- Soft errors in advanced semiconductor devices-part I: the three radiation sourcesIEEE Transactions on Device and Materials Reliability, 2001
- Software-implemented EDAC protection against SEUsIEEE Transactions on Reliability, 2000
- From system F to typed assembly languageACM Transactions on Programming Languages and Systems, 1999
- IBM's S/390 G5 microprocessor designIEEE Micro, 1999
- Concurrent error detection using watchdog processors-a surveyIEEE Transactions on Computers, 1988