Login / Signup

Narcissus: correct-by-construction derivation of decoders and encoders from binary formats.

Benjamin DelawareSorawit SuriyakarnClément Pit-ClaudelQianchuan YeAdam Chlipala
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • metadata
  • multimedia
  • data sets
  • neural network
  • real world
  • genetic algorithm
  • artificial intelligence
  • multiresolution
  • non binary