Sign in

Formally Verified EVM Block-Optimizations.

Elvira AlbertSamir GenaimDaniel KirchnerEnrique Martin-Martin
Published in: CAV (3) (2023)
Keyphrases
  • neural network
  • image blocks
  • block size
  • block matching
  • block wise
  • case study
  • image data
  • fixed size