When Are Software Verification Results Valid for Approximate Hardware?

Tobias Isenberg Marie-Christine Jakobs Felix Pauck Heike Wehrheim

Published in: TAP@FM (2019)

Keyphrases

low cost
hardware and software
hardware implementation
real time
hardware architecture
exact solution
graphics hardware
parallel hardware
database
hardware software
vlsi implementation
single chip
personal computer
lower bound
database systems
search engine
databases
data sets