• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >Rate Types for Stream Programs.
【24h】

Rate Types for Stream Programs.

机译：流节目的费率类型。

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

RATE TYPES is a novel type system to reason about and optimize data-intensive programs. Built around stream languages, RATE TYPES performs static quantitative reasoning about stream rates---the frequency of data items in a stream being consumed, processed, and produced. Despite the fact that streams are fundamentally dynamic, there are two essential concepts of stream rate control---throughput ratio and natural rate---which are intimately related to the program structure itself and can be effectively reasoned about by a type system. RATE TYPES is proven to correspond with a timeaware operational semantics which supports parallelism. The strong correspondence result tolerates arbitrary schedules, and does not require any synchronization between stream filters. RATE TYPES is also implemented on stream programs, demonstrating its effectiveness in predicting stream data rates in real-world stream programs. Applications of RATE TYPES are discussed, including an application of RATE TYPES to optimize energy consumption.
机译：RATE TYPES是一种新颖的类型系统，用于推理和优化数据密集型程序。 RATE TYPES以流语言为基础，执行有关流速率的静态定量推理，即流中消耗，处理和产生的数据项的频率。尽管流从根本上说是动态的，但流率控制的两个基本概念（吞吐量比和自然率）与程序结构本身密切相关，并且可以由类型系统有效地进行推理。 RATE TYPES被证明与支持并行性的时间感知操作语义相对应。强的对应结果允许任意调度，并且不需要流过滤器之间的任何同步。 RATE TYPES也在流程序上实现，证明了其在实际流程序中预测流数据速率的有效性。讨论了RATE TYPES的应用，包括RATE TYPES的应用以优化能耗。

著录项

  • 作者

    Bartenstein, Thomas W.;

  • 作者单位

    State University of New York at Binghamton.;

  • 授予单位 State University of New York at Binghamton.;
  • 学科 Computer science.
  • 学位 Ph.D.
  • 年度 2017
  • 页码 255 p.
  • 总页数 255
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 水产、渔业;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号