|
|
| 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 |
|
Copyright
and
reproduction |
All rights are reserved and no part of this publication may be reproduced or transmitted in any form or by any means, electronic or mechanical, including photocopy, recording, or any information storage and retrieval system, without permission in writing from the publisher. Notwithstanding, instructors are permitted to photocopy isolated articles for noncommercial classroom use without fee. (License No.: 10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
Fri, Apr 22 AM
10:20 - 11:50 |
| (1) |
10:20-10:50 |
Checkpointing and Rollback Using Lamport Clocks for Hybrid P2P Systems  COMP2016-1 |
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 COMP2016-2 |
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 COMP2016-3 |
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 COMP2016-4 |
Satoshi Shimizu, Kazuaki Yamaguchi, Toshiki Saitoh, Sumio Masuda (Kobe Univ.) |
| (6) |
14:30-15:00 |
Physical Bucket Sort COMP2016-5 |
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 COMP2016-6 |
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
|