课题基金 / 基金详情

The G-Machine: a Fast Graph-Reduction Processor

The G-Machine: a Fast Graph-Reduction Processor
G-Machine：快速图形缩减处理器
批准号：
8405247
负责人：
Richard Kieburtz
金额：
$0.0万
依托单位：
Oregon Graduate Institute of Science & Technology
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1984
资助国家：
美国
项目状态：
已结题
起止时间：
1984-06-15 至 1986-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8405247&HistoricalAwards=false
关键词：
MachineFastGraphReductionProcessor

项目摘要

项目成果

Richard Kieburtz的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
13th International Conference on Theorem Proving in Higher Order Logics
Refining Program Specifications by Automatic Transformation
Constructing Software From Specifications
Experimental Evaluation of the G-Machine
国内基金
海外基金
FAST核心阵混合口径组阵及干涉成像关键技术研究
  • 批准号：
    12573098
  • 项目类别：
    面上项目
  • 资助金额：
    53.00万元
  • 批准年份：
    2025
  • 负责人：
    刘彬
  • 依托单位：
    中国科学院国家天文台
FAST巡天与银河画卷选区内氢原子与氢分子的丰度比研究
  • 批准号：
    12563004
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    31.00万元
  • 批准年份：
    2025
  • 负责人：
    王晨
  • 依托单位：
    大理大学
依托LAMOST和FAST的银河系及近邻宇宙研究
  • 批准号：
    12588202
  • 项目类别：
    卓越研究群体项目-延续资助
  • 资助金额：
    6000.00万元
  • 批准年份：
    2025
  • 负责人：
    赵刚
  • 依托单位：
    中国科学院国家天文台
快速射电暴的物理起源与FAST的观测检验
  • 批准号：
    12403058
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30.00万元
  • 批准年份：
    2024
  • 负责人：
    王维扬
  • 依托单位：
    中国科学院大学