Proj
J-GLOBAL ID：202104003504701747
Research Project code：10102704
並列スケルトンを用いた並列プログラム開発に関する研究
並列スケルトンを用いた並列プログラム開発に関する研究
Study period：2010 - 2014
Organization (1)：
Principal investigator：
(
, 情報学群, 准教授 )
Research overview：
本研究交流は、並列スケルトンの考え方を基礎として、正しくまた効率の良い並列プログラムの系統的開発手法およびその実行環境の実現を目指すものである。 具体的には、日本側は高い記述自由度と正しさの証明を両立する新しい並列スケルトンの定式化を分担し、フランス側は並列スケルトンの拡張を含む正しさの保証された並列コンパイラを分担し、また効率の良い並列スケルトンライブラリの実現については協働して研究開発を行う。 両国の研究チームが相互補完的に取り組むことで、並列プログラムの開発・保守・検証を容易に行うことができる新しい並列プログラミング手法の確立につながることが期待される。
Terms in the title (4)：
Terms in the title
Keywords automatically extracted from the title.
,
,
,
Research program：
＞
＞
＞
Parent Research Project：
コンピューターサイエンスを含む情報通信技術
Organization with control over the research：
Japan Science and Technology Agency
