Verifying quantitative reliability for programs that execute on unreliable hardware.
Michael CarbinSasa MisailovicMartin C. RinardPublished in: OOPSLA (2013)
Keyphrases
- qualitative and quantitative
- control program
- high level language
- hardware designs
- hardware and software
- low cost
- real time
- error detection
- computer programs
- high level programming
- personal computer
- hardware implementation
- image processing
- highly reliable
- parallel execution
- automatic programming
- model checking
- computer systems
- case study
- computing systems
- computational power
- circuit design
- hardware architecture
- digital circuits