検索結果
お探しのコンテンツが見つからない場合、アドバンス検索 にてさらに詳細な検索オプションをお試しください。
97 個の項目が検索条件に該当しました。
- 2009年度一班 関連性: 1% 作成者: takeuchi 最終変更日時: 2010年04月28日 16時37分
- 第六回 関連性: 1% 作成者: takeuchi 最終変更日時: 2010年04月28日 16時34分
- LTS 関連性: 1% 作成者: takeuchi 最終変更日時: 2009年06月17日 12時33分
- パターン2: クリティカルセクション 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 20時10分
- resource_share 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 20時09分
- printer_share2 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 20時07分
- printer_share 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 19時52分
- クリティカルセクション 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 19時28分
- パターン1: インタリーブ 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 19時22分
- ここでは，インタリーブによる表示方法について説明しています．
- インタリーブ 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 19時07分
- 並行システムの表現手法 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 19時06分
- ここでは，直感的な妥当性確認を目的とした並行システムの表現手法について説明しています．
- 並行システムの表現手法 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 18時28分
- 第三回: Composite Processes 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 18時20分
- 第二回では，単一プロセスのモデルについてみました．今回は，並行プロセスのモデルについてみていきます．
- two.switches 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 18時07分
- b.switch 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 18時06分
- a.switch 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 18時05分
- Process Labeling 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 17時39分
- bill_ben 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 01時26分
- Shared Actions 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 01時26分
- Shared Actions 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 01時07分
- 第二回: Primitive Process 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月24日 01時04分
- 今回は，どのようにプロセスが有限状態機械としてモデル化されるかを見ていきます．プロセスとは，逐次実行の単位であり，プロセスは有限状態機械としてモデル化することができ，Java(実装) ではスレッドとして扱われます．具体的には FSP の書き方について説明していきます．
- Parallel Composition 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 19時26分
- Parallel Composition(並列合成) についての説明です．action のインターリーブです．
- pc 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 19時21分
- convers 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 19時19分
- converse 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 19時17分
- itch 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 19時16分
- Parallel Composition 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 18時44分
- 並列合成についての説明です．
- 第三回 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 18時35分
- 練習問題 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 18時28分
- 第二回チュートリアルのまとめの問題です．ぜひ解いてみてください．
- fourtick 関連性: 1% 作成者: takeuchi 最終変更日時: 2008年11月23日 18時20分
