Verification of Protocols Using Presburger Array Theory(吉井典章教授退官記念論文集)
スポンサーリンク
概要
著者
関連論文
- 異なる品質要求を持つ複数ユーザへのピアツーピアビデオ配信手法(ネットワークプロトコル,情報洪水時代のネットワークサービス)
- 通信プロトコルのエラーリカバリ性自動検証の一方式
- 加重サンプリングを用いたブロック符号の復号誤り確率の評価法
- 加重サンプリングを用いたブロック符号の復号誤り確率の評価法
- 加重サンプリングを用いたブロック符号の復号誤り確率の評価法
- 入力が競合する有限状態機械群からなる通信ソフトウェアの適合性試験に一手法
- 過去に観測された品質からのオーバレイリンク品質の推定手法
- 過去に観測された品質からのオーバレイリンク品質の推定手法
- 過去に観測された品質からのオーバレイリンク品質の推定手法
- 企業会計原則の代数的記述
- 与信評価エキスパートシステムについて : 貸出審査の代数的記述とその実行(小倉榮一郎教授退官記念論文集)
- Verification of Protocols Using Presburger Array Theory(吉井典章教授退官記念論文集)
- 半二重通信制御機能のオートマトン的考察
- 集中形光変調機の一広帯域化法
- マルチメディアシステムに対するQoS機能試験の一手法(ネットワーク品質・制御)(ブロードバンドネットワークサービス)
- 過去に観測された品質からのオーバレイリンク品質の推定手法(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信及び一般)
- P2Pビデオ配送機構の開発とその評価
- P2Pビデオ配送機構の開発とその評価