Experiments in Distributed Computing

分布式计算实验

基本信息

  • 批准号:
    8102285
  • 负责人:
  • 金额:
    $ 3.69万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1981
  • 资助国家:
    美国
  • 起止时间:
    1981-07-01 至 1982-12-31
  • 项目状态:
    已结题

项目摘要

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Richard Kieburtz其他文献

Richard Kieburtz的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Richard Kieburtz', 18)}}的其他基金

13th International Conference on Theorem Proving in Higher Order Logics
第十三届高阶逻辑定理证明国际会议
  • 批准号:
    0072763
  • 财政年份:
    2000
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Refining Program Specifications by Automatic Transformation
通过自动转换细化程序规范
  • 批准号:
    9803880
  • 财政年份:
    1998
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Constructing Software From Specifications
根据规范构建软件
  • 批准号:
    9101721
  • 财政年份:
    1991
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing grant
Experimental Evaluation of the G-Machine
G 机的实验评估
  • 批准号:
    8611374
  • 财政年份:
    1987
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing grant
Parallel, Programmed Graph-Reduction On An MIMD Computer
MIMD 计算机上的并行编程图形缩减
  • 批准号:
    8513572
  • 财政年份:
    1986
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing grant
The G-Machine: a Fast Graph-Reduction Processor
G-Machine:快速图形缩减处理器
  • 批准号:
    8405247
  • 财政年份:
    1984
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Software Templates (Computer Research)
软件模板(计算机研究)
  • 批准号:
    8303927
  • 财政年份:
    1983
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing Grant

相似国自然基金

Graphon mean field games with partial observation and application to failure detection in distributed systems
  • 批准号:
  • 批准年份:
    2025
  • 资助金额:
    0.0 万元
  • 项目类别:
    省市级项目

相似海外基金

CAREER: Green Functions as a Service: Towards Sustainable and Efficient Distributed Computing Infrastructure
职业:绿色功能即服务:迈向可持续、高效的分布式计算基础设施
  • 批准号:
    2340722
  • 财政年份:
    2024
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing Grant
CRII: CSR: Enhancing Eventual Data Consistency in Multidimensional Scientific Computing through Lightweight In-Memory Distributed Ledger System.
CRII:CSR:通过轻量级内存分布式账本系统增强多维科学计算中的最终数据一致性。
  • 批准号:
    2348330
  • 财政年份:
    2024
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Towards Distributed Computing on a Quantum Network
迈向量子网络上的分布式计算
  • 批准号:
    2906416
  • 财政年份:
    2024
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Studentship
CAREER: Towards Fault-tolerant Edge Computing for Cyber-Physical Systems: Distributed Primitives for Coordination under Cyber Attacks
职业:走向网络物理系统的容错边缘计算:网络攻击下协调的分布式原语
  • 批准号:
    2334021
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing Grant
CAREER: Towards Fault-tolerant Edge Computing for Cyber-Physical Systems: Distributed Primitives for Coordination under Cyber Attacks
职业:走向网络物理系统的容错边缘计算:网络攻击下协调的分布式原语
  • 批准号:
    2238020
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing Grant
Collaborative Research: CyberTraining: Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究:网络培训:实施:中:为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号:
    2321017
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究:网络培训:实施:中:为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号:
    2321020
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
  • 批准号:
    2401496
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Continuing Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究:网络培训:实施:中:为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号:
    2321016
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
Collaborative Research:CyberTraining:Implementation:Medium: Modern Course Exemplars infused with Parallel and Distributed Computing for the Introductory Computing Course Sequence
协作研究:网络培训:实施:中:为入门计算课程序列注入并行和分布式计算的现代课程范例
  • 批准号:
    2321019
  • 财政年份:
    2023
  • 资助金额:
    $ 3.69万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了