多核系统动态温度管理TAPE策略的形式化验证 (Formal Verification of TAPE Strategy for Dynamic Temperature Management in Multi-core System).
Yuanyuan QuMei HongNing SunPublished in: 计算机科学 (2017)
Keyphrases
- formal verification
- model checking
- high speed
- magnetic tape
- management system
- temporal logic
- dynamic environments
- information management
- decision support
- bounded model checking
- software architecture
- information systems
- disk drives
- symbolic model checking
- knowledge management
- automated verification
- functional verification
- hard disk drive