Incremental Analysis Algorithms for Software Systems
Incremental Analysis Algorithms for Software Systems
批准号:
8513730
负责人:
Barbara Ryder
金额:
$8.63万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1986
资助国家:
美国
项目状态:
已结题
起止时间:
1986-02-15 至 1988-07-31
中文摘要
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
NSF Student Travel Grant for 2017 Programming Languages Mentoring Workshop (PLMW) at ACM SIGPLAN SPLASH Conference
-
批准号:1747889
-
项目类别:Standard Grant
-
资助金额:$1.5万
-
财政年份:2017
-
负责人:Barbara Ryder
-
依托单位:
CPA-SEL: Blended Static/Dynamic Analyses for Performance Understanding and Improved Security of Framework-intensive Applications
-
批准号:0964870
-
项目类别:Standard Grant
-
资助金额:$18.47万
-
财政年份:2009
-
负责人:Barbara Ryder
-
依托单位:
CPA-SEL: Blended Static/Dynamic Analyses for Performance Understanding and Improved Security of Framework-intensive Applications
-
批准号:0811518
-
项目类别:Standard Grant
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Barbara Ryder
-
依托单位:
Student Travel Support to the International Conference on Software Engineering (ICSE) 2007 Doctoral Symposium
-
批准号:0650366
-
项目类别:Standard Grant
-
资助金额:$1.07万
-
财政年份:2007
-
负责人:Barbara Ryder
-
依托单位:
Collaborative Rsch: Northeast Workshop in Integrative Computing, Education and Research (ICER)
-
批准号:0548575
-
项目类别:Standard Grant
-
资助金额:$0.52万
-
财政年份:2005
-
负责人:Barbara Ryder
-
依托单位:
ITWF: Collaborative Research: Increasing the Representation of Undergraduate Women and Minorities in Computer Science
-
批准号:0420433
-
项目类别:Standard Grant
-
资助金额:$5.98万
-
财政年份:2004
-
负责人:Barbara Ryder
-
依托单位:
Special Projects: Travel Grants for Faculty at Minority/Female Institutions to Attend FCRC'03
-
批准号:0243337
-
项目类别:Standard Grant
-
资助金额:$6.91万
-
财政年份:2003
-
负责人:Barbara Ryder
-
依托单位:
Change Impact Analysis of Object-oriented Software
-
批准号:0204410
-
项目类别:Continuing Grant
-
资助金额:$30.0万
-
财政年份:2002
-
负责人:Barbara Ryder
-
依托单位:
Special Project: Travel Grant for Faculty at Minority/Female Institutions to Attend PLDI '99
-
批准号:9902428
-
项目类别:Standard Grant
-
资助金额:$2.35万
-
财政年份:1999
-
负责人:Barbara Ryder
-
依托单位:
Component Data-Flow Analysis for Large-Software Systems
-
批准号:9900988
-
项目类别:Standard Grant
-
资助金额:$30.1万
-
财政年份:1999
-
负责人:Barbara Ryder
-
依托单位:
Module-Level Compile-Time Analysis for Industrial-Sized Software
-
批准号:9804065
-
项目类别:Standard Grant
-
资助金额:$5.0万
-
财政年份:1998
-
负责人:Barbara Ryder
-
依托单位:
Effective Compilation in the Presence of Exceptions
-
批准号:9808607
-
项目类别:Standard Grant
-
资助金额:$23.0万
-
财政年份:1998
-
负责人:Barbara Ryder
-
依托单位:
Postdoc: Data-Flow Testing for Difficult-To-Find Bugs
-
批准号:9704703
-
项目类别:Standard Grant
-
资助金额:$3.32万
-
财政年份:1997
-
负责人:Barbara Ryder
-
依托单位:
Scalable Static Techniques for Exhaustive and Incremental Analyses of C Systems
-
批准号:9501761
-
项目类别:Continuing Grant
-
资助金额:$35.69万
-
财政年份:1995
-
负责人:Barbara Ryder
-
依托单位:
Compile-Time Analysis Tools for Parallel Software Development Environments
-
批准号:9213518
-
项目类别:Standard Grant
-
资助金额:$10.81万
-
财政年份:1993
-
负责人:Barbara Ryder
-
依托单位:
Practical Compile Time Analyses for Evolving C Systems
-
批准号:9208632
-
项目类别:Continuing Grant
-
资助金额:$31.26万
-
财政年份:1992
-
负责人:Barbara Ryder
-
依托单位:
Practical Compile-Time Analysis Algorithms: (FAW)
-
批准号:9023628
-
项目类别:Continuing Grant
-
资助金额:$25.0万
-
财政年份:1991
-
负责人:Barbara Ryder
-
依托单位:
Applying Incremental Data Flow Analysis to Large Software Systems
-
批准号:8920078
-
项目类别:Continuing Grant
-
资助金额:$21.76万
-
财政年份:1990
-
负责人:Barbara Ryder
-
依托单位:
国内基金
海外基金
登录
查看更多内容
Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
-
批准号:--
-
项目类别:合作创新研究团队
-
资助金额:--
-
批准年份:2024
-
负责人:姚韬
-
依托单位:
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
-
负责人:赵洪雅
-
依托单位:
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
-
批准号:30470153
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2004
-
负责人:刘本叶
-
依托单位: