CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking

No abstract is available for this paper.

• Publication year

  2017

• Venue

  Design, Automation and Test in Europe

• Publication date

  2017-03-27

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.23919/DATE.2017.7927191
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems

  2017cited by this paper
• Formal probabilistic analysis of distributed dynamic thermal management

  2015cited by this paper
• Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems

  2015cited by this paper
• The nuXmv Symbolic Model Checker

  2014cited by this paper
• Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

  2014cited by this paper
• mDTM: Multi-objective dynamic thermal management for on-chip systems

  2014influential reference
• Distributed task migration for thermal hot spot reduction in many-core microprocessors

  2013influential reference
• Predicting thermal behavior for temperature management in time-critical multicore systems

  2013cited by this paper
• EmPower: FPGA based emulation of dynamic power management algorithms for multi-core systems on chip (abstract only)

  2012cited by this paper
• Fast and accurate thermal simulation and modelling of workloads of many-core processors

  2011cited by this paper
• Exploring the thermal impact on manycore processor performance

  2010cited by this paper
• Runtime Thermal Management Using Software Agents for Multi- and Many-Core Architectures

  2010cited by this paper
• Multicore power management: Ensuring robustness via early-stage formal verification

  2009cited by this paper
• Central vs. distributed dynamic thermal management for multi-core processors: which one is better?

  2009cited by this paper
• TAPE: thermal-aware agent-based power economy for multi/many-core architectures

  2009influential reference
• Model checking

  2009cited by this paper
• Techniques for Multicore Thermal Management: Classification and New Exploration

  2006cited by this paper
• Physical Aware Frequency Selection for Dynamic Thermal Management in Multi-Core Systems

  2006cited by this paper
• Using probabilistic model checking for dynamic power management

  2005cited by this paper

• Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads

  2020influential citation