EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications
EAGER:协作研究:面向云智能手机应用程序的自适应编程系统
基本信息
- 批准号:1048826
- 负责人:
- 金额:$ 10万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:2010
- 资助国家:美国
- 起止时间:2010-09-01 至 2013-02-28
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Smartphones are fast becoming a full-fledged computing platform that our society depends upon. Smartphone applications that access data and computing resources in the "cloud" are inevitable given the processing and storage limitations on the phones. Today the burden of partitioning smartphone applications between the phone and the cloud lies squarely with the programmer. This manual approach to partitioning applications is fundamentally limited and will not scale up to allow smartphones to become a truly rich and robust computing platform. Manual partitioning is tedious and error prone. Moreover, manual partitioning requires the programmer to make important decisions that cannot be properly made until run time.This project explores the requirements, design, and implementation of a programming system for cloud-enabled smartphone applications that is inherently adaptive, partitioning applications transparently in order to cope with a diverse set of dynamic constraints. The project is studying cloud-enabled smartphone applications from a variety of domains in order to understand application requirements, constraints, and tradeoffs in practice. The project is also pursuing programming models that allow developers to flexibly and declaratively express an application's components along with their dependencies and constraints. Finally, the project is developing a prototype system architecture that collaboratively executes an application on the phone and the cloud subject to the application's requirements. Within a decade, smartphones will transform the way health and lifestyle choices are delivered to much of the population. This project is helping to enable this transformation by making a rich class of smartphone applications much easier to create, adapt, and understand.
智能手机正在迅速成为我们社会所依赖的一个成熟的计算平台。考虑到手机的处理和存储限制,在“云”中访问数据和计算资源的智能手机应用程序是不可避免的。如今,在手机和云之间划分智能手机应用的重担直接落在了程序员身上。这种手动划分应用程序的方法从根本上是有限的,不会扩大规模以使智能手机成为真正丰富和强大的计算平台。手动分区既繁琐又容易出错。此外,手动分区要求程序员做出重要决策,而这些决策只有在运行时才能正确做出。该项目探讨了支持云的智能手机应用程序的编程系统的需求、设计和实现,该系统具有内在的自适应性,以透明的方式对应用程序进行分区,以应对各种动态约束。该项目正在研究来自不同领域的支持云的智能手机应用程序,以了解实践中的应用程序要求、限制和权衡。该项目还在寻求编程模型,允许开发人员灵活地、声明性地表达应用程序的组件及其依赖项和约束。最后,该项目正在开发一个原型系统架构,它将根据应用程序的要求在手机和云上协作执行应用程序。在十年内,智能手机将改变向大部分人提供健康和生活方式选择的方式。该项目通过使丰富的智能手机应用程序更易于创建、调整和理解来帮助实现这一转变。
项目成果
期刊论文数量(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 }}
Todd Millstein其他文献
Todd Millstein的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Todd Millstein', 18)}}的其他基金
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
协作研究:SHF:小型:交互式证明的数据驱动引理合成
- 批准号:
2220891 - 财政年份:2022
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
QCIS-FF: A Software Stack for Quantum Computing
QCIS-FF:量子计算软件堆栈
- 批准号:
1926648 - 财政年份:2020
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
FMitF: Opening Up the Black Box of Probabilistic Program Inference
FMITF:打开概率程序推理的黑匣子
- 批准号:
1837129 - 财政年份:2018
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
NeTS:媒介:协作研究:网络配置综合:实际部署之路
- 批准号:
1704336 - 财政年份:2017
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
SHF: Small: Interacting to Specify Software
SHF:小型:交互指定软件
- 批准号:
1527923 - 财政年份:2015
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
NeTS: Medium: Collaborative Research: Systematic Analysis of Protocol Implementations
NeTS:媒介:协作研究:协议实现的系统分析
- 批准号:
1161595 - 财政年份:2012
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
TC: Medium: Collaborative Research: Program Analysis for Smartphone Application Security
TC:媒介:协作研究:智能手机应用程序安全的程序分析
- 批准号:
1064844 - 财政年份:2011
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
SoD: An Electronic Design Automation Approach to Embedded Networked Software
SoD:嵌入式网络软件的电子设计自动化方法
- 批准号:
0725354 - 财政年份:2007
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
"CAREER:" Enforcing and Validating User-Defined Programming Disciplines
“职业:”执行和验证用户定义的编程规则
- 批准号:
0545850 - 财政年份:2006
- 资助金额:
$ 10万 - 项目类别:
Continuing Grant
相似海外基金
Collaborative Research: EAGER: The next crisis for coral reefs is how to study vanishing coral species; AUVs equipped with AI may be the only tool for the job
合作研究:EAGER:珊瑚礁的下一个危机是如何研究正在消失的珊瑚物种;
- 批准号:
2333604 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
EAGER/Collaborative Research: An LLM-Powered Framework for G-Code Comprehension and Retrieval
EAGER/协作研究:LLM 支持的 G 代码理解和检索框架
- 批准号:
2347624 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
EAGER/Collaborative Research: Revealing the Physical Mechanisms Underlying the Extraordinary Stability of Flying Insects
EAGER/合作研究:揭示飞行昆虫非凡稳定性的物理机制
- 批准号:
2344215 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: Designing Nanomaterials to Reveal the Mechanism of Single Nanoparticle Photoemission Intermittency
合作研究:EAGER:设计纳米材料揭示单纳米粒子光电发射间歇性机制
- 批准号:
2345581 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: Designing Nanomaterials to Reveal the Mechanism of Single Nanoparticle Photoemission Intermittency
合作研究:EAGER:设计纳米材料揭示单纳米粒子光电发射间歇性机制
- 批准号:
2345582 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: Designing Nanomaterials to Reveal the Mechanism of Single Nanoparticle Photoemission Intermittency
合作研究:EAGER:设计纳米材料揭示单纳米粒子光电发射间歇性机制
- 批准号:
2345583 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: Energy for persistent sensing of carbon dioxide under near shore waves.
合作研究:EAGER:近岸波浪下持续感知二氧化碳的能量。
- 批准号:
2339062 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: IMPRESS-U: Groundwater Resilience Assessment through iNtegrated Data Exploration for Ukraine (GRANDE-U)
合作研究:EAGER:IMPRESS-U:通过乌克兰综合数据探索进行地下水恢复力评估 (GRANDE-U)
- 批准号:
2409395 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
Collaborative Research: EAGER: The next crisis for coral reefs is how to study vanishing coral species; AUVs equipped with AI may be the only tool for the job
合作研究:EAGER:珊瑚礁的下一个危机是如何研究正在消失的珊瑚物种;
- 批准号:
2333603 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant
EAGER/Collaborative Research: An LLM-Powered Framework for G-Code Comprehension and Retrieval
EAGER/协作研究:LLM 支持的 G 代码理解和检索框架
- 批准号:
2347623 - 财政年份:2024
- 资助金额:
$ 10万 - 项目类别:
Standard Grant