Verification of instrumentation techniques for resource management of real-time systems.
Zhenyu TanWilliam LealLonnie R. WelchPublished in: J. Syst. Softw. (2007)
Keyphrases
- resource management
- real time systems
- resource allocation
- distributed systems
- management system
- real time
- embedded systems
- quality of service
- computing resources
- model checking
- real time database systems
- timing constraints
- architectural model
- grid computing
- resource utilization
- resource usage
- intelligent agents
- mission critical
- object oriented programming language
- real time embedded
- anytime algorithms
- resource manager
- load balancing
- multi agent
- java platform
- artificial intelligence