情報・システム-コンピュテーション(開催日：1999/01/23)

タイトル/著者/発表日/資料番号
表紙

,  

[発表日]1999/1/23
[資料番号]
目次

,  

[発表日]1999/1/23
[資料番号]
分散メモリ型並列計算機の通信特性を考慮したスケジューリングアルゴリズムの開発とその評価

馬場 大樹,  橋本 貴至,  藤本 典幸,  萩原 兼一,  

[発表日]1999/1/23
[資料番号]COMP98-72
線形化可能性を保証する共有オブジェクトの無待機な実現

須田 克朗,  守屋 宣,  井上 美智子,  増澤 利光,  藤原 秀雄,  

[発表日]1999/1/23
[資料番号]COMP98-73
分散移動システムにおける全域チェックポイントについて

寺田 雅人,  井上 美智子,  増澤 利光,  藤原 秀雄,  

[発表日]1999/1/23
[資料番号]COMP98-74
ハイパーキューブの二分割コストについて

神保 秀司,  橋口 攻三郎,  

[発表日]1999/1/23
[資料番号]COMP98-75
ネットワークを同定するアルゴリズムのプロセス代数による記述とその形式的検証

鍵本 聡,  高田 喜朗,  関 浩之,  

[発表日]1999/1/23
[資料番号]COMP98-76
3値アブダクション枠組の意味論

黒瀬 義則,  山崎 進,  

[発表日]1999/1/23
[資料番号]COMP98-77
3値アブダクティブ証明手続き

黒瀬 義則,  山崎 進,  

[発表日]1999/1/23
[資料番号]COMP98-78
自己生成ニューラルネットワークの学習特性に関する研究

井上 浩孝,  古橋 秀樹,  成久 洋之,  

[発表日]1999/1/23
[資料番号]COMP98-79
巡回セールスマン問題に対する遺伝的変換を用いた反復局所探索法

片山 謙吾,  成久 洋之,  

[発表日]1999/1/23
[資料番号]COMP98-80
類似データ検索のためのデータ構造とアルゴリズム

山口 一章,  田中 栄一,  白阪 佳也,  

[発表日]1999/1/23
[資料番号]COMP98-81
通信プロセスに対する文脈変換手法を用いたモデル検査

木川 泰夫,  結縁 祥治,  坂部 俊樹,  

[発表日]1999/1/23
[資料番号]COMP98-82
[OTHERS]

,  

[発表日]1999/1/23
[資料番号]