鈴木 正人 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
鈴木 正人
北陸先端科学技術大学院大学情報科学研究科
-
鈴木 正人
北陸先端科学技術大学院大学
-
鈴木 正人
(株)ルネサステクノロジ
-
鈴木 正人
北陸先端科学技術大学院大
-
片山 卓也
北陸先端科学技術大学院大学
-
鈴木 正人
東京工業大学情報理工学研究科計算工学
-
鈴木 正人
東京工業大学大学院情報理工学研究科
-
幸田 圭史
帝京大学ちば総合医療センター外科
-
手塚 徹
帝京大学ちば総合医療センター外科
-
小杉 千弘
帝京大学ちば総合医療センター外科
著作論文
- ウインターワークショップ・イン・金沢報告 : 総括
- プロセッサの仕様に適応可能なコンパイラのための汎用最適化器
- ソースコード理解支援機能を持つ開発環境(開発支援(学生セッション))
- メトリクスの測定によるリファクタリング支援の自動化(メトリクス(学生セッション))
- Java WEB アプリケーションにおける通信特性の解析と可視化
- 抽象解釈に基づく段階的プログラム構成法(ISDR法)の記述能力の評価
- 抽象解釈に基づく仕様の段階的具体化法
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価
- 耐故障性ソフトウェアのための計算モデルFTAGの実装と評価