「最適化」に関するサイレントキーワード「コンパイラ」が含まれる科研費採択研究8件

【研究名】証明論に基づくコンパイラの系統的な構築法の研究
【研究代表者】大堀 淳  東北大学   電気通信研究所   教授 	https://nrid.nii.ac.jp/ja/nrid/1000060252532/	 
【研究分担者】
上野 雄大  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000060551554/	
森畑 明昌  東北大学  電気通信研究所  助教  	https://nrid.nii.ac.jp/ja/nrid/1000010582257/	

【研究名】COINSコンパイラの最適化器の時相論理による生成・検証と最適化器の高度化拡張
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  准教授  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	

【研究名】時相論理を用いたコンパイラ最適化器の生成・検証と別名を扱えるSSA形式高度最適化
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  講師  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	

【研究名】最適化検証つきコンパイラの理論と実証のための展開
【研究代表者】佐藤 周行  東京大学   情報基盤センター   准教授 	https://nrid.nii.ac.jp/ja/nrid/1000020225999/	 
【研究分担者】
SATO Hiroyuki  The University of Tokyo  Information Technology Center  Associate Professor  	https://nrid.nii.ac.jp/ja/nrid/1000020225999/	

【研究名】コンパイラにおけるSSA形式を用いた変換と最適化の新しい方式とその検証器の研究
【研究代表者】佐々 政孝  東京工業大学   大学院情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  講師  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	

【研究名】スケーラブル統合プログラミング言語モデルLMNtalの実用化
【研究代表者】上田 和紀  早稲田大学   理工学術院   教授 	https://nrid.nii.ac.jp/ja/nrid/1000010257206/	 
【研究分担者】
加藤 紀夫  早稲田大学  産業技術総合研究所システム検証研究センター  研究員  	https://nrid.nii.ac.jp/ja/nrid/1000040350467/	

【研究名】コンパイラ・インフラストラクチャを用いた先端アーキテクチャ向け最適化の研究
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
滝本 宗宏  東京理科大学  理工学部  助手  	https://nrid.nii.ac.jp/ja/nrid/1000000318205/	
脇田 建  東京工業大学  大学院・情報理工学研究科  講師  	https://nrid.nii.ac.jp/ja/nrid/1000010242265/	

【研究名】SSA形式に基づく中間言語を用いた最新アーキテクチャに対するコンパイラの研究
【研究代表者】佐々 政孝  東京工業大学   大学院・情報理工学研究科   教授 	https://nrid.nii.ac.jp/ja/nrid/1000020016182/	 
【研究分担者】
脇田 建  東京工業大学  大学院・情報理工学研究科  講師  	https://nrid.nii.ac.jp/ja/nrid/1000010242265/