Scope-Tree: A Program Representation for Symbolic Worst-Case Execution Time Analysis.

Antoine Colin Guillem Bernat

Published in: ECRTS (2002)

Keyphrases

database
databases
artificial intelligence
information systems
high level
bayesian networks
statistical analysis
image representation
quantitative analysis
symbolic representation
representation language