权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

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
关键词：
PYI Improving Dependability Large Scale

项目摘要

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.

通过以下方式进行工作以提高大规模并发软件的可靠性： (1) 设计可扩展的组合分析技术，(2) 开发结合验证、分析和测试技术的健全框架，以及 (3) 在软件开发环境中集成分析技术。

项目成果

期刊论文数量（0）

专著数量（0）

科研奖励数量（0）

会议论文数量（0）

专利数量（0）

数据更新时间：{{ journalArticles.updateTime }}

DOI：
{{ item.doi }}
发表时间：
{{ item.publish_year }}
期刊：
{{ item.journal_name }}
影响因子：
{{ item.factor }}
作者：
{{ item.authors }}
通讯作者：
{{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ monograph.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

作者：
{{ item.author }}

数据更新时间：{{ patent.updateTime }}

Michal Young其他文献

Poor Prenatal Care or Illicit Drug Use: Which of the Two is a Stronger Risk Association for Prematurity and Low Birth Weight † 1245

不良产前护理或非法药物使用：两者中哪一个对早产和低出生体重的风险关联更强？ † 1245

DOI：
10.1203/00006450-199804001-01266
发表时间：
1998-04-01
期刊：
PEDIATRIC RESEARCH
影响因子：
3.100
作者：
Ayman AE El-Mohandes;Michal Young;M Nabil El-Khorazaty;Lawrence Grylack;Davene White
通讯作者：
Davene White

CHARACTERIZATION OF SUBSTANCE ABUSE DURING PREGNANCY IN A WASHINGTON D.C. POPULATION. † 1561

华盛顿特区人群孕期药物滥用的特征。†1561

DOI：
10.1203/00006450-199604001-01584
发表时间：
1996-04-01
期刊：
PEDIATRIC RESEARCH
影响因子：
3.100
作者：
Ayman A E El-Mohandes;Davene White;Michal Young;Doris McNeely Johnson;Phyllis Sharps;Nabil M El-Khorazaty
通讯作者：
Nabil M El-Khorazaty

Illicit Drug Use is Associated with a Significant Increase in Neonatal and Perinatal Mortality 1371

非法药物使用与新生儿和围产期死亡率的显著增加有关 1371

DOI：
10.1203/00006450-199804001-01392
发表时间：
1998-04-01
期刊：
PEDIATRIC RESEARCH
影响因子：
3.100
作者：
Michal Young;Ayman AE El-Mohandes;M Nabil El-Khorazaty;Lawrence Grylack;Davene White
通讯作者：
Davene White

A Community-Based Intervention Improves Preventive Health Care Utilization and Immunization Rates for a High Risk DC Population

基于社区的干预措施提高了高风险 DC 人群的预防保健利用率和免疫接种率

DOI：
10.1203/00006450-199904020-00730
发表时间：
1999-04-01
期刊：
PEDIATRIC RESEARCH
影响因子：
3.100
作者：
Ayman El-Mohandes;Michal Young;Lawrence Grylack;M Nabil El-Khorazaty;Kathy Katz;Doris McNeely-Johnson
通讯作者：
Doris McNeely-Johnson