Complete, High-Assurance Determination of Loop Bounds and Infeasible Paths for WCET Analysis.

Thomas Sewell Felix Kam Gernot Heiser

Published in: RTAS (2016)

Keyphrases

image analysis
data analysis
lower bound
artificial neural networks
databases
feature selection
statistical analysis
upper and lower bounds
contingency tables