课题基金 / 基金详情

CDI-Type II: Exploiting Collective Human Knowledge to Understand and Evolve Complex Networked Systems

CDI-Type II: Exploiting Collective Human Knowledge to Understand and Evolve Complex Networked Systems
CDI-Type II:利用人类集体知识来理解和发展复杂的网络系统
批准号:
0835652
负责人:
Martin Rinard
金额:
$145.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2014-08-31

项目摘要

项目成果

Martin Rinard的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
Large networked computer systems are some of the most complex and sophisticated engineered systems ever constructed. Because of this complexity, our existing computing environment is unreliable, insecure, and difficult to use. One intriguing aspect of this situation is that most problems people encounter in practice are not new --- they have previously been seen and solved by others. Developing techniques that enable the automated analysis of this rich knowledge source is therefore a key step in advancing our understanding of this important class of engineered artifacts. The research effort focuses on developing techniques that automatically process existing repositories of human interactions regarding previously encountered problems and solutions to isolate potential solutions to the problem. It will then use multiple virtual machines to evaluate each of the potential solutions, then use this evaluation to automatically select an candidate.The expected benefits of this approach are three fold. First, developing methods that jointly analyze documents in natural language and formally structured computer information can lead to new insights and a deeper understanding of these important phenomena. Second, this research will yield a new class of techniques for reasoning about computer systems in the presence of uncertainty by leveraging collective knowledge of a user community. Finally, by automatically finding solutions to system problems, these methods hold out the promise of substantially reducing the cost and risks associated with using computers to perform many of the key activities in our society.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
EAGER: Profile and Transformation Driven Automatic Parallelization with Interactive Reports
SHF: Medium: Exposing and Eliminating Errors at Component Boundaries
CPA-CPL: Automatic Parallelization Using Semantic Commutativity Analysis
CSR----SMA Modular Pluggable Program Analyses
国内基金
海外基金
铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
  • 批准号:
  • 项目类别:
    省市级项目
  • 资助金额:
    30.0万元
  • 批准年份:
    2024
  • 负责人:
    黎景卫
  • 依托单位:
智能型Type-I光敏分子构效设计及其抗耐药性感染研究
  • 批准号:
    22207024
  • 项目类别:
    青年科学基金项目(C类)
  • 资助金额:
    20.0万元
  • 批准年份:
    2022
  • 负责人:
    赵琦
  • 依托单位:
TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
  • 批准号:
    --
  • 项目类别:
    面上项目
  • 资助金额:
    55万元
  • 批准年份:
    2021
  • 负责人:
    蒋晓飞
  • 依托单位:
替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
  • 批准号:
    LY22H200001
  • 项目类别:
    省市级项目
  • 资助金额:
    --
  • 批准年份:
    2021
  • 负责人:
    蔡加昌
  • 依托单位: