Closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice.
Ibrahim M. ElfadelRadu MarculescuDavid AtienzaPublished in: DATE (2013)
Keyphrases
- formal methods
- multi core processors
- multithreading
- management system
- model checking
- formal specification
- parallel programming
- knowledge based systems
- power consumption
- knowledge management
- software engineering
- information systems
- computing resources
- computational power
- high performance computing
- data management
- expert systems
- knowledge base