結縁 祥治 | 名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
スポンサーリンク
概要
関連著者
-
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
-
結縁 祥治
名古屋大学大学院情報科学研究科/科学技術振興機構さきがけ研究
-
結縁 祥治
名古屋大学 情報科学研究科
-
結縁 祥治
名古屋大学大学院情報科学研究科
-
結縁 祥治
名古屋大学情報科学研究科
-
今井 敬吾
名古屋大学大学院情報科学研究科
-
伴 潤
名古屋大学大学院情報科学研究科
-
結縁 祥治
名古屋大 大学院情報科学研究科
-
Yuen Shoji
Graduate School Of Information Science Nagoya Univeristy
-
阿草 清滋
名古屋大学工学部電気工学第二
-
中堂園 貴幸
名古屋大学大学院情報科学研究科
-
高田 広章
名古屋大学大学院情報科学研究科附属組込みシステム研究センター
-
冨山 宏之
名古屋大学大学院情報科学研究科情報システム学専攻
-
高田 広章
名古屋大学
-
横山 哲郎
名古屋大学大学院情報科学研究科
-
Agusa Kiyoshi
Graduate School of Information Science, Nagoya University
-
阿草 清滋
京大
-
阿草 清滋
名古屋大学工学部
-
冨山 宏之
名古屋大学大学院情報科学研究科
-
冨山 宏之
名古屋大学
-
冨山 宏之
財団法人九州システム情報技術研究所
-
阿草 清滋
名古屋大学大学院情報科学研究科
-
曾 剛
名古屋大学大学院情報科学研究科
-
馬場 敬
名古屋大学大学院情報科学研究科
-
横山 哲郎
南山大学情報理工学部
-
阿草 清滋
京大(現名大)
-
坂野 吉隆
名古屋大学情報科学研究科
-
阿草 清滋
名古屋大学
-
Ogawa Mizuhito
Japan Advanced Institute Of Science And Technology
-
Li Guoqiang
School Of Information Science Japan Advanced Institute Of Science And Technology
-
曾 剛
名古屋大学 大学院情報科学研究科
-
下村 翔
名古屋大学情報科学研究科
-
水野 洋樹
名古屋大学情報科学研究科
-
坂野 吉隆
名古屋大学大学院情報科学研究科
-
曾 剛
名古屋大学
-
Iwatsuka Takuya
Graduate School Of Information Science Nagoya University
-
中島 崇
名古屋大学情報科学研究科
-
中島 崇
名古屋大学 情報科学研究科
-
Cai Xiaojuan
School of Software, Shanghai Jiotong University
-
Li Guoqiang
School of Software, Shanghai Jiotong University
-
Yuen Shoji
Graduate School of Information Science, Nagoya University
-
水谷 浩明
名古屋大学情報科学研究科
-
AGUSA Kiyoshi
the Graduate School of Information Science, Nagoya University
-
IMAI Keigo
IT Planning Inc.
-
YUEN Shoji
the Graduate School of Information Science, Nagoya University
-
阿草 清滋
名古屋大学情報科学研究科
-
岩塚 卓弥
名古屋大学大学院情報科学研究科
-
寺内 多智弘
名古屋大学大学院情報科学研究科
-
亀井 達朗
名古屋大学大学院情報科学研究科
著作論文
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- Maudeによる否定を含んだ構造操作意味定義インタプリタと等価性検証器の構築
- Apache Cocoon Flowscriptのモデル検査によるWeb応用プログラムの動作検証
- 動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
- 計算資源へのアクセス能力に基づく競合検査とデッドロック検査のための型解析
- 実行履歴にもとづくマルチコア実時間応用プログラムのデバッグモデル
- コレオグラフィに基づく高信頼通信指向GUIプログラミング
- 通信プロセス計算とその時間拡張(システム設計のための形式手法の基礎と応用)
- 否定前件を含む構造操作意味定義に対するプロセス計算コンパイラ
- An Extention of DynAlloy with Concurrency
- 分離論理を用いたTOPPERS/ASPの割込み動作に対する検証
- FOREWORD
- Alloyを用いたRuby on Railsアプリケーションの開発支援
- Nested timed automata
- A Session Type System with Subject Reduction
- 無限小定数と限量子除去法によるハイブリッドシステムの検証に向けて
- タスクマイグレーション機能を持つマルチコアスケジューリング解析
- タスクマイグレーション機能を持つマルチコアスケジューリング解析
- FOREWORD
- 値付きタスクオートマトンに基づくコストを意識した実時間タスクスケジューリング