Combining Static Worst-Case Timing Analysis and Program Proof.

Roderick Chapman Alan Burns Andy J. Wellings

Published in: Real Time Syst. (1996)

Keyphrases

worst case
dynamic analysis
average case
upper bound
static analysis
lower bound
imperative programs
multiscale
np hard
greedy algorithm
control program
search engine
artificial intelligence
approximation algorithms
space complexity
combining multiple
learning algorithm
data sets
real time
logical rules
database