結縁 祥治 | 名古屋大学情報科学研究科
スポンサーリンク
概要
関連著者
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
結縁 祥治
名古屋大学情報科学研究科
-
Yuen Shoji
Center For Information Media Studies Nagoya University
-
結縁 祥治
名古屋大学 情報科学研究科
-
Yuen Shoji
Graduate School Of Information Science Nagoya University:national Institute Of Informatics
-
YUEN Shoji
Nagoya University
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
冨山 宏之
名古屋大学大学院情報科学研究科情報システム学専攻
-
伴 潤
名古屋大学大学院情報科学研究科
-
高田 広章
名古屋大学
-
横山 哲郎
名古屋大学大学院情報科学研究科
-
冨山 宏之
名古屋大学大学院情報科学研究科
-
冨山 宏之
名古屋大学
-
冨山 宏之
財団法人九州システム情報技術研究所
-
曾 剛
名古屋大学大学院情報科学研究科
-
横山 哲郎
南山大学情報理工学部
-
坂野 吉隆
名古屋大学情報科学研究科
-
曾 剛
名古屋大学 大学院情報科学研究科
-
下村 翔
名古屋大学情報科学研究科
-
水野 洋樹
名古屋大学情報科学研究科
-
坂野 吉隆
名古屋大学大学院情報科学研究科
-
曾 剛
名古屋大学
著作論文
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル
- コレオグラフィに基づく高信頼通信指向GUIプログラミング
- 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)