Theorem proving based Formal Verification of Distributed Dynamic Thermal Management schemes

No abstract is available for this paper.

• Publication year

  2017

• Venue

  J. Parallel Distributed Comput.

• Publication date

  2017-02-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1016/j.jpdc.2016.06.011
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Distributed fair scheduling for many-cores

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

  2015influential reference
• Probabilistic Formal Verification Methodology for Decentralized Thermal Management in On-Chip Systems

  2015influential reference
• Task Migrations for Distributed Thermal Management Considering Transient Effects

  2015influential reference
• Formalized Probability Theory and Applications Using Theorem Proving

  2015influential reference
• Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv

  2014cited by this paper
• Distributed task migration for thermal hot spot reduction in many-core microprocessors

  2013influential reference
• Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL

  2013cited by this paper
• Formal Reasoning About Finite-State Discrete-Time Markov Chains in HOL

  2013cited by this paper
• Agent-based distributed power management for Kilo-core processors: Special Session: “Keeping Kilo-core chips cool: New directions and emerging solutions”

  2013cited by this paper
• Formal verification of distributed dynamic thermal management

  2013influential reference
• Modeling of temperature scenarios in a multicore processor system

  2013cited by this paper
• Recent thermal management techniques for microprocessors

  2012cited by this paper
• Distributed Average Tracking of Multiple Time-Varying Reference Signals With Bounded Derivatives

  2012cited by this paper
• A Multi-Agent Framework for Thermal Aware Task Migration in Many-Core Systems

  2012influential reference
• Temperature-Aware DVFS for Hard Real-Time Applications on Multicore Processors

  2012cited by this paper
• CARAT: Context-aware runtime adaptive task migration for multi core architectures

  2011cited by this paper
• Runtime Power Management of 3-D Multi-Core Architectures Under Peak Power and Temperature Constraints

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

  2010cited by this paper
• Characterizing processor thermal behavior

  2010cited by this paper
• Semantics-Based Object Caching in Distributed Systems

  2010cited by this paper
• Temperature Variation Characterization and Thermal Management of Multicore Architectures

  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

  2009cited by this paper
• A 167-Processor Computational Platform in 65 nm CMOS

  2009cited by this paper
• System-Level Dynamic Thermal Management for High-Performance Microprocessors

  2008cited by this paper
• Performance Analysis and Functional Verification of the Stop-and-Wait Protocol in HOL

  2008cited by this paper
• Principles of model checking

  2008cited by this paper
• A Brief Overview of HOL4

  2008influential reference
• Understanding the Thermal Implications of Multi-Core Architectures

  2007cited by this paper
• Properties Incompleteness Evaluation by Functional Verification

  2007cited by this paper
• Combining Theorem Proving with Model Checking through Predicate Abstraction

  2007cited by this paper
• Automated Reasoning in Higher-Order Logic: Set Comprehension and Extensionality in Church's Type Theory

  2007cited by this paper
• Thermal Modeling, Analysis, and Management in VLSI Circuits: Principles and Methods

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

  2006cited by this paper
• Lifetime reliability: toward an architectural solution

  2005cited by this paper
• Temperature-aware microarchitecture: Modeling and implementation

  2004cited by this paper
• Theorem Proving in Higher Order Logics

  2002cited by this paper
• Dynamic thermal management for high-performance microprocessors

  2001cited by this paper
• Symbolic Model Checking for Self-Stabilizing Algorithms

  2001cited by this paper
• The Model Checker SPIN

  1997cited by this paper
• Automatic Symbolic Verification of Embedded Systems

  1996cited by this paper
• A simulation and validation tool for self-stabilizing protocols

  1996cited by this paper
• Introduction to HOL: a theorem proving environment for higher order logic

  1993cited by this paper
• Higher Order Logic and Hardware Verification

  1993cited by this paper
• The formal verification of hard real-time systems

  1992cited by this paper
• Mechanizing programming logics in higher order logic

  1989cited by this paper
• Thermal modeling

  1975cited by this paper
• First-Order Logic

  1970cited by this paper

• Intelligent energy management and operation efficiency of electric vehicles based on artificial intelligence algorithms and thermal energy optimization

  2024cites this paper
• Formalizing and Verifying Decentralized Systems with Extended Concurrent Separation Logic

  2020cites this paper
• Computer Performance Engineering: 16th European Workshop, EPEW 2019, Milan, Italy, November 28–29, 2019, Revised Selected Papers

  2020cites this paper
• Trade-off analysis of thermal-constrained scheduling strategies in multi-core systems

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

  2020cites this paper
• Overview

  2020cites this paper
• Performance Evaluation of Thermal-Constrained Scheduling Strategies in Multi-core Systems

  2019cites this paper
• A symbolic model checking approach in formal verification of distributed systems

  2019cites this paper
• A systematic literature review on formal verification of software‐defined networks

  2019cites this paper
• Formal verification approaches and standards in the cloud computing: A comprehensive and systematic review

  2018cites this paper
• Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research

  2018cites this paper
• Formal verification of demand response based home energy management systems in smart grids

  2017cites this paper