Login / Signup

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

Wenjing RaoAlex OrailogluRamesh 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