「multiprocess」を解説文に含む見出し語の検索結果(1～10/20件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/04/27 01:53 UTC 版)「レスリー・ランポート」の記事における「分散システム」の解説ランポートの研究は、分散シス...
Jump to navigationJump to searchPlusCal (旧称 +CAL) は、 Leslie Lamppost により考案された形式仕様言語で、...
Peter James Denningピーター・ジェームズ・デニングピーター・J・デニング(2008)生誕 (1942-01-06) 1942年1月6日（82歳） アメリカ合衆国 ニューヨーク クイー...
Peter James Denningピーター・ジェームズ・デニングピーター・J・デニング(2008)生誕 (1942-01-06) 1942年1月6日（82歳） アメリカ合衆国 ニューヨーク クイー...
逐次一貫性（ちくじいっかんせい、英語: sequential consistency）、順次整合性（じゅんじせいごうせい）、逐次整合性（ちくじせいごうせい）は並行プログラミングにおける一貫性モ...
ナビゲーションに移動検索に移動ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント（プロセス）がクリティカルセクション（複数のプロセスが同時に実行できないプログラムの部分）で「交代...
ナビゲーションに移動検索に移動ライブネスとは、並行システムの特性の1つで、同時実行されるコンポーネント（プロセス）がクリティカルセクション（複数のプロセスが同時に実行できないプログラムの部分）で「交代...
レスリー・ランポートLeslie Lamport生誕Leslie B. Lamport (1941-02-07) 1941年2月7日（85歳） アメリカ合衆国 ニューヨーク州ニューヨーク研究分野計算機...
レスリー・ランポートLeslie Lamport生誕Leslie B. Lamport (1941-02-07) 1941年2月7日（85歳） アメリカ合衆国 ニューヨーク州ニューヨーク研究分野計算機...
TLA+パラダイムAction登場時期1999年4月23日 (26年前) (1999-04-23)[1]設計者Leslie Lamport最新リリースTLA+2/ 2...
< 前の結果 | 次の結果 >