课题基金 / 基金详情

A Partition Analysis Method to Demonstrate Program Reliability

A Partition Analysis Method to Demonstrate Program Reliability
一种证明程序可靠性的分区分析方法
批准号：
8104202
负责人：
Lori Clarke
金额：
$8.19万
依托单位：
University of Massachusetts Amherst
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1981
资助国家：
美国
项目状态：
已结题
起止时间：
1981-07-01 至 1983-11-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8104202&HistoricalAwards=false
关键词：
PartitionAnalysisMethodDemonstrateProgram

项目摘要

项目成果

Lori Clarke的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
SHB: Collaborative Research:Context-aware, dynamic, smart checklists: key cyber-infrastructure for systems delivering quality health care
  • 批准号：
    1239334
  • 项目类别：
    Standard Grant
  • 资助金额：
    $135.05万
  • 财政年份：
    2012
  • 负责人：
    Lori Clarke
  • 依托单位：
    University of Massachusetts Amherst
Collaborative Research: Process-Centered, Analysis-driven System Development Applied to Human-Intensive Medical Processes
  • 批准号：
    0820198
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2008
  • 负责人：
    Lori Clarke
  • 依托单位：
    University of Massachusetts Amherst
BPC-A: Widening the Research Pipeline
  • 批准号：
    0540631
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.0万
  • 财政年份：
    2006
  • 负责人：
    Lori Clarke
  • 依托单位：
    Computing Research Association
Special Projects: Student Travel Support for the International Conference on Software Engineering 2005 Doctoral Symposium
  • 批准号：
    0508019
  • 项目类别：
    Standard Grant
  • 资助金额：
    $1.0万
  • 财政年份：
    2005
  • 负责人：
    Lori Clarke
  • 依托单位：
    University of Massachusetts Amherst
国内基金
海外基金
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号：
    --
  • 项目类别：
    外国学者研究基金项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
    USHARANI HAREESH GOVINDARA JAN
  • 依托单位：
    上海理工大学管理学院
基于Meta-analysis的新疆棉花灌水增产模型研究
  • 批准号：
    41601604
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    22.0万元
  • 批准年份：
    2016
  • 负责人：
    赵爱琴
  • 依托单位：
    农业农村部规划设计研究院
大规模微阵列数据组的meta-analysis方法研究
  • 批准号：
    31100958
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    20.0万元
  • 批准年份：
    2011
  • 负责人：
    赵洪雅
  • 依托单位：
    深圳职业技术学院