|
|
| Chair |
|
Koichi Wada (Hosei Univ.) |
| Vice Chair |
|
Toshimitsu Masuzawa (Osaka Univ.) |
| Secretary |
|
Sayaka Kamei (Hiroshima Univ.), Hisashi Koga (Univ. of Electro-Comm.) |
|
| Conference Date |
Fri, Apr 22, 2016 10:20 - 16:20 |
| Topics |
|
| Conference Place |
|
Fri, Apr 22 AM
10:20 - 11:50 |
| (1) |
10:20-10:50 |
Checkpointing and Rollback Using Lamport Clocks for Hybrid P2P Systems |
Sen Moriya (Kindai Univ.) |
| (2) |
10:50-11:20 |
Move-Efficient Fault-Tolerant Simulation of Message-Passing Algorithms by Mobile Agents |
Tsuyoshi Goto, Masahiro Shibata (Osaka Univ.), Fukuhito Oosita (NAIST), Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka Univ.) |
| (3) |
11:20-11:50 |
A Local Distributed Algorithm for the Connected Spanning Subgraph Problem with Smaller Number of Edges |
Hisaki Kobayashi, Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka Univ) |
| |
11:50-13:30 |
Break ( 100 min. ) |
Fri, Apr 22 PM
13:30 - 15:00 |
| (4) |
13:30-14:00 |
Gathering Algorithm for Distributed Mobile Robots with Lights |
Satoshi Terai (Hosei Univ.), Koichi Wada (Hosei Univ), Yoshiaki Katayama (NIT) |
| (5) |
14:00-14:30 |
Proposal of a Fast Heuristic for the Minimum Weight Vertex Cover Problem |
Satoshi Shimizu, Kazuaki Yamaguchi, Toshiki Saitoh, Sumio Masuda (Kobe Univ.) |
| (6) |
14:30-15:00 |
Physical Bucket Sort |
John Iacono (NY Univ.), Hiro Ito, Atsuki Nagao, Junji Nishino (UEC), David Rappaport (Queen's Univ.) |
| |
15:00-15:20 |
Break ( 20 min. ) |
Fri, Apr 22 PM
15:20 - 16:20 |
| (7) |
15:20-16:20 |
[Invited Talk]
Benchmarking self-stabilization with probabilistic model-checking and simulation |
Sebastien Tixeuil (LIP6) |
| Announcement for Speakers |
| General Talk | Each speech will have 25 minutes for presentation and 5 minutes for discussion. |
| Invited Talk | Each speech will have 50 minutes for presentation and 10 minutes for discussion. |
| Contact Address and Latest Schedule Information |
| COMP |
Technical Committee on Theoretical Foundations of Computing (COMP) [Latest Schedule]
|
| Contact Address |
Sayaka Kamei
Department of Information Engineering,
Faculty of Engineering,
1-4-1 Kagamiyama, Higashi Hiroshima
Hiroshima, 739-8527 JAPAN
s-  i       -u |
Last modified: 2016-02-12 15:57:06
|