スポンサーリンク
北陸先端科学技術大学院大学情報科学研究科 | 論文
- ソフトウェア科学会第3回大会
- スキュー最適化を前提とするデータパス合成におけるスケジュール可能解空間の拡大(高位合成,デザインガイア2008-VLSI設計の新しい大地)
- スキュー最適化を前提とするデータパス合成におけるスケジュール可能解空間の拡大(高位合成,デザインガイア2008-VLSI設計の新しい大地-)
- ヒューマンインタフェースシンポジウム2007報告
- 冗長化アルゴリズムからの耐故障データパス自動合成(高位・論理合成,システムオンシリコンを支える設計技術)
- モデル検査のためのアスペクト指向メカニズム切り替え手法の提案(設計支援)
- モデル検査のためのアスペクト指向でのモデル記述支援環境(形式手法(1)・言語(学生セッション))
- 契約による設計を支援するアスペクト指向的振舞インタフェース記述言語Moxa
- 契約による設計を支援する表明記述のアスペクト指向的モジュール化方式
- プロジェクト紹介 : 高信頼組込み用オブジェクト指向設計技術(組込み・アスペクト指向)
- アスペクト指向設計モデルの一提案(組込み・アスペクト指向)
- ソフトウェアアーキテクチャのためのアスペクト指向分析
- アスペクト指向設計に関する考察 : 全体構想
- グループホームにおけるあったかい介護のためのインタラクション(セッション6,あったかいインタラクション)
- 発話器官の高速動態観測のための超高時間分解能MRI movie(感情音声,韻律,声質,音声生成・知覚,脳機能,一般)
- 電子教材ライフサイクルモデルに基づく学習管理システム(e-Learningにおける学習支援とコンテンツ開発/一般)
- 電子教材ライフサイクルモデルに基づく学習管理システム (「e-Learningにおける学習支援とコンテンツ開発」および一般)
- ナビゲーション機能を有する学習管理システムに関する研究
- 「サ変名詞+する」から動詞相当句への言い換え
- 「サ変名詞+する」の動詞への言い換え