课题基金 / 基金详情

System Level Issues for Multiparadigm Computing and SIMD and MIMD/SIMD Architectures

System Level Issues for Multiparadigm Computing and SIMD and MIMD/SIMD Architectures
多范型计算以及 SIMD 和 MIMD/SIMD 架构的系统级问题
批准号:
9505960
负责人:
Jose Meseguer
金额:
$23.61万
依托单位:
依托单位国家:
美国
项目类别:
Continuing Grant
财政年份:
1995
资助国家:
美国
项目状态:
已结题
起止时间:
1995-09-01 至 1999-08-31

项目摘要

项目成果

Jose Meseguer的其他基金

相似基金

相关文献

中文摘要
翻译
标题:和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
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
国内基金
海外基金
粒子level set方法的改进与空间自适应波浪模型并行化研究
  • 批准号:
    52171245
  • 项目类别:
    面上项目
  • 资助金额:
    58万元
  • 批准年份:
    2021
  • 负责人:
    黄筱云
  • 依托单位:
基于Level Set方法的三维爆炸与冲击仿真软件开发及其应用
  • 批准号:
    11502121
  • 项目类别:
    青年科学基金项目
  • 资助金额:
    25.0万元
  • 批准年份:
    2015
  • 负责人:
    张莉
  • 依托单位:
层级稀疏化的Mid-Level特征空间下高分辨率遥感影像检索方法研究
CPU/GPGPU紧耦合异构多核系统共享Last Level Cache优化研究
  • 批准号:
    61379035
  • 项目类别:
    面上项目
  • 资助金额:
    75.0万元
  • 批准年份:
    2013
  • 负责人:
    楼学庆
  • 依托单位: