课题基金 / 基金详情

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的其他基金

相似基金

相关文献

中文摘要
翻译
智能手机正在迅速成为我们社会所依赖的成熟的计算平台。 鉴于手机上的处理和存储限制,访问“云”中的数据和计算资源的智能手机应用程序是不可避免的。 今天,在手机和云之间划分智能手机应用程序的负担直接落在程序员身上。 这种划分应用程序的手动方法从根本上受到限制,并且不会扩展到允许智能手机成为真正丰富和强大的计算平台。 手动分区是乏味的,而且容易出错。 此外,手动分区需要程序员做出重要的决定,不能正确地作出,直到运行time.This项目探讨的要求,设计和实现的编程系统,为云智能手机应用程序,这是固有的自适应,分区应用程序透明,以科普各种各样的动态约束。 该项目正在研究来自各个领域的支持云计算的智能手机应用程序,以了解应用程序的需求,限制和实践中的权衡。 该项目还追求编程模型,允许开发人员灵活地和声明性地表达应用程序的组件沿着依赖关系和约束。 最后,该项目正在开发一个原型系统架构,该架构可以根据应用程序的需求在手机和云上协作执行应用程序。 在十年内,智能手机将改变健康和生活方式选择提供给大多数人的方式。 该项目通过使丰富的智能手机应用程序更容易创建,适应和理解来帮助实现这一转变。
英文摘要
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
  • 依托单位:
海外基金