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
批准号:
0835652
负责人:
Martin Rinard
金额:
$145.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2008
资助国家:
美国
项目状态:
已结题
起止时间:
2008-09-01 至 2014-08-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
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
-
批准号:1036241
-
项目类别:Standard Grant
-
资助金额:$24.94万
-
财政年份:2010
-
负责人:Martin Rinard
-
依托单位:
SHF: Medium: Exposing and Eliminating Errors at Component Boundaries
-
批准号:0905244
-
项目类别:Standard Grant
-
资助金额:$60.0万
-
财政年份:2009
-
负责人:Martin Rinard
-
依托单位:
CPA-CPL: Automatic Parallelization Using Semantic Commutativity Analysis
-
批准号:0811397
-
项目类别:Continuing Grant
-
资助金额:$37.5万
-
财政年份:2008
-
负责人:Martin Rinard
-
依托单位:
CSR----SMA Modular Pluggable Program Analyses
-
批准号:0509415
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2005
-
负责人:Martin Rinard
-
依托单位:
Model-Based Monitoring of Air-Traffic Control Software
-
批准号:0341620
-
项目类别:Continuing Grant
-
资助金额:$40.0万
-
财政年份:2003
-
负责人:Martin Rinard
-
依托单位:
Interaction Analysis for Integrated Embedded Systems
-
批准号:0209075
-
项目类别:Continuing Grant
-
资助金额:$18.0万
-
财政年份:2002
-
负责人:Martin Rinard
-
依托单位:
Compiler Technology for Scalable Servers
-
批准号:0073513
-
项目类别:Continuing Grant
-
资助金额:$24.0万
-
财政年份:2000
-
负责人:Martin Rinard
-
依托单位:
CAREER: Commutativity Analysis: A New Analysis Framework for Automatically Parallelizing Object-Oriented Computations
-
批准号:9702297
-
项目类别:Continuing Grant
-
资助金额:$20.5万
-
财政年份:1997
-
负责人:Martin Rinard
-
依托单位:
CISE Research Instrumentation: A Next-Generation High Performance Network of Commodity PCs
-
批准号:9529418
-
项目类别:Standard Grant
-
资助金额:$8.68万
-
财政年份:1996
-
负责人:Martin Rinard
-
依托单位:
国内基金
海外基金
登录
查看更多内容
铋基邻近双金属位点Type B异质结光热催化合成氨机制研究
-
批准号:
-
项目类别:省市级项目
-
资助金额:30.0万元
-
批准年份:2024
-
负责人:黎景卫
-
依托单位:
智能型Type-I光敏分子构效设计及其抗耐药性感染研究
-
批准号:22207024
-
项目类别:青年科学基金项目(C类)
-
资助金额:20.0万元
-
批准年份:2022
-
负责人:赵琦
-
依托单位:
TypeⅠR-M系统在碳青霉烯耐药肺炎克雷伯菌流行中的作用机制研究
-
批准号:--
-
项目类别:面上项目
-
资助金额:55万元
-
批准年份:2021
-
负责人:蒋晓飞
-
依托单位:
替加环素耐药基因 tet(A) type 1 变异体在碳青霉烯耐药肺炎克雷伯菌中的流行、进化和传播
-
批准号:LY22H200001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:蔡加昌
-
依托单位:
面向手性α-氨基酰胺药物的新型不对称Ugi-type 反应开发
-
批准号:LY22B020003
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:李绍玉
-
依托单位:
BMP9/BMP type I receptors 通过激活 PPARα保护心肌梗死的机制研究
-
批准号:LQ22H020003
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2021
-
负责人:陈灵丽
-
依托单位:
C2H2-type锌指蛋白在香菇采后组织软化进程中的作用机制研究
-
批准号:32102053
-
项目类别:青年科学基金项目(C类)
-
资助金额:30.0万元
-
批准年份:2021
-
负责人:邓冰
-
依托单位:
血管阻断型Type-I光敏剂合成及其三阴性乳腺癌光诊疗
-
批准号:62120106002
-
项目类别:国际(地区)合作与交流项目
-
资助金额:255万元
-
批准年份:2021
-
负责人:董晓臣
-
依托单位:
茶尺蠖Type-II环氧性信息素合成酶关键基因的鉴定及功能研究
-
批准号:LQ21C140001
-
项目类别:省市级项目
-
资助金额:--
-
批准年份:2020
-
负责人:王倩
-
依托单位:
Chichibabin-type偶联反应在构建联氮杂芳烃中的应用
-
批准号:22078300
-
项目类别:面上项目
-
资助金额:63.0万元
-
批准年份:2020
-
负责人:李景华
-
依托单位: