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
-
负责人:陈建胜
-
依托单位:
CPU/GPGPU紧耦合异构多核系统共享Last Level Cache优化研究
-
批准号:61379035
-
项目类别:面上项目
-
资助金额:75.0万元
-
批准年份:2013
-
负责人:楼学庆
-
依托单位:
基于新LEVEL SET方法的双标量小火焰模型的研究
-
批准号:51306013
-
项目类别:青年科学基金项目
-
资助金额:25.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
-
负责人:李会雄
-
依托单位: