课题基金 / 基金详情

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搜寻及观测的脉冲星多波段辐射机制研究
  • 批准号：
    12403046
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    尚伦华
  • 依托单位：
    贵州师范大学
FAST连续观测数据处理的pipeline开发
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
  • 依托单位：
    武汉大学
基于神经网络的FAST馈源融合测量算法研究
  • 批准号：
    12363010
  • 项目类别：
    地区科学基金项目
  • 资助金额：
    31万元
  • 批准年份：
    2023
  • 负责人：
    李明辉
  • 依托单位：
    贵州大学
使用FAST开展河外中性氢吸收线普查
  • 批准号：
    12373011
  • 项目类别：
    面上项目
  • 资助金额：
    52.00万元
  • 批准年份：
    2023
  • 负责人：
    张博
  • 依托单位：
    中国科学院国家天文台