文献

J-GLOBAL ID：201602292216953549   整理番号：16A0349951

異種マルチコアプラットフォーム上での同期データフローグラフのパレート最適化とスケジューリング【Powered by NICT】

Pareto Optimization and Scheduling of Synchronous Dataflow Graphs on Heterogeneous Multicore Platform

著者 (4件)： Gu Yulei (School of Computer Sci. and Technol.,Soochow Univ., State Key Lab. of Computer Sci., Suzhou) ,  Zhu Xueyang (State Key Lab. of Computer Sci.,Inst. of Software,Chinese Acad. of Sciences, Beijing) ,  Yan Rongjie (State Key Lab. of Computer Sci.,Inst. of Software,Chinese Acad. of Sciences, Beijing) ,  Zhang Guangquan (School of Computer Sci. and Technol.,Soochow Univ., Suzhou)
資料名： Jisuanji Kexue  (Jisuanji Kexue)
巻： 42  号： 11  ページ： 43-47  発行年： 2015年 
JST資料番号： C2530A  ISSN： 1002-137X  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 中国 (CHN)  言語： 中国語 (ZH)

抄録/ポイント： 同期データフローグラフ(SDFGs)は,マルチメディアおよびディジタル信号処理の応用のようなストリーミングアプリケーションをモデル化するために広く用いられている。ストリーミングアプリケーションは通常,円滑な走行を保証するためにハイスループットに達するために必要である。ストリーミングアプリケーションのスループットを改善するための不均一マルチコアプロセッサを用いた実現可能な解となっている。しかし,より高いスループットは通常エネルギー消費の増加を達成した。著者らは,エネルギー消費とスループットのパレート空間を探索し,それぞれのパレート点のスケジュールを見出す方法を提案した。システムモデルは,応用および不均一マルチコアプラットフォームのためのSDFG記述を含んでいる。システムモデルは,時限オートマトン(NTA)のネットワークに変換され,最適化目標は時相論理式として定式化される。NTAと公式を,実時間モデル検査ツールUPPAALの入力として用いた。UPPAALで行った,微量によるPareto点と対応するスケジュールを得ることができる。著者らの方法は厳密であるが,これはモデル検査技法の徹底的な探索性質から利益を得ている。この方法は,設計者が設計期間におけるエネルギー消費とスループットとの間の定量的関係を理解するのを助けるために使用し,開発サイクルを短縮し,システム開発のコストを低減することができる。Data from the ScienceChina, LCAS. Translated by JST【Powered by NICT】

シソーラス用語： 時間制限 ,  時間論理 ,  *スケジューリング ,  モデリング ,  エネルギー消費 ,  マルチメディア ,  *データフローグラフ ,  モデル検査 ,  システムモデル ,  *最適化 ,  スループット
準シソーラス用語： 実時間 ,  マルチコアプロセッサ ,  ディジタル信号処理 ,  *Pareto最適化 , 【Automatic Indexing@JST】

分類 (2件)： 人工知能  (JE08000Z) ,  計算機網  (JC03000K)

タイトルに関連する用語 (5件)： マルチコア ,  プラットフォーム ,  データフローグラフ ,  パレート最適化 ,  スケジューリング