Interfacing Reconfigurable Logic with a CPU.

Kip Walker Mihai Budiu Seth Copen Goldstein

Published in: FCCM (2000)

Keyphrases

modal logic
heterogeneous computing
classical logic
predicate logic
hardware implementation
computational properties
general purpose
data acquisition
multi valued
database
logic programming
probability theory
digital circuits
fine grain
epistemic logic
asynchronous circuits
natural deduction
database systems