首页> 美国政府科技报告 >Automatic Program Specialization for Interactive Media
【24h】

Automatic Program Specialization for Interactive Media

机译:交互式媒体的自动程序专业化

获取原文

摘要

This dissertation introduces and analyzes techniques for writing programs thatmanipulate interactive media. By 'media' I mean audio, images, and video flowing through a personal computer. By 'interactive' I mean that there is an impatient and unpredictable user who produces and consumes this media. Historically, such systems that provide low latency and remain highly flexible have been rare and difficult to build. I propose treating media systems as programming languages and bringing the techniques of semantics based program transformation to bear. One part of this solution is the use of compiler generation as an interface to runtime code generation. The idea is to use automatic specialization to convert flexible programs into fast programs. This idea has already been developed by the partial evaluation community. In order to make it work better with media, I extend the known techniques for specialization with partially static integers and equality constraints. I demonstrate the effectiveness of these techniques by using a prototype implementation to benchmark kernels such as wave-table audio synthesis and color-to-grayscale conversion.

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号