Verifying quantitative reliability for programs that execute on unreliable hardware.
Michael CarbinSasa MisailovicMartin C. RinardPublished in: Commun. ACM (2016)
Keyphrases
- control program
- low cost
- real time
- hardware designs
- hardware and software
- high level language
- qualitative and quantitative
- quantitative and qualitative
- automatic programming
- computing power
- high level programming
- reliability assessment
- vlsi implementation
- image processing
- programming environment
- high end
- highly reliable
- hardware architecture
- embedded systems
- data sets
- database
- computational power
- circuit design
- computing systems
- reliability analysis
- hardware implementation
- computer systems
- hardware description language