Information and Systems-Theoretical Foundations of Computing(Date:2004/03/09)

Presentation
表紙

,  

[Date]2004/3/9
[Paper #]
目次

,  

[Date]2004/3/9
[Paper #]
Double Horn extensions and restricted Horn extensions of a partially defined Boolean function

Masaomi IIDA,  Kazuhisa MAKINO,  

[Date]2004/3/9
[Paper #]COMP2003-86
On the PTF expression of Boolean functions

Kenshi MATSUO,  Tetsuya KOYAMA,  Kazuyuki AMANO,  Eiji TAKIMOTO,  Akira MARUOKA,  

[Date]2004/3/9
[Paper #]COMP2003-87
On Computational Complexity of the Conjugacy Problem for Braids

Masashi MATSUBA,  Seiichi TANI,  

[Date]2004/3/9
[Paper #]COMP2003-88
Improved Lower Bounds for Competitive Ratio of Multi-Queue Switches in QoS Networks

Toshiya ITOH,  Takanobu NAGUMO,  

[Date]2004/3/9
[Paper #]COMP2003-89
On the Competitive Analysis of Stream Merging Algorithms for Video-on-Demand

Kouhei MARUCHI,  Toshiya ITOH,  

[Date]2004/3/9
[Paper #]COMP2003-90
Self-Stabilizing Edge Coloring Protocol Resilient to Byzantine Faults in Tree Networks

Yusuke SAKURAI,  Fukuhito OOSHITA,  Toshimitsu MASUZAWA,  

[Date]2004/3/9
[Paper #]COMP2003-91
A Super-Stabilizing Spanning Tree Protocol with Rote Informations

Toshiyuki HASEGAWA,  Yoshiaki KATAYAMA,  Naohisa TAKAHASHI,  

[Date]2004/3/9
[Paper #]COMP2003-92
A Self-stabilizing protocol for mobile agent traversal with a node and link fault tolerance

Tomoki NAKAMURA,  Yoshiaki KATAYAMA,  Naohisa TAKAHASHI,  

[Date]2004/3/9
[Paper #]COMP2003-93
Self-stabilizing Shared Heap Supporting Concurrent Operations

Satoshi ASAGOSHI,  Yoshihiro NAKAMINAMI,  Toshimitsu MASUZAWA,  

[Date]2004/3/9
[Paper #]COMP2003-94
How to Improve Safety under Convergence Using Stable Storage

Jun KINIWA,  

[Date]2004/3/9
[Paper #]COMP2003-95
複写される方へ

,  

[Date]2004/3/9
[Paper #]
奥付

,  

[Date]2004/3/9
[Paper #]