Login / Signup

Design and Evaluation of a Peripheral for Integrity Checking to Improve RAS in RISC-V Architectures.

Daniele RossiNicasio CaninoStefano Di MatteoSergio SaponaraVasileios Tenentes
Published in: SEEDA-CECNSM (2023)
Keyphrases
  • integrity checking
  • design process
  • building blocks
  • integrity constraints
  • database
  • databases
  • machine learning
  • artificial intelligence
  • special case
  • deductive databases
  • constraint logic programming