Login / Signup

Automated detection and verification of parity-protected memory elements.

Eli ArbelShlomit KoyfmanPrabhakar KudvaShiri Moran
Published in: ICCAD (2014)
Keyphrases
  • automated detection
  • automated analysis
  • lung cancer
  • ultrasonic images
  • model checking
  • memory requirements
  • error correction
  • image processing
  • case based reasoning
  • computer graphics
  • cell nuclei