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
CRI: A Repository for Model Driven Development
CRI:模型驱动开发的存储库
  • 批准号:
    0551622
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    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
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

相似国自然基金

指向提议者的共情关怀对第三方惩罚行为的影响:心理、脑与计算机制
  • 批准号:
    32371102
  • 批准年份:
    2023
  • 资助金额:
    50 万元
  • 项目类别:
    面上项目
经济博弈中提议者对先前第三方干预者的分配公平性研究
  • 批准号:
  • 批准年份:
    2020
  • 资助金额:
    24 万元
  • 项目类别:
    青年科学基金项目
基于深度层次特征相似性度量的视觉跟踪方法研究
  • 批准号:
    61773397
  • 批准年份:
    2017
  • 资助金额:
    65.0 万元
  • 项目类别:
    面上项目
构造类型专家系统及其开发工具的研究
  • 批准号:
    68875006
  • 批准年份:
    1988
  • 资助金额:
    2.0 万元
  • 项目类别:
    面上项目

相似海外基金

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)
  • 批准号:
    2207197
  • 财政年份:
    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)
  • 批准号:
    2207202
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
Collaborative Proposal: SaTC: Frontiers: Center for Distributed Confidential Computing (CDCC)
协作提案:SaTC:前沿:分布式机密计算中心 (CDCC)
  • 批准号:
    2207204
  • 财政年份:
    2022
  • 资助金额:
    --
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了