Login / Signup

Scalability and logic functionalities of TA-MRAMs.

Ioan Lucian PrejbeanuR. C. SousaBernard DienyJean-Pierre NozieresS. BandieraJérémy Alvarez-HeraultQ. StainerL. LombardClarisse DucruetY. ConrauxKen Mackay
Published in: NEWCAS (2013)
Keyphrases
  • fault tolerance
  • logic programming
  • data sets
  • multi valued
  • classical logic
  • asynchronous circuits
  • modal logic
  • automated reasoning
  • video sequences
  • highly scalable
  • deontic logic