Sign in

SEU-X: A SEu un-excitability prover for SRAM-FPGAs.

Cinzia BernardeschiLuca CassanoAndrea Domenici
Published in: IOLTS (2012)
Keyphrases
  • power consumption
  • theorem proving
  • real time
  • machine learning
  • artificial intelligence
  • social networks
  • artificial neural networks
  • expert systems
  • knowledge representation
  • general purpose
  • theorem prover