情報・システム-コンピュータシステム(開催日：2002/04/12)

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

,  

[発表日]2002/4/12
[資料番号]
目次

,  

[発表日]2002/4/12
[資料番号]
充足可能性判定を用いたモデル検査ツールの実装

田中 崇浩,  土屋 達弘,  菊野 亨,  

[発表日]2002/4/12
[資料番号]CPSY2002-1
高信頼WDMネットワークにおける論理トポロジー管理手法の検討

荒川 伸一,  石田 晋哉,  村田 正幸,  

[発表日]2002/4/12
[資料番号]CPSY2002-2
遠隔監視制御用標準プロトコルの通信回線多重化に関する検討

水沼 一郎,  荒井 兼秀,  佐々木 聡,  

[発表日]2002/4/12
[資料番号]CPSY2002-3
畳込み符号を用いたディペンダブルTV会議システム

新井 雅之,  黒須 一司,  大原 衛,  鈴木 龍,  福本 聡,  岩崎 一彦,  

[発表日]2002/4/12
[資料番号]CPSY2002-4
国際会議DSN(ディペンダブルシステムとネットワークに関する国際会議)の参加報告

菊野 亨,  土屋 達弘,  

[発表日]2002/4/12
[資料番号]CPSY2002-5
PRDC2001の報告と関連話題

横田 治夫,  

[発表日]2002/4/12
[資料番号]CPSY2002-6
非同期式回路検証のためのレベル指向モデルとその効率的解析法について

小黒 裕介,  米田 友洋,  

[発表日]2002/4/12
[資料番号]CPSY2002-7
ハードウェア再構成方式の部分回路故障回避に対する速度評価

中村 洋介,  平木 敬,  

[発表日]2002/4/12
[資料番号]CPSY2002-8
ネットワークプロセッサに適したマルチスレッド実行コアの構成

菅原 豊,  平木 敬,  

[発表日]2002/4/12
[資料番号]CPSY2002-9
低消費電力メディア・アプリケーション向けヒストリ・ベース・タグ比較キャッシュの評価

井上 弘士,  Moshnyaga Vasily G.,  村上 和彰,  

[発表日]2002/4/12
[資料番号]CPSY2002-10
ABL-Tree結合PCクラスタとその再構成能力評価

津田 伸生,  

[発表日]2002/4/12
[資料番号]CPSY2002-11
[OTHERS]

,  

[発表日]2002/4/12
[資料番号]