Login / Signup
Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.
Sorawit Suriyakarn
Clément Pit-Claudel
Benjamin Delaware
Adam Chlipala
Published in:
CoRR (2018)
Keyphrases
</>
metadata
hamming distance
database
data mining
video compression
construction process
decoding algorithm
neural network
artificial intelligence
multimedia
video sequences
search algorithm
non binary