IEICE Technical Report

Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380

Theoretical Foundations of Computing

Workshop Date : 2016-04-22 / Issue Date : 2016-04-15

COMP2016-1
Checkpointing and Rollback Using Lamport Clocks for Hybrid P2P Systems
Sen Moriya (Kindai Univ.)
pp. 1 - 8

COMP2016-2
A Local Distributed Algorithm for the Connected Spanning Subgraph Problem with Smaller Number of Edges
Hisaki Kobayashi, Hirotsugu Kakugawa, Toshimitsu Masuzawa (Osaka Univ)
pp. 9 - 13

COMP2016-3
Gathering Algorithm for Distributed Mobile Robots with Lights
Satoshi Terai (Hosei Univ.), Koichi Wada (Hosei Univ), Yoshiaki Katayama (NIT)
pp. 15 - 22

COMP2016-4
Proposal of a Fast Heuristic for the Minimum Weight Vertex Cover Problem
Satoshi Shimizu, Kazuaki Yamaguchi, Toshiki Saitoh, Sumio Masuda (Kobe Univ.)
pp. 23 - 28

COMP2016-5
Physical Bucket Sort
John Iacono (NY Univ.), Hiro Ito, Atsuki Nagao, Junji Nishino (UEC), David Rappaport (Queen's Univ.)
pp. 29 - 34

COMP2016-6
[Invited Talk] Benchmarking self-stabilization with probabilistic model-checking and simulation
Sebastien Tixeuil (LIP6)
p. 35

Note: Each article is a technical report without peer review, and its polished version will be published elsewhere.

The Institute of Electronics, Information and Communication Engineers (IEICE), Japan