Evaluating Speed-Up in Parallel Execution of Recursive Programs
Evaluating Speed-Up in Parallel Execution of Recursive Programs
评估递归程序并行执行的加速
批准号：
7801733
负责人：
Rex Page
金额：
$7.83万
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1978
资助国家：
美国
项目状态：
已结题
起止时间：
1978-06-01 至 1980-11-30
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHF: SMALL: Collaborative Research: Modular ACL2
-
批准号：1016532
-
项目类别：Standard Grant
-
资助金额：$20.0万
-
财政年份：2010
-
负责人：Rex Page
-
依托单位：
Collaborative Proposal: Integrating Mechanized Logic into the Software Engineering Curriculum
-
批准号：0633664
-
项目类别：Standard Grant
-
资助金额：$0.0万
-
财政年份：2007
-
负责人：Rex Page
-
依托单位：
ITR: Formal Methods Education and Programming Effectiveness: Are They Related?
-
批准号：0082849
-
项目类别：Continuing Grant
-
资助金额：$20.0万
-
财政年份：2000
-
负责人：Rex Page
-
依托单位：
国内基金
海外基金
基于数据稀疏表示的实时G-SPEED磁共振成像技术研究
-
批准号：61372024
-
项目类别：面上项目
-
资助金额：80.0万元
-
批准年份：2013
-
负责人：金朝阳
-
依托单位：
