Procedures and parameters in the real-time program refinement calculus.

Published in: Sci. Comput. Program. (2007)

Keyphrases

real time
low cost
parameter estimation
sensitivity analysis
real time systems
vision system
input parameters
case study
evolutionary algorithm
high speed
quality of service
parameter space
parameter values
parameter settings
parameter selection