| IEICE Technical Committee Submission System Advance Program |
Online Proceedings [Sign in] Tech. Rep. Archives |
| Go Top | Go Back | Prev COMP Conf / Next COMP Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
|
=============================================== Technical Committee on Theoretical Foundations of Computing (COMP) Chair: Koichi Wada (Hosei Univ.) Vice Chair: Toshimitsu Masuzawa (Osaka Univ.) Secretary: Sayaka Kamei (Hiroshima Univ.), Hisashi Koga (Univ. of Electro-Comm.) DATE: Fri, Apr 22, 2016 10:20 - 16:20 PLACE: TOPICS: ---------------------------------------- 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) ----- 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.) ----- 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) # Information for speakers General Talk will have 25 minutes for presentation and 5 minutes for discussion. Invited Talk will have 50 minutes for presentation and 10 minutes for discussion. === Technical Committee on Theoretical Foundations of Computing (COMP) === # FUTURE SCHEDULE: Fri, Jun 24, 2016 - Sat, Jun 25, 2016: [Sun, Apr 17] # SECRETARY: 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 |
Notification: Mail addresses are partially hidden against SPAM.
[Download Paper's Information (in Japanese)] <-- Press download button after click here.
[Cover and Index of IEICE Technical Report by Issue]
[Presentation and Participation FAQ] (in Japanese)
[Return to COMP Schedule Page] /
| Go Top | Go Back | Prev COMP Conf / Next COMP Conf | [HTML] / [HTML(simple)] / [TEXT] | [Japanese] / [English] |
[Return to Top Page]