Pruning infeasible paths for tight WCRT analysis of synchronous programs.

Sidharta Andalam Partha S. Roop Alain Girault

Published in: DATE (2011)

Keyphrases

statistical analysis
artificial neural networks
upper bound
databases
knowledge base
image sequences
data analysis
lower bound
search space
image analysis
worst case
automatic analysis