文献

J-GLOBAL ID：201702260768582622   整理番号：17A0966097

CAnDy TM:モデル検査を用いた多くのコアにおける動的熱管理の比較分析【Powered by NICT】

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

著者 (5件)： Bukhari Syed Ali Asadullah (School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Lodhi Faiq Khalid (School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Hasan Osman (School of Electrical and Computer Science, National University of Sciences and Technology, Islamabad, Pakistan) ,  Shafique Muhammad (Institute of Computer Engineering, Vienna University of Technology, Vienna, Austria) ,  Henkel Jorg (Chair for Embedded Systems, Karlsruhe Institute of Technology, Karlsruhe, Germany)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2017  号： DATE  ページ： 1289-1292  発行年： 2017年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： タスクマイグレーションに基づく動的熱管理(DTM)法を熱緊急事態を緩和し,それによってメニーコアシステムの安全運転と信頼性を確保するための有望な解決策を提供する。これらの技術は中心として分類または系におけるコアの各コアまたはセットに対してシステム全体または個々のDTMコントローラのための中央DTMコントローラに基づいて分散できた。しかし,与えられたシステムのための最も適切なものを見出すために中央(c )と分散(d )DTM技術間の信頼できる比較を有するは非常に挑戦的である。これはcDTMとdDTMコントローラ間の全身性差,DTM分析のための通常用いられているシミュレーションとエミュレーション法の固有の非網羅性に主に起因する。本論文では,モデル検査はcDTMとdDTM技術のための形式的比較分析を実行するために採用したCAnDy TM(動的熱管理の比較分析のための林分)と呼ばれる新しい方法論を提示した。の比較のための共通基盤を提供する一般的な機能と性能特性のセットを同定した。最新cDTMとdDTM技法を比較することにより,この方法論の有用性と利点を実証し,手法は良好な熱安定性と他のタスクマイグレーションパラメータに関してである示した。このような解析は,与えられたチップのための最も適切なDTMを選択するのに役立つ。Copyright 2017 The Institute of Electrical and Electronics Engineers, Inc. All Rights reserved. Translated from English into Japanese by JST【Powered by NICT】

シソーラス用語： 熱安定性 ,  制御装置 ,  性差 ,  *モデル検査 ,  林分 ,  *熱管理 ,  信頼性 ,  エミュレーション
準シソーラス用語： 性能特性 ,  網羅性 ,  全身 ,  安全運転 ,  *比較分析 , 【Automatic Indexing@JST】

分類 (2件)： オペレーティングシステム  (JD03020J) ,  ディジタル計算機方式一般  (JC02010O)

タイトルに関連する用語 (5件)： Tm ,  モデル検査 ,  コア ,  熱管理 ,  比較分析