MRI: Acquisition of CITI Terascale Cluster (CTC)
MRI: Acquisition of CITI Terascale Cluster (CTC)
批准号:
0216467
负责人:
Moshe Vardi
金额:
$115.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2002
资助国家:
美国
项目状态:
已结题
起止时间:
2002-09-15 至 2005-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
依托单位:
A Conference on Humans, Machines and the Future of Work
-
批准号:1648897
-
项目类别:Standard Grant
-
资助金额:$2.5万
-
财政年份:2016
-
负责人:Moshe Vardi
-
依托单位:
III: Small: Sampling Techniques in Computational Logic
-
批准号:1527668
-
项目类别:Standard Grant
-
资助金额:$40.73万
-
财政年份:2015
-
负责人:Moshe Vardi
-
依托单位:
Student Support for the 2014 Federated Logic Conference
-
批准号:1419283
-
项目类别:Standard Grant
-
资助金额:$4.0万
-
财政年份:2014
-
负责人:Moshe Vardi
-
依托单位:
MRI: Acquisition of Big-Data Private-Cloud Research Cyberinfrastructure (BDPC)
-
批准号:1338099
-
项目类别:Standard Grant
-
资助金额:$40.0万
-
财政年份:2013
-
负责人:Moshe Vardi
-
依托单位:
SHF: Small: Pushing the Frontier of Linear-Time Model-Checking Technology
-
批准号:1319459
-
项目类别:Standard Grant
-
资助金额:$30.46万
-
财政年份:2013
-
负责人:Moshe Vardi
-
依托单位:
Collaborative Research: Expeditions in Computer Augmented Program Engineering (ExCAPE): Harnessing Synthesis for Software Design
-
批准号:1139011
-
项目类别:Continuing Grant
-
资助金额:$100.0万
-
财政年份:2012
-
负责人:Moshe Vardi
-
依托单位:
Support for the 2010 Federated Logic Conference
-
批准号:1009103
-
项目类别:Standard Grant
-
资助金额:$3.0万
-
财政年份:2010
-
负责人:Moshe Vardi
-
依托单位:
Eager: Automated Synthesis for System Design
-
批准号:1049862
-
项目类别:Standard Grant
-
资助金额:$25.0万
-
财政年份:2010
-
负责人:Moshe Vardi
-
依托单位:
An Automata-Theoretic Approach to Design Synthesis
-
批准号:0728882
-
项目类别:Standard Grant
-
资助金额:$30.0万
-
财政年份:2007
-
负责人:Moshe Vardi
-
依托单位:
SOD:HCER: A Theory of Automated Design
-
批准号:0613889
-
项目类别:Standard Grant
-
资助金额:$20.0万
-
财政年份:2006
-
负责人:Moshe Vardi
-
依托单位:
Automata-Theoretic Approach to Design Verification
-
批准号:0311326
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2003
-
负责人:Moshe Vardi
-
依托单位:
Developing Linear-time Model-checking Technology
-
批准号:9988322
-
项目类别:Continuing Grant
-
资助金额:$0.0万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Educational Innovation: "Collaborative Research:" Integrating Logic in the Computer Science Curriculum
-
批准号:0086264
-
项目类别:Standard Grant
-
资助金额:$48.96万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Constructing Probability Models for Large Corpora of Well-Informed but Probabilistically Incoherent Judgments
-
批准号:9978135
-
项目类别:Continuing Grant
-
资助金额:$59.4万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Collaborative Research: Constraint Satisfaction, Database Query Evaluation, and Information Integration
-
批准号:9908435
-
项目类别:Continuing grant
-
资助金额:$20.81万
-
财政年份:2000
-
负责人:Moshe Vardi
-
依托单位:
Workshop on Application of Tree Automata in Rewriting, Logic and Programming in Frankfurt, Germany, October 20-24, 1997
-
批准号:9711212
-
项目类别:Standard Grant
-
资助金额:$0.9万
-
财政年份:1997
-
负责人:Moshe Vardi
-
依托单位:
海外基金