Simple, Light, Yet Formally Verified, Global Common Subexpression Elimination and Loop-Invariant Code Motion.

David Monniaux Cyril Six

Published in: CoRR (2021)

Keyphrases

motion analysis
image sequences
motion estimation
multiscale
spatio temporal
source code
spatial and temporal
dynamic scenes
motion patterns
error correction
position and orientation
visual perception
motion tracking
object motion
projective geometry