Book Chapter10.1007/978-3-319-17581-2_3
Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv
Syed Bukhari,Faiq Khalid,Osman Hasan,Muhammad Shafique,Jörg Henkel-2015-01-01-Communications in computer and information science
5
Chat with Paper
AI Agents for this Paper
No abstract available for this paper.
Keywords
Computer scienceEmulationDistributed computingScalabilityModel checkingTask (project management)DeadlockCore (optical fiber)
Chat
Click to start Chat