Towards formally verifiable resource bounds for real-time embedded systems.
Kevin HammondChristian FerdinandReinhold HeckmannPublished in: SIGBED Rev. (2006)
Keyphrases
- real time embedded systems
- lower bound
- upper bound
- error bounds
- worst case
- tight bounds
- resource management
- resource allocation
- upper and lower bounds
- cost function
- web resources
- lower and upper bounds
- resource requirements
- sufficient conditions
- data mining
- multi class
- expert systems
- theoretical guarantees
- artificial intelligence
- confidence bounds
- machine learning