A New Reachability Algorithm for Symmetric Multi-processor Architecture.

Debashis Sahoo Jawahar Jain Subramanian K. Iyer David L. Dill

Published in: ATVA (2005)

Keyphrases

dynamic programming
objective function
multi processor
np hard
optimal solution
computational complexity
evolutionary algorithm
genetic programming
orders of magnitude
energy function
approximation algorithms
highly efficient