Using event-B and Modelica to evaluate thermal management strategies in many core systems.
Colin F. SnookTom J. KazmierskiPublished in: FDL (2016)
Keyphrases
- management system
- decision making
- distributed systems
- control strategies
- expert systems
- data processing
- intelligent systems
- complex systems
- event detection
- management policies
- data sets
- enterprise systems
- network management
- online auctions
- information management
- infrared
- computer systems
- decision support
- decision support system