Safe Compilation for Hidden Deterministic Hardware Aliasing.
Peter T. BreuerJonathan P. BowenPublished in: ISSRE Workshops (2019)
Keyphrases
- low cost
- real time
- decomposable negation normal form
- hardware and software
- high frequency
- frequency domain
- massively parallel
- computing power
- hardware implementation
- computer systems
- image processing
- sampling theorem
- hardware architecture
- high end
- computational power
- computing systems
- black box
- super resolution
- high resolution
- spatial resolution
- reconstruction error
- embedded systems
- low pass
- data acquisition
- general purpose
- low pass filtering
- color images
- parallel hardware