文献

J-GLOBAL ID：201802217780364158   整理番号：18A1426975

階層的スケジューリングシステムの組成分析のための一般的形式フレームワーク【JST・京大機械翻訳】

Generic Formal Framework for Compositional Analysis of Hierarchical Scheduling Systems

著者 (6件)： Boudjadar Jalil ,  Kim Jin Hyun ,  Phan Linh Thi Xuan ,  Lee Insup ,  Larsen Kim G. ,  Nyman Ulrik
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2018  号： ISORC  ページ： 51-58  発行年： 2018年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 階層的スケジューリングシステム(HSS)の仕様と解析のための構成フレームワークを提示した。まず第一に,著者らは一般的形式的モデルを提供して,それはあらゆるタイプのスケジューリングシステムを記述するために用いることができた。Jobオートマトンの概念を導入して,ジョブのインスタンス化パターンをモデル化した。著者らは,状態ベースの資源モデルの使用を通して,階層構造における異なるレベルの間の相互作用をモデル化した。資源モデルの著者らの概念は,マルチコアアーキテクチャ,先制および非決定性を獲得するために十分に一般的である。Copyright 2018 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 相互作用 ,  モデリング ,  階層構造 ,  オートマトン ,  *非決定性
準シソーラス用語： マルチコアアーキテクチャ ,  *成分分析 , 【Automatic Indexing@JST】

分類 (2件)： オペレーティングシステム  (JD03020J) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (4件)： スケジューリングシステム ,  組成分析 ,  形式 ,  フレームワーク