System Level Issues for Multiparadigm Computing and SIMD and MIMD/SIMD Architectures
System Level Issues for Multiparadigm Computing and SIMD and MIMD/SIMD Architectures
批准号:
9505960
负责人:
Jose Meseguer
金额:
$23.61万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-09-01 至 1999-08-31
中文摘要
标题:MIMD/SIMD架构 并行计算应用程序在最适合有效利用其并行性的计算范例类型方面存在很大差异。 目前的并行硬件软件系统只支持单范例计算。 本研究的目的是探讨系统级支持高效的多范式并行计算。 以前的工作协调语言和多范式顺序编程语言形成了坚实的基础,这项研究,虽然需要重大的新想法。 虽然当前的高性能计算机体系结构正朝着MIMD/SIMD组合组织发展,但对于这种混合计算机体系结构,存在非常少的软件和系统支持。因此,这项研究也将集中在大规模并行SIMD和MIMD/SIMD机器的多范式计算方面,包括重写规则机作为一个测试平台架构。 研究结果将使未来的系统设计者能够更好地了解工程权衡,以有效地支持并行环境中的多范式计算。 这项研究的结果,预计将提高未来的高性能大规模并行计算系统的编程方便。
英文摘要
TITLE: and MIMD/SIMD Architectures Parallel computing applications differ widely in the type of computational paradigm that is best suited to efficiently exploit their parallelism. Current software systems for parallel hardware support only single-paradigm computing. The objective of this research project is to investigate system-level support for efficient multiparadigm parallel computation. Previous work on coordination languages and multiparadigm sequential programming languages form a solid foundation for this research, although significant new ideas are required. Although current high-performance computer architectures are moving toward a combined MIMD/SIMD organization, very little software and system support exists for such hybrid computer architectures. This research will thus also focus on aspects of multiparadigm computing for massively parallel SIMD and MIMD/SIMD machines, including the Rewrite-Rule Machine as a testbed architecture. The research results will enable future systems designers to better appreciate the engineering trade-offs to efficiently support multiparadigm computing in a parallel environment. The results of this research are expected to enhance the future programming ease of high-performance massively parallel computing systems.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
TWC: Small: Collaborative: Extensible Symbolic Analysis Modulo SMT: Combining the Powers of Rewriting, Narrowing, and SMT Solving in Maude
-
批准号:1319109
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2013
-
负责人:Jose Meseguer
-
依托单位:
TC: Medium: Collaborative Research: Rewriting Logic Foundations for Verification and Programming of Next-Generation Trustworthy Web-Based Systems
-
批准号:0905584
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2009
-
负责人:Jose Meseguer
-
依托单位:
TC: Medium: Collaborative Research: Unification Laboratory: Increasing the Power of Cryptographic Protocol Analysis Tools
-
批准号:0904749
-
项目类别:Standard Grant
-
资助金额:$24.0万
-
财政年份:2009
-
负责人:Jose Meseguer
-
依托单位:
Collaborative Research: CT-M: Unification Laboratory for Cryptographic Protocol Analysis
-
批准号:0831064
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:2008
-
负责人:Jose Meseguer
-
依托单位:
CT-ISG: Attacker Models and Verification Methods for End-to-End Protocol Security
-
批准号:0716638
-
项目类别:Standard Grant
-
资助金额:$50.0万
-
财政年份:2007
-
负责人:Jose Meseguer
-
依托单位:
NSF-CNPq Collaborative Research: Mathematical and Engineering Foundations for Interoperability via Architecture
-
批准号:9900334
-
项目类别:Standard Grant
-
资助金额:$11.0万
-
财政年份:1999
-
负责人:Jose Meseguer
-
依托单位:
Semantic Foundations for Composition and Interoperation of Open Systems
-
批准号:9633363
-
项目类别:Continuing Grant
-
资助金额:$21.33万
-
财政年份:1996
-
负责人:Jose Meseguer
-
依托单位:
Multiparadigm Declarative Program
-
批准号:9224005
-
项目类别:Standard Grant
-
资助金额:$12.85万
-
财政年份:1993
-
负责人:Jose Meseguer
-
依托单位:
Inter-ensemble Communication in the Rewrite Rule Machine
-
批准号:9007010
-
项目类别:Standard Grant
-
资助金额:$4.99万
-
财政年份:1990
-
负责人:Jose Meseguer
-
依托单位:
Programming-in-the-Large for New Paradigm and Multi-ParadigmProgramming Languages
-
批准号:8707155
-
项目类别:Continuing Grant
-
资助金额:$32.64万
-
财政年份:1987
-
负责人:Jose Meseguer
-
依托单位:
国内基金
海外基金
登录
查看更多内容
粒子level set方法的改进与空间自适应波浪模型并行化研究
-
批准号:52171245
-
项目类别:面上项目
-
资助金额:58万元
-
批准年份:2021
-
负责人:黄筱云
-
依托单位:
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
-
批准号:11502121
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2015
-
负责人:张莉
-
依托单位:
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
-
批准号:41401376
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2014
-
负责人:陈建胜
-
依托单位:
基于新LEVEL SET方法的双标量小火焰模型的研究
-
批准号:51306013
-
项目类别:青年科学基金项目
-
资助金额:25.0万元
-
批准年份:2013
-
负责人:刘英杰
-
依托单位:
CPU/GPGPU紧耦合异构多核系统共享Last Level Cache优化研究
-
批准号:61379035
-
项目类别:面上项目
-
资助金额:75.0万元
-
批准年份:2013
-
负责人:楼学庆
-
依托单位:
Level Set方法及其在爆炸与冲击问题数值模拟中的应用研究
-
批准号:10872085
-
项目类别:面上项目
-
资助金额:48.0万元
-
批准年份:2008
-
负责人:吴开腾
-
依托单位:
几何造型中交互式Level Set方法研究
-
批准号:60373036
-
项目类别:面上项目
-
资助金额:23.0万元
-
批准年份:2003
-
负责人:冯结青
-
依托单位:
逆向工程中基于小波特征的曲面配准与Level-set建模方法研究
-
批准号:50305027
-
项目类别:青年科学基金项目
-
资助金额:18.0万元
-
批准年份:2003
-
负责人:刘志刚
-
依托单位:
用Level Set方法研究气液两相流界面迁移的微观特性
-
批准号:50106011
-
项目类别:青年科学基金项目
-
资助金额:20.0万元
-
批准年份:2001
-
负责人:李会雄
-
依托单位: