Validity of Software Verification Results on Approximate Hardware.
Tobias IsenbergMarie-Christine JakobsFelix PauckHeike WehrheimPublished in: IEEE Embed. Syst. Lett. (2018)
Keyphrases
- low cost
- computing power
- real time
- hardware and software
- computing systems
- vlsi implementation
- image processing
- embedded systems
- personal computer
- massively parallel
- hardware architecture
- hardware software
- database
- software implementation
- hardware design
- computing platform
- computer architecture
- piecewise linear
- hardware implementation
- computer vision