课题基金 / 基金详情

PYI: Improving the Dependability of Large-Scale Concurrent Software

PYI: Improving the Dependability of Large-Scale Concurrent Software
PYI：提高大规模并发软件的可靠性
批准号：
9157629
负责人：
Michal Young
金额：
$25.2万
依托单位：
Purdue Research Foundation
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1991
资助国家：
美国
项目状态：
已结题
起止时间：
1991-08-01 至 1997-07-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9157629&HistoricalAwards=false
关键词：
PYIImprovingDependabilityLargeScale

项目摘要

项目成果

Michal Young的其他基金

相似基金

相关文献

中文摘要
翻译
通过以下方法提高大规模并发软件的可靠性；(1)设计可扩展的、组合的分析技术；(2)为结合验证、分析和测试技术开发一个健全的框架；(3)在软件开发环境中集成分析技术。
英文摘要
Work is performed to improve the dependability of large-scale concurrent software by; (1) devising scalable, compositional analysis techniques, (2) developing a sound framework for combining verification, analysis and testing techniques, and (3) integrating analysis techniques in software development environments.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
ISSTA 2015 Student Travel (International Symposium on Software Testing and Analysis)
  • 批准号：
    1542293
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.2万
  • 财政年份：
    2015
  • 负责人：
    Michal Young
  • 依托单位：
    University of Oregon Eugene
SHF: Small: Collaborative Research: Dynamic Invariant Inference, Enhanced
  • 批准号：
    0917391
  • 项目类别：
    Standard Grant
  • 资助金额：
    $16.7万
  • 财政年份：
    2009
  • 负责人：
    Michal Young
  • 依托单位：
    University of Oregon Eugene
CSEM Scholars: Options in Mathematics and Computer Science
  • 批准号：
    9986652
  • 项目类别：
    Standard Grant
  • 资助金额：
    $22.0万
  • 财政年份：
    2000
  • 负责人：
    Michal Young
  • 依托单位：
    University of Oregon Eugene
U.S.-Italy Cooperative Research: Multi-Formalism Support forDesign and Analysis of Concurrent Software
  • 批准号：
    9217432
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.69万
  • 财政年份：
    1993
  • 负责人：
    Michal Young
  • 依托单位：
    Purdue Research Foundation
国内基金
海外基金
Improving modelling of compact binary evolution.
  • 批准号：
    10903001
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2009
  • 负责人：
    史蒂芬
  • 依托单位：
    北京大学