Login / Signup

Inverting Versus Non-Inverting Dynamic Logic for Two-Phase Latch-free Nanopipelines.

Hector J. QuinteroManuel JimenezMaria J. AvedilloJuan Núñez
Published in: SMACD (2018)
Keyphrases
  • dynamic logic
  • iterative methods
  • imperative programs
  • power consumption
  • high level
  • neural network
  • relational databases
  • query language
  • modal logic
  • reasoning about actions