Collaborative Proposal: Center for Software-Intensive Ultra-Large-Scale Systems
合作提案:软件密集型超大规模系统中心
基本信息
- 批准号:0700329
- 负责人:
- 金额:--
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2007
- 资助国家:美国
- 起止时间:2007-05-01 至 2009-04-30
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
This planning grant serves to establish the basis for a new Industry/University Cooperative Research Center for Software-Intensive Ultra-Large-Scale Systems. This proposed center will initially comprise of five research sites, at the University of Virginia, Michigan State University, the University of California San Diego, Vanderbilt University and the University of Washington. The research focus of this proposed center is on software for complex systems. The Center will conduct basic and applied research in traditional and emerging areas of software theory and practice, including research at the intersection of computer science and other disciplines, to include economics, cognition and anthropology. The research will address important problems and opportunities in six key areas: software language, software analysis and synthesis, software design, trustworthy software, software infrastructure and sentient software.
这项计划拨款用于建立一个新的工业/大学合作研究中心的基础,用于软件密集型超大规模系统。这个拟议中的中心最初将包括弗吉尼亚大学、密歇根州立大学、加州大学圣地亚哥分校、范德比尔特大学和华盛顿大学的五个研究地点。该中心的研究重点是复杂系统的软件。该中心将在软件理论和实践的传统和新兴领域进行基础和应用研究,包括计算机科学与其他学科的交叉研究,包括经济学、认知学和人类学。该研究将解决六个关键领域的重要问题和机遇:软件语言、软件分析和综合、软件设计、可信赖软件、软件基础设施和感知软件。
项目成果
期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)
数据更新时间:{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
数据更新时间:{{ journalArticles.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ monograph.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ sciAawards.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者:
{{ item.author }}
数据更新时间:{{ patent.updateTime }}
Betty Cheng其他文献
Betty Cheng的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Betty Cheng', 18)}}的其他基金
NSF Student and Early-Career Faculty Travel and Registration Grant for 2017 IEEE International Conference on Software Engineering (ICSE)
NSF 学生和早期职业教师 2017 年 IEEE 国际软件工程会议 (ICSE) 旅行和注册补助金
- 批准号:
1723560 - 财政年份:2017
- 资助金额:
-- - 项目类别:
Standard Grant
Collaborative Research: CI-ADDO-EN: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-EN:模型驱动软件开发研究存储库 (REMODD)
- 批准号:
1305358 - 财政年份:2013
- 资助金额:
-- - 项目类别:
Standard Grant
Collaborative Research: CI-ADDO-NEW: Research Repository for Model-Driven Software Development (REMODD)
协作研究:CI-ADDO-NEW:模型驱动软件开发研究存储库 (REMODD)
- 批准号:
0854931 - 财政年份:2009
- 资助金额:
-- - 项目类别:
Standard Grant
ORCHID: Harnessing Digital Evolution to Design High-Assurance Adaptive Systems
ORCHID:利用数字演进设计高保证自适应系统
- 批准号:
0820220 - 财政年份:2008
- 资助金额:
-- - 项目类别:
Standard Grant
SGER: Applying Digital Evolution to Behavioral Models
SGER:将数字进化应用于行为模型
- 批准号:
0750787 - 财政年份:2007
- 资助金额:
-- - 项目类别:
Standard Grant
Facilitating the Modeling and Analysis of Distributed Real-time Embedded Systems
促进分布式实时嵌入式系统的建模和分析
- 批准号:
0541131 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
Travel Grant for Attending Doctoral Symposium for RE06
参加RE06博士生研讨会旅费补助
- 批准号:
0631266 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
CRI: A Repository for Model Driven Development
CRI:模型驱动开发的存储库
- 批准号:
0551622 - 财政年份:2006
- 资助金额:
-- - 项目类别:
Standard Grant
Experimental Partnership - Meridian: An Integrated Toolkit for Developing Interactive Distributed Applications
实验性合作伙伴关系 - Meridian:用于开发交互式分布式应用程序的集成工具包
- 批准号:
0000433 - 财政年份:2000
- 资助金额:
-- - 项目类别:
Continuing Grant
Object-oriented Development and Analysis of Embedded Systems
嵌入式系统的面向对象开发与分析
- 批准号:
9901017 - 财政年份:1999
- 资助金额:
-- - 项目类别:
Standard Grant
相似海外基金
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2401496 - 财政年份:2023
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207216 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207218 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207214 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207197 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207202 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207231 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
- 批准号:
2207204 - 财政年份:2022
- 资助金额:
-- - 项目类别:
Continuing Grant
REU Site: Collaborative Proposal: Center for Bioplastics and Biocomposites
REU 网站:合作提案:生物塑料和生物复合材料中心
- 批准号:
1560362 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Standard Grant
REU Site: Collaborative Proposal: Center for Bioplastics and Biocomposites
REU 网站:合作提案:生物塑料和生物复合材料中心
- 批准号:
1559812 - 财政年份:2016
- 资助金额:
-- - 项目类别:
Standard Grant