4月22日(金) 午前 10:20 - 11:50 |
(1) |
10:20-10:50 |
ハイブリッドP2Pシステムに対するランポート時計を利用したチェックポイント取得とロールバック |
○守屋 宣(近畿大) |
(2) |
10:50-11:20 |
メッセージ通信型分散アルゴリズムの移動エージェントによる耐故障シミュレーション |
○五島 剛・柴田将拡(阪大)・大下福仁(奈良先端大)・角川裕次・増澤利光(阪大) |
(3) |
11:20-11:50 |
辺数が少ない連結全域部分グラフを求める局所分散アルゴリズム |
○小林永樹・角川裕次・増澤利光(阪大) |
|
11:50-13:30 |
休憩 ( 100分 ) |
4月22日(金) 午後 13:30 - 15:00 |
(4) |
13:30-14:00 |
状態を持つ自律分散ロボット群における集合問題に対するアルゴリズムについて |
○寺井智史・和田幸一(法政大)・片山喜章(名工大) |
(5) |
14:00-14:30 |
最小重み頂点被覆問題に対する高速な発見的手法の提案 |
○清水悟司・山口一章・斎藤寿樹・増田澄男(神戸大) |
(6) |
14:30-15:00 |
物理的バケットソート |
ヤコノ ジョン(ニューヨーク大)・伊藤大雄・○長尾篤樹・西野順二(電通大)・ラパポート デイビッド(クイーンズ大) |
|
15:00-15:20 |
休憩 ( 20分 ) |
4月22日(金) 午後 15:20 - 16:20 |
(7) |
15:20-16:20 |
[招待講演]Benchmarking self-stabilization with probabilistic model-checking and simulation |
○Sebastien Tixeuil(LIP6) |