Information and Systems-Theoretical Foundations of Computing(Date:1999/01/23)

Presentation
表紙

,  

[Date]1999/1/23
[Paper #]
目次

,  

[Date]1999/1/23
[Paper #]
A Task Scheduling Algorithm with Consideration to Communication Property on a Distributed Memory Parallel Machine

Tomoki BABA,  Takashi HASHIMOTO,  Noriyuki FUJIMOTO,  Ken-ichi HAGIHARA,  

[Date]1999/1/23
[Paper #]COMP98-72
Wait-Free Linearizable Implementation of a shared Object

Katsuro SUDA,  Sen MORIYA,  Michiko INOUE,  Toshimitsu MASUZAWA,  Hideo FUJIWARA,  

[Date]1999/1/23
[Paper #]COMP98-73
A Distributed Consistent Global Checkpoint on Distributed Mobile Systems

Masato TERADA,  Michiko INOUE,  Toshimitsu MASUZAWA,  Hideo FUJIWARA,  

[Date]1999/1/23
[Paper #]COMP98-74
On the costs of division of a hypercube into two parts

Shuji Jimbo,  Kosaburo Hashiguchi,  

[Date]1999/1/23
[Paper #]COMP98-75
A Distributed Algorithm for Identifying a Network Graph and its Formal Verification

Satoshi Kagimoto,  Yoshiaki Takata,  Hiroyuki Seki,  

[Date]1999/1/23
[Paper #]COMP98-76
Semantics of three-valued abduction framework

Yoshinori Kurose,  Susumu Yamasaki,  

[Date]1999/1/23
[Paper #]COMP98-77
Three-valued abductive proof procedure

Yoshinori Kurose,  Susumu Yamasaki,  

[Date]1999/1/23
[Paper #]COMP98-78
A Study on Learning Performance of Self-Generating Neural Network

Hirotaka INOUE,  Hideki FURUHASHI,  Hiroyuki NARIHISA,  

[Date]1999/1/23
[Paper #]COMP98-79
New Iterated Local Search Algorithms using Genetic Transformation for the Traveling Salesman Problem

Kengo KATAYAMA,  Hiroyuki NARIHISA,  

[Date]1999/1/23
[Paper #]COMP98-80
Data structure and algorithm for nearest neighbour search

Kazuaki Yamaguchi,  Eiichi Tanaka,  Yoshinari Shirasaka,  

[Date]1999/1/23
[Paper #]COMP98-81
Model checking for communicating processes by the context transformation method

Yasuo Kikawa,  Shoji Yuen,  Toshiki Sakabe,  

[Date]1999/1/23
[Paper #]COMP98-82
[OTHERS]

,  

[Date]1999/1/23
[Paper #]