课题基金 / 基金详情

Optimization of Space Usage

Optimization of Space Usage
优化空间利用
批准号：
9200790
负责人：
Andrew Appel
金额：
$34.81万
依托单位：
Princeton University
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1992
资助国家：
美国
项目状态：
已结题
起止时间：
1992-07-01 至 1996-06-30
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9200790&HistoricalAwards=false
关键词：
OptimizationSpaceUsage

项目摘要

项目成果

Andrew Appel的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
While most optimizing compilers attempt to minimize the execution time or the size of programs, little has been attempted in the area of minimization of the storage needed by programs during execution. This project contains a framework for reasoning about data size in compiled programs, and the investigator intends to formulate some space-saving optimizations and implement them in Standard ML of New Jersey.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Collaborative Research: FMitF: Track I: Formally Verified Numerical Methods
  • 批准号：
    2219757
  • 项目类别：
    Standard Grant
  • 资助金额：
    $55.95万
  • 财政年份：
    2022
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
SHF: Small: VeriFFI -- Formally Verified Functional+C programs
  • 批准号：
    2005545
  • 项目类别：
    Standard Grant
  • 资助金额：
    $50.0万
  • 财政年份：
    2020
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
Collaborative Research: Expeditions in Computing: The Science of Deep Specification
  • 批准号：
    1521602
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $345.34万
  • 财政年份：
    2015
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
SHF: Medium: Collaborative Research: Principled Optimizing Compilation of Dependently Typed Languages
  • 批准号：
    1407794
  • 项目类别：
    Standard Grant
  • 资助金额：
    $60.0万
  • 财政年份：
    2014
  • 负责人：
    Andrew Appel
  • 依托单位：
    Princeton University
国内基金
海外基金
基于非对称k-space算子分解的时空域声波和弹性波隐式有限差分新方法研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2024
  • 负责人：
  • 依托单位：
    湖北经济学院
联合QISS和SPACE一站式全身NCE-MRA对原发性系统性血管炎的诊断价值的研究
  • 批准号：
  • 项目类别：
    省市级项目
  • 资助金额：
    --
  • 批准年份：
    2022
  • 负责人：
  • 依托单位：
    华中科技大学
三维流形的L-space猜想和左可序性
  • 批准号：
    --
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    30万元
  • 批准年份：
    2022
  • 负责人：
    郜兴华
  • 依托单位：
    湖南大学
高维space-filling问题及其相关问题
  • 批准号：
    12101514
  • 项目类别：
    青年科学基金项目（C类）
  • 资助金额：
    30.0万元
  • 批准年份：
    2021
  • 负责人：
    张鹏飞
  • 依托单位：
    西南交通大学