Improving the Precision of WCET Analysis by Input Constraints and Model-Derived Flow Constraints.
Reinhard WilhelmPhilipp LucasOleg ParshinLili TanBjörn WachterPublished in: Advances in Real-Time Systems (2012)
Keyphrases
- geometrical constraints
- input data
- similarity measure
- empirical data
- computational model
- mathematical model
- high precision
- potential functions
- mixed integer
- mixed integer program
- access control
- management system
- constraint satisfaction
- conceptual model
- neural network model
- constrained optimization
- cost function
- integer program
- high level