Loopster++: Termination Analysis for Multi-path Linear Loop.

Hui Jin Weimin Ge Yao Zhang Xiaohong Li Zhidong Deng

Published in: CollaborateCom (1) (2021)

Keyphrases

multipath
termination analysis
active rules
active databases
routing algorithm
end to end
multi path routing
abstract interpretation
wireless ad hoc networks
multiple paths
mobile ad hoc networks
database
fading channels
data flow
spatial data
xml documents
multiscale