スポンサーリンク
信州大学大学院工学系研究科情報工学専攻 | 論文
- C-038 Time-Petri Netを用いた非同期回路のモデル化と階層化設計(ハードウェア・アーキテクチャ,一般論文)
- C-035 ハードウェア上位設計HDCamlから形式記述言語LOTOSへのコード生成と論理回路ライブラリの構築(ハードウェア・アーキテクチャ,一般論文)
- B-014 VDM-SLの陽仕様記述からLispファミリ言語Schemeへの変換(ソフトウェア,一般論文)
- コーディング規約の違反計測に基づく開発スタイルの特徴分析 (ソフトウェアサイエンス)
- 多重トレリス符号化変調を用いた不均一誤り保護符号システム : 第3報 2RING型信号点配署の理論解析(移動衛星通信,無線通信一般)
- フェージング通信路における不均一誤り訂正符号に関する基本特性(第2報) : 周波数選択性フェージング対策(符号化,変復調・信号処理技術及び一般)
- フェージング通信路における不均一誤り訂正符号に関する基本特性(誤り訂正・通信方式,高速パケット伝送信号処理・伝送技術,無線通信一般)
- 既存モデルの再利用によるError-proneモジュール予測
- 既存モデルの再利用によるError-proneモジュール予測
- M-062 無線端末位置推定法Gomashioの改良(ユビキタス・モバイルコンピューティング,一般論文)
- C-002 上位ハードウェア設計言語Melasy+によるVHDLコード生成と動作検証(C分野:ハードウェア・アーキテクチャ,一般論文)
- 8-322 容易に作成・運用可能なオンラインテストシステムの運用・評価((9)e-ラーニング-III)
- オンラインテストシステムを用いた教育データ解析 (探求学習とハイパーメディア(学習コンテンツのメタデータ利用,コンテンツレポジトリを含む))
- 容易に運用可能なオンラインテストシステム (情報教育の実績と新しい展開)
- 1M-4 上位言語Melasy+による自己テスト機能付バスアービタの設計とNuSMVを用いた検証(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- 1M-3 上位ハードウェア設計言語Melasy+に対する仕様パターン埋め込みと展開(モデリング・上流設計,学生セッション,アーキテクチャ,情報処理学会創立50周年記念)
- オブジェクト指向プログラムのリバースエンジニアリング
- 情報リテラシ教育向け大規模エージェントベースシステムの開発と評価--テンプレートマッチング処理を用いた学習結果自動収集の改善 (新しい学習/教育活動を可能にするICT活用とその評価/一般)
- 電子テキストを利用した情報リテラシ教育の実施結果収集を行う大規模エージェントベースシステムの開発と評価
- オープンソース開発におけるSCMの自動分類に基づくevolutionの傾向分析と品質評価
スポンサーリンク