Computing Maximum Fixed Point Solutions over Feasible Paths in Data Flow Analyses.
Komal PathadeUday P. KhedkerPublished in: CoRR (2022)
Keyphrases
- fixed point
- data flow
- database machine
- control flow
- sufficient conditions
- floating point
- object oriented software
- constraint databases
- fixed point theorem
- dynamical systems
- belief propagation
- systolic array
- bargaining solution
- variational inequalities
- optimal solution
- free energy
- linear programming
- computer vision
- databases