Login / Signup

Countering early evaluation: an approach towards robust dual-rail precharge logic.

Shivam BhasinSylvain GuilleyFlorent FlamentNidhal SelmaneJean-Luc Danger
Published in: WESS (2010)
Keyphrases
  • high speed
  • real time
  • data sets
  • databases
  • information systems
  • logic programming
  • automated reasoning
  • data mining
  • information retrieval
  • multiscale
  • computationally efficient
  • modal logic
  • gold standard