Efficient Resource Management of Clustered Multi-Processor Systems Through Formal Property Exploration.
Ourania SpantidiIraklis AnagnostopoulosGeorgios FainekosPublished in: DATE (2021)
Keyphrases
- resource management
- management system
- multi processor
- resource usage
- resource allocation
- grid computing
- intelligent agents
- quality of service
- general purpose
- single processor
- multi core processors
- distributed systems
- computer systems
- real time
- parallel architectures
- program execution
- reinforcement learning
- artificial intelligence