Experiments in Distributed Computing
Experiments in Distributed Computing
批准号:
8102285
负责人:
Richard Kieburtz
金额:
$3.69万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1981
资助国家:
美国
项目状态:
已结题
起止时间:
1981-07-01 至 1982-12-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
13th International Conference on Theorem Proving in Higher Order Logics
-
批准号:0072763
-
项目类别:Standard Grant
-
资助金额:$1.0万
-
财政年份:2000
-
负责人:Richard Kieburtz
-
依托单位:
Refining Program Specifications by Automatic Transformation
-
批准号:9803880
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Richard Kieburtz
-
依托单位:
Constructing Software From Specifications
-
批准号:9101721
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1991
-
负责人:Richard Kieburtz
-
依托单位:
Experimental Evaluation of the G-Machine
-
批准号:8611374
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1987
-
负责人:Richard Kieburtz
-
依托单位:
Parallel, Programmed Graph-Reduction On An MIMD Computer
-
批准号:8513572
-
项目类别:Continuing grant
-
资助金额:$0.0万
-
财政年份:1986
-
负责人:Richard Kieburtz
-
依托单位:
The G-Machine: a Fast Graph-Reduction Processor
-
批准号:8405247
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:1984
-
负责人:Richard Kieburtz
-
依托单位:
Software Templates (Computer Research)
-
批准号:8303927
-
项目类别:Continuing Grant
-
资助金额:$10.99万
-
财政年份:1983
-
负责人:Richard Kieburtz
-
依托单位:
国内基金
海外基金
Graphon mean field games with partial observation and application to failure detection in distributed systems
-
批准号:
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2025
-
负责人:MATHIEULOUROCHLAURIERE
-
依托单位: