课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
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
  • 依托单位:
海外基金