Information and Systems-Theoretical Foundations of Computing(Date:2016/04/22)

Presentation
Checkpointing and Rollback Using Lamport Clocks for Hybrid P2P Systems

Sen Moriya(Kindai Univ.),  

[Date]2016-04-22
[Paper #]COMP2016-1
Move-Efficient Fault-Tolerant Simulation of Message-Passing Algorithms by Mobile Agents

Tsuyoshi Goto(Osaka Univ.),  Masahiro Shibata(Osaka Univ.),  Fukuhito Oosita(NAIST),  Hirotsugu Kakugawa(Osaka Univ.),  Toshimitsu Masuzawa(Osaka Univ.),  

[Date]2016-04-22
[Paper #]
Physical Bucket Sort

John Iacono(NY Univ.),  Hiro Ito(UEC),  Atsuki Nagao(UEC),  Junji Nishino(UEC),  David Rappaport(Queen's Univ.),  

[Date]2016-04-22
[Paper #]COMP2016-5
A Local Distributed Algorithm for the Connected Spanning Subgraph Problem with Smaller Number of Edges

Hisaki Kobayashi(Osaka Univ),  Hirotsugu Kakugawa(Osaka Univ),  Toshimitsu Masuzawa(Osaka Univ),  

[Date]2016-04-22
[Paper #]COMP2016-2
[Invited Talk] Benchmarking self-stabilization with probabilistic model-checking and simulation

Sebastien Tixeuil(LIP6),  

[Date]2016-04-22
[Paper #]COMP2016-6
Proposal of a Fast Heuristic for the Minimum Weight Vertex Cover Problem

Satoshi Shimizu(Kobe Univ.),  Kazuaki Yamaguchi(Kobe Univ.),  Toshiki Saitoh(Kobe Univ.),  Sumio Masuda(Kobe Univ.),  

[Date]2016-04-22
[Paper #]COMP2016-4
Gathering Algorithm for Distributed Mobile Robots with Lights

Satoshi Terai(Hosei Univ.),  Koichi Wada(Hosei Univ),  Yoshiaki Katayama(NIT),  

[Date]2016-04-22
[Paper #]COMP2016-3