文献

J-GLOBAL ID：202002265817762314   整理番号：20A2782002

協調スケジューリングのための行動契約【JST・京大機械翻訳】

Behavioral Contracts for Cooperative Scheduling

著者 (4件)： Kamburjan Eduard (Department of Computer Science, Technische Universitaet Darmstadt, Darmstadt, Germany) ,  Din Crystal Chang (Department of Informatics, University of Oslo, Oslo, Norway) ,  Haehnle Reiner (Department of Computer Science, Technische Universitaet Darmstadt, Darmstadt, Germany) ,  Johnsen Einar Broch (Department of Informatics, University of Oslo, Oslo, Norway)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 12345  ページ： 85-121  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： マルチスレッドプログラムの形式的仕様は,スレッド実行が任意のポイントで予見されるので,正当に困難である。対照的に,アクターのような抽象的同時性モデルは,人種フリープログラムを得るための同時性を著しく制限する。協調スケジューリングによる言語は,明示的スケジューリングポイントによってこれらの極値の間の中間の地盤を占有する。協調スケジューリングのために設計された契約ベース仕様アプローチである協調契約を導入した。それは,複雑な同時挙動を明確に特定することを可能にする。協調契約は,形式的に検証できる構成行動プログラム論理における行動契約として定式化される。Copyright Springer Nature Switzerland AG 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 言語 ,  *スケジューリング ,  同時性 ,  定式化 ,  マルチスレッド ,  形式的仕様 ,  スレッド

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 協調 ,  スケジューリング ,  行動 ,  契約