A Non-iterative Data-Flow Algorithm for Computing Liveness Sets in Strict SSA Programs.
Benoit BoissinotFlorian BrandnerAlain DarteBenoît Dupont de DinechinFabrice RastelloPublished in: APLAS (2011)
Keyphrases
- data flow
- objective function
- detection algorithm
- optimization algorithm
- parallel implementation
- computational complexity
- k means
- learning algorithm
- simulated annealing
- systolic array
- control flow
- matching algorithm
- particle swarm optimization
- probabilistic model
- computational cost
- dynamic programming
- optimal solution
- similarity measure
- object oriented
- segmentation algorithm
- test set
- cost function
- hardware implementation
- preprocessing
- database machine
- provably correct
- web services