Computing maximum fixed point solutions over feasible paths in data flow analyses.

Komal Pathade Uday P. Khedker

Published in: Sci. Comput. Program. (2023)

Keyphrases

fixed point
data flow
database machine
control flow
object oriented software
sufficient conditions
dynamical systems
floating point
systolic array
optimal solution
belief propagation
policy iteration
constraint databases
fixed point theorem
database
variational inequalities
object oriented
three dimensional