2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.SE2016★ 2 cited
Deriving approximation tolerance constraints from verification runs
Tobias Isenberg, Marie-Christine Jakobs, Felix Pauck +1
Approximate computing (AC) is an emerging paradigm for energy-efficient computation. The basic idea of AC is to sacrifice high precision for low energy by allowing for hardware whi…
cs.LO2014
Proof-Carrying Hardware via IC3
Tobias Isenberg, Heike Wehrheim
Proof-carrying hardware (PCH) is an approach to achieving safety of dynamically reconfigurable hardware, transferring the idea of proof-carrying code to the hardware domain. Curren…