情報・システム-コンピュテーション(開催日:1998/03/23)

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

,  

[発表日]1998/3/23
[資料番号]
目次

,  

[発表日]1998/3/23
[資料番号]
動的負荷分散を用いたDPマッチングの並列処理

酒井 秀宣,  松尾 啓志,  岩田 彰,  

[発表日]1998/3/23
[資料番号]
超並列項書換えシステムの実装と評価

平田 寛道,  五百蔵 重典,  緒方 和博,  二木 厚吉,  

[発表日]1998/3/23
[資料番号]
テスト等価性に基づいた視覚的LTSモデル操作によるプロセス代数デバッガ

平手 孝,  結縁 祥治,  坂部 俊樹,  稲垣 康善,  

[発表日]1998/3/23
[資料番号]
オブジェクト指向HDLに向けた自律再構成可能アーキテクチャ

小西 隆介,  小栗 清,  永見 康一,  塩澤 恒道,  伊藤 秀之,  

[発表日]1998/3/23
[資料番号]
準弱双模倣性をもとにした仕様の段階的合成方法

磯部 祥尚,  佐藤 豊,  大蒔 和仁,  

[発表日]1998/3/23
[資料番号]
AgentSpace: 高階モーバイルエージェントシステム

佐藤 一郎,  

[発表日]1998/3/23
[資料番号]
BDIアーキテクチャを用いた分散人工知能戦略選択機構

山崎 賢治,  楢崎 修二,  牛島 和夫,  

[発表日]1998/3/23
[資料番号]
Alpha-chipマシン上のPHL処理系について

佐藤 圭史,  青木 徹,  寺島 元章,  

[発表日]1998/3/23
[資料番号]
Javaにおける分散開発環境の研究

小池 誠,  岩澤 京子,  

[発表日]1998/3/23
[資料番号]
通信プロトコルの回復処理における設計誤りのReal-Time Temporal Logic を用いた検出

長野 伸一,  角田 良明,  菊野 享,  

[発表日]1998/3/23
[資料番号]
命題論理に基づいた並行システムの仕様記述

菅原 佳菜,  高橋 薫,  

[発表日]1998/3/23
[資料番号]
ATMスイッチにおける三段階スケジューリング法の提案とその評価

西尾 嘉晃,  藤田 聡,  山下 雅史,  

[発表日]1998/3/23
[資料番号]
問題のサイズより小さい再構成メッシュ上でのソーティングアルゴリズム

松前 進,  笹田 良治,  都倉 信樹,  

[発表日]1998/3/23
[資料番号]
固定サイズの再構成メッシュ上で凸包を求めるアルゴリズム

笹田 良治,  松前 進,  都倉 信樹,  

[発表日]1998/3/23
[資料番号]
リングネットワーク上での排他制御問題に対する故障封じ込め自己安定アルゴリズム

千星 裕,  枡田 秀夫,  辻野 嘉宏,  都倉 信樹,  

[発表日]1998/3/23
[資料番号]
n次元立方体の線形配置のコストについて

山本 治,  神保 秀司,  橋口 攻三郎,  

[発表日]1998/3/23
[資料番号]
CGMモデル及びBSPモデル上で選択及びソートを行う並列アルゴリズム

藤原 暁宏,  石水 隆,  井上 美智子,  増澤 利光,  藤原 秀雄,  

[発表日]1998/3/23
[資料番号]
並列オブジェクト指向言語における再帰にともなうデッドロックの回避機構の設計と実装

柳川 和久,  佐藤 直人,  大澤 範高,  弓場 敏嗣,  

[発表日]1998/3/23
[資料番号]
12>> 1-20hit(22hit)