NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
批准号:
9696196
负责人:
Miriam Leeser
金额:
$14.5万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1996
资助国家:
美国
项目状态:
已结题
起止时间:
1996-06-01 至 1998-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Collaborative Research: CNS: PRATE: P4 Research enabled by Accelerators in national TestbEds
-
批准号:2130891
-
项目类别:Standard Grant
-
资助金额:$15.0万
-
财政年份:2021
-
负责人:Miriam Leeser
-
依托单位:
ICE-T: RI: Software Hardware Efficient Extensible Protocols (SHEEP)
-
批准号:1836880
-
项目类别:Standard Grant
-
资助金额:$10.0万
-
财政年份:2018
-
负责人:Miriam Leeser
-
依托单位:
Verification and its Applications to Automated Hardware Synthesis
-
批准号:9100516
-
项目类别:Standard Grant
-
资助金额:$8.0万
-
财政年份:1992
-
负责人:Miriam Leeser
-
依托单位:
NSF Young Investigator: Toolkit Development for the Design of Floating-Point Arithmetic Hardware and Software
-
批准号:9257280
-
项目类别:Continuing Grant
-
资助金额:$21.43万
-
财政年份:1992
-
负责人:Miriam Leeser
-
依托单位:
RIA -- MTV: A Multiple Event Timing Verifier
-
批准号:9111146
-
项目类别:Standard Grant
-
资助金额:$6.0万
-
财政年份:1991
-
负责人:Miriam Leeser
-
依托单位:
海外基金