Invariant Generation for Multi-Path Loops with Polynomial Assignments.
Andreas HumenbergerMaximilian JaroschekLaura KovácsPublished in: CoRR (2018)
Keyphrases
- multipath
- end to end
- multiple paths
- multi path routing
- routing algorithm
- wireless ad hoc networks
- mimo ofdm systems
- mobile ad hoc networks
- fading channels
- bit error rate
- wireless channels
- channel estimation
- content delivery
- real time video
- code division multiple access
- high quality
- ofdm system
- distributed systems
- feature vectors