スポンサーリンク
大阪大学大学院基礎工学研究科情報数理系専攻 | 論文
- サーバ設定演習が可能なディスクレス計算機環境の検討(第1セッション)
- 広域WWWキャッシュサーバネットワークの設計
- 分散データベースシステムにおける効率的な実体化ビュー更新手続き
- 単語の共起頻度と範囲内重要度による分子生物学データベースの関連エントリ探索手法
- マルチエージェントによる異種の分子生物学データベースの統合と検索の実現
- 通信量を考慮したデータウェアハウスの更新反映処理
- 異機種混在による分散発想支援環境の実現
- 異機種間でデータベースの活用を行う分散発想支援環境の実現に関する考察
- 圧電素子を用いた電子部品実装装置用力センサの開発
- オブジェクト振舞いモデルの継承手法について
- 超高速ネットワークの目指すもの : 未来開拓プロジェクト「高度マルチメディア応用システム構築のための先進的ネットワークアーキテクチャの研究」総括
- ワークフロー記述向きの時間付きカラーペトリネット
- 時間制約付きカラーペトリネットで記述されたワークフローからのスケジュール導出
- 時間制約を持つGUI制御部の仕様記述の一手法
- 凹多面体併合を用いた有理数プレスブルガー文真偽判定アルゴリズムの実装と形式的設計検証への適用
- 入力値のみ保持する変数をもつEFSM群に対する動的性質の検証
- CPU設計導入教育への形式的設計検証手法の適用
- 有理数プレスブルガー文真偽判定のための多面体分割を用いたアルゴリズムとその実装
- 多面体分割を用いた有理数プレスブルガー文真偽判定アルゴリズムとその実装
- 多面体分割を用いた有理数プレスブルガー文真偽判定アルゴリズムとその実装