课题基金 / 基金详情

EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications

EAGER: Collaborative Research: Toward An Adaptive Programming System for Cloud-Enabled Smartphone Applications
EAGER:协作研究:面向云智能手机应用程序的自适应编程系统
批准号:
1048826
负责人:
Todd Millstein
金额:
$10.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
2010
资助国家:
美国
项目状态:
已结题
起止时间:
2010-09-01 至 2013-02-28

项目摘要

项目成果

Todd Millstein的其他基金

相似基金

相关文献

中文摘要
翻译
智能手机正在迅速成为我们社会所依赖的一个成熟的计算平台。考虑到手机的处理和存储限制,在“云”中访问数据和计算资源的智能手机应用程序是不可避免的。如今,在手机和云之间划分智能手机应用的重担直接落在了程序员身上。这种手动划分应用程序的方法从根本上是有限的,不会扩大规模以使智能手机成为真正丰富和强大的计算平台。手动分区既繁琐又容易出错。此外,手动分区要求程序员做出重要决策,而这些决策只有在运行时才能正确做出。该项目探讨了支持云的智能手机应用程序的编程系统的需求、设计和实现,该系统具有内在的自适应性,以透明的方式对应用程序进行分区,以应对各种动态约束。该项目正在研究来自不同领域的支持云的智能手机应用程序,以了解实践中的应用程序要求、限制和权衡。该项目还在寻求编程模型,允许开发人员灵活地、声明性地表达应用程序的组件及其依赖项和约束。最后,该项目正在开发一个原型系统架构,它将根据应用程序的要求在手机和云上协作执行应用程序。在十年内,智能手机将改变向大部分人提供健康和生活方式选择的方式。该项目通过使丰富的智能手机应用程序更易于创建、调整和理解来帮助实现这一转变。
英文摘要
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)
会议论文
Collaborative Research: SHF: Small: Data-Driven Lemma Synthesis for Interactive Proofs
  • 批准号:
    2220891
  • 项目类别:
    Standard Grant
  • 资助金额:
    $35.0万
  • 财政年份:
    2022
  • 负责人:
    Todd Millstein
  • 依托单位:
QCIS-FF: A Software Stack for Quantum Computing
  • 批准号:
    1926648
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $75.0万
  • 财政年份:
    2020
  • 负责人:
    Todd Millstein
  • 依托单位:
FMitF: Opening Up the Black Box of Probabilistic Program Inference
  • 批准号:
    1837129
  • 项目类别:
    Standard Grant
  • 资助金额:
    $94.74万
  • 财政年份:
    2018
  • 负责人:
    Todd Millstein
  • 依托单位:
NeTS: Medium: Collaborative Research: Network Configuration Synthesis: A Path to Practical Deployment
  • 批准号:
    1704336
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $63.0万
  • 财政年份:
    2017
  • 负责人:
    Todd Millstein
  • 依托单位:
海外基金