スポンサーリンク
大阪大学大学院情報科学研究科|独立行政法人科学技術振興機構 Crest | 論文
- 「次世代のインターネット/分散システムの構築・運用技術」の編集にあたって
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- 複数の誤り訂正符号に対応する再構成可能デコーダモデルの提案
- 負傷者の状態をリアルタイムに監視する電子トリアージ・タッグの評価
- in-order実行パイプラインCPUの正しさの自動証明例
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- 渋滞緩和を目的とした車車間通信による混雑状況の伝播方式(交通における計測・一般(電気系3学会ITS合同研究会))
- 渋滞緩和を目的とした車車間通信による混雑状況の伝播方式(交通における計測, 一般(電気系3学会ITS合同研究会))
- 車車間通信を用いた渋滞解消ナビゲーションシステムの提案(セッション1-A : アドホックネットワーク)
- 車車間通信を用いた渋滞解消ナビゲーションシステムの提案(セッション1-A : アドホックネットワーク)
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真偽判定手続きにおける多元連立1次合同式の求解処理の高速化
- 現実的なシミュレーションシナリオが記述可能な無線ネットワークシミュレータMobiREAL(ネットワーク品質・制御, ブロードバンド・ユビキタス・ネットワークとその応用)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)
- MANETアプリケーション向けのシミュレータMobiREALの実装に関する検討(セッション2)(テーマ:モバイルコンピューティング,ITS,放送コンピューティング)