情報・システム-コンピュテーション(開催日：1994/03/10)

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

,  

[発表日]1994/3/10
[資料番号]
目次

,  

[発表日]1994/3/10
[資料番号]
仕様合成オペレータを持つ並行処理記述言語のアクションリファインメント

小村 誠一,  平川 豊,  市川 晴久,  

[発表日]1994/3/10
[資料番号]COMP93-87,SS93-55
オブジェクトの生成,消滅を表現可能な論理体系DOL

宮川 晋,  米崎 直樹,  

[発表日]1994/3/10
[資料番号]COMP93-88,SS93-56
有限なロケーションを持つ並行プロセス

カサブランカ ファビオ,  坂部 俊樹,  稲垣 康善,  

[発表日]1994/3/10
[資料番号]COMP93-89,SS93-57
並行論理型言語NGHCの時相論理式による制約を用いた部分計算法

中尾 有志,  村上 昌己,  

[発表日]1994/3/10
[資料番号]COMP93-90,SS93-58
並列プログラムを生成するプログラム変換手法について

西田 誠幸,  辻野 嘉宏,  都倉 信樹,  

[発表日]1994/3/10
[資料番号]COMP93-91,SS93-59
1次元可逆セル・オートマトンにおける一斉射撃問題について

今井 克暢,  森田 憲一,  

[発表日]1994/3/10
[資料番号]COMP93-92,SS93-60
コンピュータを用いたブール関数簡単化の一方法II : 禁止有

苫米地 宣裕,  

[発表日]1994/3/10
[資料番号]COMP93-93,SS93-61
共有メモリシステム上でスナップショット問題を解く分散アルゴリズム

井上 美智子,  陳 慰,  増澤 利光,  都倉 信樹,  

[発表日]1994/3/10
[資料番号]COMP93-94,SS93-62
プロセッサ間通信遅延を考慮した完全2分木状タスク依存グラフのスケジューリング手法

藤本 典幸,  柘植 宗俊,  萩原 兼一,  魚井 宏高,  首藤 勝,  

[発表日]1994/3/10
[資料番号]COMP93-95,SS93-63
C-daemonでのリングの方向付けのための自己安定アルゴリズムについて

桝田 秀夫,  片山 喜章,  増澤 利光,  都倉 信樹,  

[発表日]1994/3/10
[資料番号]COMP93-96,SS93-64
[OTHERS]

,  

[発表日]1994/3/10
[資料番号]