Collaborative Research: Finite-State Verification for High-Performance
协作研究:高性能有限状态验证
基本信息
- 批准号:0540948
- 负责人:
- 金额:$ 11.4万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Continuing Grant
- 财政年份:2006
- 资助国家:美国
- 起止时间:2006-04-15 至 2009-03-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
ABSTRACT0541035/0540948/0541263PI (lead/UMass): Stephen F. Siegelco-PI (UMass): George AvruninPI (UNL): Matthew DwyerPI (UChicago): Andrew SiegelCollaborative Research: Finite-State Verification for High-Performance ComputingHigh performance computation (HPC) has revolutionized a wide range of scientific and engineering endeavors, including climate modeling, computational fluid dynamics, molecular engineering, and the design ofbuildings, airplanes, and cars. Parallel computers, some of which contain over one hundred thousand processors, make this computation possible. Unfortunately, programming these machines is notoriouslydifficult: parallel programs are extremely complex, difficult to debug, and can behave in unpredictable ways. As scientific applications increase in scale and complexity, the effort required to develop them is growing at an alarming rate, and there is an emerging consensus that new development methods are required.The goal of this project is to develop a body of finite-state verification (FSV) techniques that will allow HPC developers to root out bugs and confirm that their programs meet specified requirements. FSV techniques involve the application of algorithmic methods to a formal model of the program being analyzed. While these techniques have been used successfully in some other programming domains, a number of challenges must be overcome before they can be successfully applied to HPC software. The ultimate result will be an increase in productivity of HPC developers and an increased confidence in the correctness of their programs.
摘要0541035/0540948/0541263 PI(电极导线/UMass):Stephen F. Siegelco-PI(马萨诸塞大学):乔治AvruninPI(UNL):Matthew DwyerPI(芝加哥大学):Andrew Siegel合作研究:高性能计算(HPC)已经彻底改变了广泛的科学和工程工作,包括气候建模,计算流体动力学,分子工程,以及建筑物,飞机和汽车的设计。 并行计算机,其中一些包含超过10万个处理器,使这种计算成为可能。 不幸的是,对这些机器进行编程是出了名的困难:并行程序极其复杂,难以调试,并且可能以不可预测的方式运行。 随着科学应用的规模和复杂性的增加,开发它们所需的工作量正在以惊人的速度增长,并且正在形成一种共识,即需要新的开发方法。本项目的目标是开发一套有限状态验证(FSV)技术,使HPC开发人员能够根除错误并确认他们的程序满足指定的要求。 FSV技术涉及将算法方法应用于被分析程序的形式模型。 虽然这些技术已经成功地用于其他一些编程领域,但在成功地应用于HPC软件之前,必须克服许多挑战。 最终的结果将是提高HPC开发人员的生产力,并增加他们对程序正确性的信心。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Andrew Siegel其他文献
135 - Epididymitis in Infants and Boys: Underlying Urogenital Anomalies and Efficacy of Imaging Modalities
- DOI:
10.1016/s0022-5347(17)75285-8 - 发表时间:
1987-06-01 - 期刊:
- 影响因子:
- 作者:
Andrew Siegel - 通讯作者:
Andrew Siegel
Petascale algorithms for reactor hydrodynamics
反应堆流体动力学千万亿级算法
- DOI:
- 发表时间:
2008 - 期刊:
- 影响因子:0
- 作者:
P. Fischer;J. Lottes;D. Pointer;Andrew Siegel - 通讯作者:
Andrew Siegel
Efficient algorithms for Monte Carlo particle transport on AI accelerator hardware
- DOI:
10.1016/j.cpc.2023.109072 - 发表时间:
2024-05-01 - 期刊:
- 影响因子:
- 作者:
John Tramm;Bryce Allen;Kazutomo Yoshii;Andrew Siegel;Leighton Wilson - 通讯作者:
Leighton Wilson
Toward Portable GPU Acceleration of the OpenMC Monte Carlo Particle Transport Code
OpenMC Monte Carlo 粒子传输代码的便携式 GPU 加速
- DOI:
- 发表时间:
2022 - 期刊:
- 影响因子:0
- 作者:
John Tramm;Paul Romano;Johannes Doerfert;Amanda Lund;P. Shriwise;Andrew Siegel;Gavin Ridley;Andrew Pastrello - 通讯作者:
Andrew Pastrello
A performance analysis of ensemble averaging for high fidelity turbulence simulations at the strong scaling limit
- DOI:
10.1016/j.cpc.2017.05.023 - 发表时间:
2017-10-01 - 期刊:
- 影响因子:
- 作者:
Vakhtang Makarashvili;Elia Merzari;Aleksandr Obabko;Andrew Siegel;Paul Fischer - 通讯作者:
Paul Fischer
Andrew Siegel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Andrew Siegel', 18)}}的其他基金
1977 National Needs Postdoctoral Fellowship Program
1977年 国家急需博士后资助计划
- 批准号:
7712362 - 财政年份:1977
- 资助金额:
$ 11.4万 - 项目类别:
Fellowship Award
相似国自然基金
Research on Quantum Field Theory without a Lagrangian Description
- 批准号:24ZR1403900
- 批准年份:2024
- 资助金额:0.0 万元
- 项目类别:省市级项目
Cell Research
- 批准号:31224802
- 批准年份:2012
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research
- 批准号:31024804
- 批准年份:2010
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Cell Research (细胞研究)
- 批准号:30824808
- 批准年份:2008
- 资助金额:24.0 万元
- 项目类别:专项基金项目
Research on the Rapid Growth Mechanism of KDP Crystal
- 批准号:10774081
- 批准年份:2007
- 资助金额:45.0 万元
- 项目类别:面上项目
相似海外基金
Collaborative Research: Integrated Experiments and Modeling for Spatial, Finite, and Fast Rheometry of Graded Hydrogels using Inertial Cavitation
合作研究:利用惯性空化对梯度水凝胶进行空间、有限和快速流变测量的综合实验和建模
- 批准号:
2232426 - 财政年份:2023
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Integrated Experiments and Modeling for Spatial, Finite, and Fast Rheometry of Graded Hydrogels using Inertial Cavitation
合作研究:利用惯性空化对梯度水凝胶进行空间、有限和快速流变测量的综合实验和建模
- 批准号:
2232428 - 财政年份:2023
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Integrated Experiments and Modeling for Spatial, Finite, and Fast Rheometry of Graded Hydrogels using Inertial Cavitation
合作研究:利用惯性空化对梯度水凝胶进行空间、有限和快速流变测量的综合实验和建模
- 批准号:
2232427 - 财政年份:2023
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Physics-Preserving Adaptive Finite Element Methods for Thermo-Poroelasticity
合作研究:热多孔弹性的物理保持自适应有限元方法
- 批准号:
2208402 - 财政年份:2022
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Physics-Preserving Adaptive Finite Element Methods for Thermo-Poroelasticity
合作研究:热多孔弹性的物理保持自适应有限元方法
- 批准号:
2208426 - 财政年份:2022
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Elements: EXHUME: Extraction for High-Order Unfitted Finite Element Methods
合作研究:Elements:EXHUME:高阶未拟合有限元方法的提取
- 批准号:
2103939 - 财政年份:2021
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
Collaborative Research: Elements: EXHUME: Extraction for High-Order Unfitted Finite Element Methods
合作研究:Elements:EXHUME:高阶未拟合有限元方法的提取
- 批准号:
2104106 - 财政年份:2021
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
CDS&E: Collaborative Research: CDS&E: Advances in closure modeling for turbulent flows with finite-sized particles informed by massive simulations on heterogeneous architec
CDS
- 批准号:
1953298 - 财政年份:2020
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
CDS&E: Collaborative Research: CDS&E: Advances in closure modeling for turbulent flows with finite-sized particles informed by massive simulations on heterogeneous architec
CDS
- 批准号:
1953190 - 财政年份:2020
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant
CDS&E: Collaborative Research: CDS&E: Advances in closure modeling for turbulent flows with finite-sized particles informed by massive simulations on heterogeneous architec
CDS
- 批准号:
1953186 - 财政年份:2020
- 资助金额:
$ 11.4万 - 项目类别:
Standard Grant