| キーワード : スケーラビリティ
| |
| |
| |
| |
|
ルータクラスタにおける二重パケット処理冗長方式 狩野 秀一 地引 昌弘 | 誌名: 電子情報通信学会論文誌 B
発行日: 2005/10/01
Vol. J88-B
No. 10 ;
pp. 1956-1967
論文種別:
特集論文 (インターネットアーキテクチャ技術論文特集)
専門分野: アーキテクチャ キーワード: クラスタ, ルータ, スケーラビリティ, 高可用性, | | あらまし | 本文:PDF(850.7KB) | |
| |
| |
|
対称性及び抽象化を利用した検証方式の効率化 戸島 弘詩 米田 友洋 | 誌名: 電子情報通信学会論文誌 D
発行日: 1999/07/25
Vol. J82-D1
No. 7 ;
pp. 799-811
論文種別:
特集論文 (テストと設計検証論文特集)
専門分野: 設計検証 キーワード: 形式的検証, 対称性, 抽象化, ペトリネット, スケーラビリティ, | | あらまし | 本文:PDF(520KB) | |
| |
| |
| |
|
|