Topology aware mapping of logic functions onto nanowire-based crossbar architectures.

Wenjing Rao Alex Orailoglu Ramesh Karri

Published in: DAC (2006)

Keyphrases

multi valued
modal logic
real time
logic programming
scheduling algorithm
data sets
multi agent systems
basis functions
automated reasoning
epistemic logic
proof theory
delay insensitive