Login / Signup
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv.
Syed Ali Asadullah Bukhari
Faiq Khalid Lodhi
Osman Hasan
Muhammad Shafique
Jörg Henkel
Published in:
FTSCS (2014)
Keyphrases
</>
formal verification
model checking
multi core systems
information systems
distributed environment
distributed systems
management system
low cost
data management
data processing
mobile agents
computer networks
computing environments
network management
evolutionary algorithm
multi core processors
address space