EAGER: Towards the Model Checking of the Partitioned Global Address Space (PGAS) Applications

EAGER：面向分区全局地址空间 (PGAS) 应用程序的模型检查

• 批准号: 0950678
• 负责人: Ali Ebnenasir
• 金额: $ 10.67万
• 依托单位: Michigan Technological University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2009
• 资助国家: 美国
• 起止时间: 2009-08-15 至 2012-01-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0950678&HistoricalAwards=false
• 关键词: EAGER; Towards; Model; Checking; Partitioned

The requested amount of the revised budget is equal to $95,725.00 and the difference with the original budget will be covered by the cost share of $10,206.00 that Michigan Tech will provide. The total budget includes two months of summer salary for Dr. Ebnenasir and 18 months of graduate student support spanned over 12 months. One graduate student who has been involved in the preliminary investigations of this project during past 4 months will be supported by this project for the entire 12 months. Another PhD student -- who will participate in Task 3 -- will be supported for the final 6 months of the project.

修订预算的申请金额等于95，725.00美元，与原始预算的差额将由密歇根理工大学提供的10，206.00美元的费用份额支付。总预算包括Ebnenasir博士两个月的暑期工资和18个月的研究生支持，为期12个月。在过去的4个月里，一名参与了本项目初步调查的研究生将在整个12个月内得到本项目的支持。另一名博士生将参与任务3，他将在项目的最后6个月获得支持。