课题基金 / 基金详情

MRI: Acquisition of CITI Terascale Cluster (CTC)

MRI: Acquisition of CITI Terascale Cluster (CTC)
MRI:收购 CITI 万亿级集群 (CTC)
批准号:
0216467
负责人:
Moshe Vardi
金额:
$115.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-15 至 2005-08-31

项目摘要

项目成果

Moshe Vardi的其他基金

相似基金

相关文献

中文摘要
翻译
0216467摩西·瓦迪唐·H·约翰逊;肯·W·肯尼迪;约翰·M·梅勒-克拉米; Willy ZwaenepoelMRI:收购 CITI Terascale Cluster \(CTC\) 该提案要求访问可扩展性实验所需的各种实验计算资源,旨在支持可扩展至数千个处理器。 实现这一目标需要对足够规模的计算设施进行实验,以确定解决方案可以扩展到大型系统。 峰值性能约为 1 teraflop 的高性能计算集群,支持计算和数据密集型科学与工程,将使研究人员能够在生物化学、生物学、化学、计算数学、计算机科学与工程、地球科学、经济学、物理学、政治学和心理学等不同领域取得根本性进展。 计划的实验包括:具有数百个处理器和深存储器和通信层次结构的系统的编译器技术的可扩展性;b.在数百个处理器上开发、模拟和测试可扩展的 Web 服务;c.模拟自组织多跳无线网络扩展到数千个节点;d.用于重离子碰撞物理蒙特卡罗研究的可扩展算法;e.基于组件框架的可扩展优化算法的设计与评估;f.提取和分析数亿个国际事件的数据,以更好地预测和理解国际冲突(扩展堪萨斯数据系统);和g。使用数千个灵活性参数对生物分子相互作用进行建模和模拟的新算法的可扩展性测试和实际应用。通过将设备集成到现有课程中,预计教育影响将是巨大的,超越并行编程课程。 一些解决多样性问题的计划已经到位。
英文摘要
0216467Moshe Y. VardiDon H. Johnson; Ken W. Kennedy; John M. Mellor-Crummey; Willy ZwaenepoelMRI: Acquisition of CITI Terascale Cluster \(CTC\)This proposal, requiring access to the kinds of experimental computational resources needed for scalability experiments, aims to support scalability to thousands of processors. Achieving this goal requires experimentation of computational facilities of sufficient size to establish that solutions will scale to large systems. A high-performance computational cluster with a peak performance of approximately one teraflop, supporting both compute- and data-intensive science and engineering, will enable researchers to make fundamental advances in diverse areas such as biochemistry, biology, chemistry, computational mathematics, computer science and engineering, earth science, economics, physics, political science, and psychology. Experiments planned include:a. Scalability of compiler techniques for systems with hundreds of processors and deep memory and communication hierarchies;b. Development, simulation, and testing of scalable Web services on hundreds of processors;c. Simulations of ad hoc multihop wireless networks scaling to thousands of nodes;d. Scalable algorithms for Monte-Carlo studies of the physics of heavy ion collisions;e. Design and evaluation of scalable optimization algorithms based on component frameworks;f. Extraction and analysis of data on hundreds of millions of international events, to better predict and understand international conflicts (extend the Kansas Data System); andg. Scalability tests and practical application of new algorithms for modeling and simulation of biomolecular interactions using several thousand flexibility parameters.By integrating the equipment in the existing curriculum the educational impact is expected to be large, going beyond a course in parallel programming. Several programs are already in place addressing diversity.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Conference: CISE: CCF: SHF: Support for the 2022 Federated Logic Conference
  • 批准号:
    2223546
  • 项目类别:
    Standard Grant
  • 资助金额:
    $5.0万
  • 财政年份:
    2022
  • 负责人:
    Moshe Vardi
  • 依托单位:
CCRI: Medium: Collaborative Research: Open-Source, State-of-the-Art Symbolic Model-Checking Framework
  • 批准号:
    2016656
  • 项目类别:
    Standard Grant
  • 资助金额:
    $25.66万
  • 财政年份:
    2020
  • 负责人:
    Moshe Vardi
  • 依托单位:
Student Support for the 2018 Federated Logic Conference
  • 批准号:
    1824944
  • 项目类别:
    Standard Grant
  • 资助金额:
    $3.5万
  • 财政年份:
    2018
  • 负责人:
    Moshe Vardi
  • 依托单位:
SHF: Medium: Collaborative Research: Formal Analysis and Synthesis of Multiagent Systems with Incentives
  • 批准号:
    1704883
  • 项目类别:
    Standard Grant
  • 资助金额:
    $80.0万
  • 财政年份:
    2017
  • 负责人:
    Moshe Vardi
  • 依托单位:
海外基金