情報・システム-ディペンダブルコンピューティング(開催日:2002/10/11)

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

,  

[発表日]2002/10/11
[資料番号]
目次

,  

[発表日]2002/10/11
[資料番号]
高信頼Fat-Btree構成の計算アベイラビリティとコストパフォーマンス

宮崎 純,  安部 洋平,  横田 治夫,  

[発表日]2002/10/11
[資料番号]DC2002-26
非同期バックアップ用ログ格納の最適化

安部 洋平,  宮崎 純,  横田 治夫,  

[発表日]2002/10/11
[資料番号]DC2002-27
電子商取引のリスク限定分割取引における回復プロトコル

伊藤 ちひろ,  岩井原 瑞穂,  上林 弥彦,  

[発表日]2002/10/11
[資料番号]DC2002-28
トランザクショナルワークフロの一貫性と隔離性

徐 海燕,  古川 哲也,  史 一華,  

[発表日]2002/10/11
[資料番号]DC2002-29
有限なチェックポイント数を前提とした非連携チェックポインティングについての一考察

鈴木 龍,  新井 雅之,  福本 聡,  岩崎 一彦,  

[発表日]2002/10/11
[資料番号]DC2002-30
非同期並行システムに対するSATに基づくモデル検査

土屋 達弘,  菊野 亨,  

[発表日]2002/10/11
[資料番号]DC2002-31
ローテータグラフにおける耐故障マルチキャスト経路選択問題

金子 敬一,  

[発表日]2002/10/11
[資料番号]DC2002-32
双方向復号可能なLZ77符号における誤り回復能力の評価

中本 健太郎,  北神 正人,  

[発表日]2002/10/11
[資料番号]DC2002-33
[OTHERS]

,  

[発表日]2002/10/11
[資料番号]