並列プログラミング言語の静的解析とそれに基づく最適化の研究
並列プログラミング言語の静的解析とそれに基づく最適化の研究
批准号:
97J07813
负责人:
五十嵐 淳
金额:
$1.15万
依托单位:
依托单位国家:
日本
项目类别:
Grant-in-Aid for JSPS Fellows
财政年份:
1998
资助国家:
日本
项目状态:
已结题
起止时间:
1998 至 1999
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Research on software contracts for highly interoperable software modules
-
批准号:20H00582
-
项目类别:Grant-in-Aid for Scientific Research (A)
-
资助金额:$28.45万
-
财政年份:2020
-
负责人:五十嵐 淳
-
依托单位:
高反応性有機バナジウム錯体の設計・創製と高効率炭素-炭素結合形成反応
-
批准号:14J07313
-
项目类别:Grant-in-Aid for JSPS Fellows
-
资助金额:$1.22万
-
财政年份:2014
-
负责人:五十嵐 淳
-
依托单位:
安全・安心な環境適応型ソフトウェアの基礎理論に関する研究
-
批准号:18049044
-
项目类别:Grant-in-Aid for Scientific Research on Priority Areas
-
资助金额:$2.11万
-
财政年份:2006
-
负责人:五十嵐 淳
-
依托单位:
様相論理に基づいたプログラム解析手法の研究
-
批准号:15700011
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$1.79万
-
财政年份:2003
-
负责人:五十嵐 淳
-
依托单位:
高級並列言語の様々な安全性を保証するプログラム進化支援つき汎用型システムの研究
-
批准号:13780203
-
项目类别:Grant-in-Aid for Young Scientists (B)
-
资助金额:$1.41万
-
财政年份:2001
-
负责人:五十嵐 淳
-
依托单位: