Formally Verified Loop-Invariant Code Motion and Assorted Optimizations.
David MonniauxCyril SixPublished in: ACM Trans. Embed. Comput. Syst. (2023)
Keyphrases
- image sequences
- motion analysis
- space time
- optical flow
- motion estimation
- camera motion
- motion model
- feature points
- motion tracking
- motion detection
- motion parameters
- moving objects
- projective geometry
- motion patterns
- motion segmentation
- affine transformation
- image motion
- fourier domain
- source code
- flow field
- human motion
- affine invariant
- motion capture
- pose estimation
- static analysis