课题基金 / 基金详情

Inter-ensemble Communication in the Rewrite Rule Machine

Inter-ensemble Communication in the Rewrite Rule Machine
重写规则机中的集成间通信
批准号:
9007010
负责人:
Jose Meseguer
金额:
$4.99万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1990
资助国家:
美国
项目状态:
已结题
起止时间:
1990-06-15 至 1991-05-31

项目摘要

项目成果

Jose Meseguer的其他基金

相似基金

相关文献

中文摘要
翻译
重写规则机器(RRM)项目的目标是在SRI 国际是设计,模拟,测试和建立一个极高的 性能,多粒度,层次,通用并行 计算机,可以轻松编写和移植并行软件。 在 目前,详细的建筑设计以及丰富的各种 模拟研究已经进行了合奏, 在芯片上的细粒度SIMD处理器。 整个RRM将由 共4096个芯片 本项目旨在解决这一问题 这些群体之间的交流。
英文摘要
The goal of the Rewrite Rule Machine (RRM) project at SRI International is to design, simulate, test and build an extremely high performance, multigrain, hierarchical, general purpose parallel computer, that can ease writing and porting parallel software. At present, detailed architectural design as well as a rich variety of simulation studies have already been carried out for the ensemble, a fine grained SIMD processor on a chip. The entire RRM will be made up of 4096 ensemble chips. The present project addresses the problem of communication among these ensembles.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude
TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
国内基金
海外基金
基于WRF-Mosaic近似不同下垫面类型改变对区域能量和水分循环影响的集合模拟