「並行プロセス」を解説文に含む見出し語の検索結果(1~10/28件中)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)「並行論理プログラミング」の記事における「黒板モデル」の解説多くの独立したプログラムが黒...
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/10/03 01:23 UTC 版)「並行論理プログラミング」の記事における「差分リスト」の解説データの並びを2つのリストの...
Program Composition Notationパラダイム並行論理プログラミング登場時期1989年設計者K. Mani Chandy、Stephen Taylor 他型付け静的型付け、動的型付...
אמיר פנואליAmir Pnueliアミール・プヌーリアミール・プヌーリ (2005)生誕 (1941-04-22) 1941年4月22日イギリス委任統治領パレスチナ ナハラル(英語版)死没 ...
אמיר פנואליAmir Pnueliアミール・プヌーリアミール・プヌーリ (2005)生誕 (1941-04-22) 1941年4月22日イギリス委任統治領パレスチナ ナハラル(英語版)死没 ...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
ナビゲーションに移動検索に移動モデル検査(Model Checking)とは、形式システムをアルゴリズム的に検証する手法である。ハードウェアやソフトウェアの設計から導出されたモデルが形式仕様を満足する...
屋井 鉄雄(やい てつお)は、日本の土木工学者。東京工業大学名誉教授。運輸総合研究所所長。元アジア交通学会会長。人物・経歴東京都練馬区出身[1]。1980年東京工業大学(のちの東京科学...
因果整合性または因果一貫性 (英: Causal Consistency)は、主要なメモリ一貫性モデルの1つである。並行プログラミングでは、並行プロセスが共有メモリにアクセスする場合、整合性モデルによ...
因果整合性または因果一貫性 (英: Causal Consistency)は、主要なメモリ一貫性モデルの1つである。並行プログラミングでは、並行プロセスが共有メモリにアクセスする場合、整合性モデルによ...
< 前の結果 | 次の結果 >