Towards a Provably Correct Hardware Implementation of Occam.
Jifeng HeIan PageJonathan P. BowenPublished in: CHARME (1993)
Keyphrases
- hardware implementation
- provably correct
- efficient implementation
- software implementation
- situation calculus
- hardware design
- formal methods
- fpga implementation
- signal processing
- image processing algorithms
- pipeline architecture
- dedicated hardware
- hardware architecture
- parallel architecture
- computer vision
- field programmable gate array
- feature extraction
- software engineering
- pattern recognition