Calculating the Maximum Execution Time of Real-Time Programs.

Peter P. Puschner Christian Koza

Published in: Real Time Syst. (1989)

Keyphrases

real time
control flow
dynamic environments
low cost
symbolic execution
execution model
high fidelity
maximum number
vision system
case study
mobile robot
control system
relational databases
computer vision
information retrieval
machine learning
program execution
real world