课题基金 / 基金详情

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
  • 依托单位:
海外基金