课题基金 / 基金详情

Inter-ensemble Communication in the Rewrite Rule Machine

Inter-ensemble Communication in the Rewrite Rule Machine
重写规则机中的集成间通信
批准号：
9007010
负责人：
Jose Meseguer
金额：
$4.99万
依托单位：
SRI International
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1990
资助国家：
美国
项目状态：
已结题
起止时间：
1990-06-15 至 1991-05-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9007010&HistoricalAwards=false
关键词：
InterensembleCommunicationRewriteRule

项目摘要

项目成果

Jose Meseguer的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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近似不同下垫面类型改变对区域能量和水分循环影响的集合模拟