スポンサーリンク
大阪大学 大学院基礎工学研究科 情報数理系専攻 | 論文
- 06 次世代広帯域ネットワーク利用技術の研究開発(GENESIS)(ジャパンギガビットネットワーク)
- 定期拡張するWDMネットワークにおける不確定な光パス設定要求に対する光パス経路決定アルゴリズム
- IPv6ネットワークにおけるフィードバック制御を用いた高品質なリアルタイムDV転送システムの設計および実装
- 外部入力値のみを保持できる整数変数をもつFSMに対する記号モデル検査法(ソフトウェア工学)
- コンフィギュラブル・プロセッサの遅延時間見積り手法の提案
- 05 JBプロジェクト(ジャパンギガビットネットワーク)
- 誤差解析による人工股関節手術支援システムの精度検討
- トラヒックマトリクスの取りうる範囲を考慮したマルチレイヤトラヒックエンジニアリング
- 複数の部分木の置換を許した属性木に対する属性評価アルゴリズムの提案
- ア***ロセッサの再構成に関するプロセッサ割当問題について
- プログラム仕様に用いる自然語処理のための語句の意味定義
- UseCASEを利用したソフトウェアフォールトに対するSS-FTAの提案
- ジャクソンシステム開発法の代数的言語による記述の試み
- 超高速ネットワークの目指すもの : 未来開拓プロジェクト「高度マルチメディア応用システム構築のための先進的ネットワークアーキテクチャの研究」総括
- 時間制約を保証するUML/OCLを用いた分散実時間アプリケーション開発手法(ソフトウェア,フォーマルアプローチ論文)
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- UML/OCLを用いた分散実時間アプリケーション開発手法の提案
- D-3-6 分散実時間アプリケーションのUML/OCL記述から時間オートマトンネットワークを用いた動作仕様記述への変換手法の提案(D-3. ソフトウェアサイエンス, 情報・システム1)
- 分散環境実時間アプリケーション開発支援のためのTimeliness QoS一貫性検証系および時間制御コード生成系の実装
- 関数型言語ML向け形式的検証支援システムの試作