スポンサーリンク
大阪大学大学院基礎工学研究科情報数理系専攻 | 論文
- Timed Uniform Consensus Protocol Tolerating Crash and Timing Faults
- タイミング故障および停止故障に対する故障耐性を有するアトミックブロードキャスト
- B-21-1 パケット変換とアドレス共有による異種アドホックネットワーク間ルーティング(B-21.アドホックネットワーク,一般セッション)
- 教育用大規模計算機システムにおける管理の省力化手法(:インターネット応用システムの構築と運用管理)
- 固定端末, 携帯情報端末間での電子メール一元管理システムの実現
- 高解像度下での精密作業に適したマウスのデバイスドライバ
- 離散周波数制御を利用した消費電力最小のタスクスケジューリングアルゴリズム
- 2次電池の最長利用を目的としたリアルタイムスケジューリングアルゴリズム
- 多人数参加型ネットワークアプリケーションの広域インターネット環境における利用実験
- 多人数参加型ネットワークアプリケーションの広域インターネット環境における利用実験
- 通信ソフトウェア工学に関する研究動向
- 第2回コンプレックスコンピュータシステム国際会議(ICECCS'96)の開催報告
- ネットワークシステムの信頼性保証(「信頼性・保全性・安全性の事例:情報処理・ソフトウェア編」〜信頼性ハンドブック出版から10年を経て〜)
- 静的マルチキャストルーティング問題に対する最適パス選択解法の提案
- 6.X-Sensor : 大規模実証実験を可能とするセンサネットワークテストベッド(パートII:情報分野研究者のためのオンリーワン共有イノベーションプラットフォーム,情報爆発時代におけるわくわくするITの創出を目指して)
- ユーザの関連性を用いた情報伝播モデルの評価実験
- ユーザの関連性を用いた情報伝播モデルの評価実験
- すべての変数が存在記号で束縛された冠頭標準形プレスブルガー文の真偽判定の高速化手法
- プレスブルガー文真偽判定手続きを用いた算術演算回路の正しさの証明
- プレスブルガー文真僞判定手続きを用いた算術演算回路の正しさの証明