C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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