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

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

,  

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

,  

[発表日]1997/1/23
[資料番号]
擬データと関数による並行プロセス群の記述

石井 裕一郎,  武市 正人,  

[発表日]1997/1/23
[資料番号]COMP96-58,SS96-35
モーバイルプロセスの失敗例意味論を用いた等価性判別

伊藤 利純,  村上 昌己,  

[発表日]1997/1/23
[資料番号]COMP96-59,SS96-36
並行オブジェクト指向言語COOLの開発

金村 星吉,  上田 賀一,  

[発表日]1997/1/23
[資料番号]COMP96-60,SS96-37
分散メモリ実装におけるデータフロー言語の構造データ管理方式

稲永 健太郎,  日下部 茂,  雨宮 真人,  

[発表日]1997/1/23
[資料番号]COMP96-61,SS96-38
自律分散動画像サーバーの構築

前田 利之,  荒川 博,  栄藤 稔,  千原 國宏,  

[発表日]1997/1/23
[資料番号]COMP96-62,SS96-39
分散メモリ並列プロセッサおよびネットワーク接続ワークステーションにおけるパイプライン・ガウス・ザイデル法による偏微分方程式の並列解法

清水 尚彦,  

[発表日]1997/1/23
[資料番号]COMP96-63,SS96-40
線型論理・π-計算による構成的プログラミング・システム

赤沢 聡,  高山 幸秀,  

[発表日]1997/1/23
[資料番号]COMP96-64,SS96-41
予約付きセマフォによるデッドロックの回避

孫 志太,  大原 茂之,  津田 勉,  

[発表日]1997/1/23
[資料番号]COMP96-65,SS96-42
サーキットスイッチングモデルにおけるハイパーキュープブロードキャスティング

小館 崇子,  Bermond J-C.,  Bonnecaze A.,  Perennes S.,  Sole P.,  

[発表日]1997/1/23
[資料番号]COMP96-66,SS96-43
ビザンチン故障を考慮したトーラスにおける耐故障ブロードキヤスト

梶原 由香,  岩崎 至宏,  小保方 幸次,  船生 豊,  五十嵐 善英,  

[発表日]1997/1/23
[資料番号]COMP96-67,SS96-44
安定後の1故障を考慮したリングでの自己安定相互排除プロトコル

上田 英一郎,  片山 喜章,  増澤 利光,  藤原 秀雄,  

[発表日]1997/1/23
[資料番号]COMP96-68,SS96-45
共有メモリマルチプロセッサシステムにおける同期時間最適な無待機時計合わせプロトコル

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

[発表日]1997/1/23
[資料番号]COMP96-69,SS96-46
SCCS動作式に対する unfold 変換によるLTSモデルの効率的な構成法

鈴木 晃,  結縁 祥治,  坂部 俊樹,  稲垣 康善,  

[発表日]1997/1/23
[資料番号]COMP96-70,SS96-47
[OTHERS]

,  

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