Keyphrases
- provably correct
- situation calculus
- formal methods
- low cost
- hardware and software
- real time
- program synthesis
- computing systems
- vlsi implementation
- image processing
- error estimates
- computing power
- hardware architecture
- parallel hardware
- option pricing
- graphics hardware
- embedded systems
- massively parallel
- hardware implementation
- data acquisition
- software engineering
- natural language