A General and Powerful Method for Program Optimization
A General and Powerful Method for Program Optimization
批准号:
0196148
负责人:
Yanhong Liu
金额:
$13.0万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2000
资助国家:
美国
项目状态:
已结题
起止时间:
2000-09-01 至 2001-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: Medium: Configuration for Assurance: Safe, Live, and Secure Distributed Systems
-
批准号:1954837
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2020
-
负责人:Yanhong Liu
-
依托单位:
From Clarity to Efficiency for Distributed Algorithms
-
批准号:1414078
-
项目类别:Continuing Grant
-
资助金额:$130.0万
-
财政年份:2014
-
负责人:Yanhong Liu
-
依托单位:
EAGER: From Clarity to Efficiency for Distributed Algorithms
-
批准号:1248184
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2012
-
负责人:Yanhong Liu
-
依托单位:
Clarity and Efficiency in Design
-
批准号:0613913
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2006
-
负责人:Yanhong Liu
-
依托单位:
From Rules to Analysis Algorithms with Time and Space Guarantees
-
批准号:0306399
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Yanhong Liu
-
依托单位:
From Rules to Analysis Algorithms with Time and Space Guarantees
-
批准号:0204280
-
项目类别:Standard Grant
-
资助金额:$7.5万
-
财政年份:2002
-
负责人:Yanhong Liu
-
依托单位:
A General and Powerful Method for Program Optimization
-
批准号:9711253
-
项目类别:Standard Grant
-
资助金额:$13.0万
-
财政年份:1997
-
负责人:Yanhong Liu
-
依托单位:
海外基金