Abstraction of assembler programs for symbolic worst case execution time analysis.

Tobias Schüle Klaus Schneider

Published in: DAC (2004)

Keyphrases

high level
quantitative analysis
metadata
image analysis
automatic analysis
neural network
multi agent
data analysis