Hardware-Dependent Proofs of Numerical Programs.
Thi Minh Tuyen NguyenClaude MarchéPublished in: CPP (2011)
Keyphrases
- control program
- hardware designs
- low cost
- computer programs
- hardware and software
- high level language
- theorem proving
- real time
- data acquisition
- automatic programming
- computing power
- sensitivity analysis
- high level programming
- circuit design
- massively parallel
- computing systems
- theorem prover
- computer systems
- hardware architecture
- runtime environment
- database systems
- mathematical proofs
- database