知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

24 条记录 (耗时 0.02 秒)

    SYSTEM AND METHOD FOR GENERATION OF EVENT DRIVEN, TUPLE-SPACE BASED PROGRAMS
    3.
    发明申请
    SYSTEM AND METHOD FOR GENERATION OF EVENT DRIVEN, TUPLE-SPACE BASED PROGRAMS 审中-公开
    用于生成事件驱动，基于空间的程序的系统和方法

    公开(公告)号：US20150089485A1

    公开(公告)日：2015-03-26

    申请号：US14492899

    申请日：2014-09-22

    申请人： Reservoir Labs, Inc.

    发明人： Muthu M. Baskaran ,  Thomas Henretty ,  M. H. Langston ,  Richard A. Lethin ,  Benoit J. Meister ,  Nicolas T. Vasilache ,  David E. Wohlford

    IPC分类号： G06F9/45

    CPC分类号： G06F8/452 ,  G06F8/433 ,  G06F9/4881 ,  G06F2209/483 ,  G06F2209/5017

    摘要： In a system for automatic generation of event-driven, tuple-space based programs from a sequential specification, a hierarchical mapping solution can target different runtimes relying on event-driven tasks (EDTs). The solution uses loop types to encode short, transitive relations among EDTs that can be evaluated efficiently at runtime. Specifically, permutable loops translate immediately into conservative point-to-point synchronizations of distance one. A runtime-agnostic which can be used to target the transformed code to different runtimes.

    摘要翻译： 在一个从顺序规范自动生成基于元组空间的程序的系统中，分层映射解决方案可以针对不依赖于事件驱动任务（EDT）的运行时间。 该解决方案使用循环类型来编码EDT之间的短期，传递关系，可以在运行时有效地评估。 具体来说，可置换循环立即转换为距离1的保守点对点同步。 与运行时无关的，可用于将转换后的代码定位到不同的运行时。

    SYSTEMS AND METHODS FOR ENERGY PROPORTIONAL SCHEDULING
    6.
    发明申请
    SYSTEMS AND METHODS FOR ENERGY PROPORTIONAL SCHEDULING 审中-公开
    用于能量比例调度的系统和方法

    公开(公告)号：US20160196121A1

    公开(公告)日：2016-07-07

    申请号：US14987202

    申请日：2016-01-04

    申请人： Reservoir Labs, Inc.

    发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul D. Mountcastle ,  Aale Naqvi ,  Benoit Pradelle ,  Tahina Ramananandro ,  Sanket Tavarageri ,  Richard A. Lethin

    IPC分类号： G06F9/45

    摘要： A compilation system using an energy model based on a set of generic and practical hardware and software parameters is presented. The model can represent the major trends in energy consumption spanning potential hardware configurations using only parameters available at compilation time. Experimental verification indicates that the model is nimble yet sufficiently precise, allowing efficient selection of one or more parameters of a target computing system so as to minimize power/energy consumption of a program while achieving other performance related goals. A voltage and/or frequency optimization and selection is presented which can determine an efficient dynamic hardware configuration schedule at compilation time. In various embodiments, the configuration schedule is chosen based on its predicted effect on energy consumption. A concurrency throttling technique based on the energy model can exploit the power-gating features exposed by the target computing system to increase the energy efficiency of programs.

    摘要翻译： 提出了一种使用基于一般和实用的硬件和软件参数的能量模型的编译系统。 该模型可以使用仅在编译时可用的参数来代表跨越潜在硬件配置的能源消耗的主要趋势。 实验验证表明，该模型灵活而精确，允许有效选择目标计算系统的一个或多个参数，以便最小化程序的功率/能量消耗，同时实现其他性能相关目标。 提出了可以在编译时确定有效的动态硬件配置进度的电压和/或频率优化和选择。 在各种实施例中，基于其对能量消耗的预测影响来选择配置计划。 基于能量模型的并发节流技术可以利用目标计算系统暴露的功率门控特性来提高节目的能源效率。

    SYSTEMS AND METHODS FOR POWER OPTIMIZATION OF PROCESSORS
    7.
    发明申请
    SYSTEMS AND METHODS FOR POWER OPTIMIZATION OF PROCESSORS 审中-公开
    用于处理器功率优化的系统和方法

    公开(公告)号：US20150309779A1

    公开(公告)日：2015-10-29

    申请号：US14699876

    申请日：2015-04-29

    申请人： Reservoir Labs, Inc.

    发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  Athanasios Konstantinidis ,  M. H. Langston ,  Richard A. Lethin ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul Mountcastle ,  Benoit Pradelle

    IPC分类号： G06F9/45

    CPC分类号： G06F8/4432 ,  Y02D10/41

    摘要： A compilation system generates one or more energy windows in a program to be executed on a data processors such that power/energy consumption of the data processor can be adjusted in which window, so as to minimize the overall power/energy consumption of the data processor during the execution of the program. The size(s) of the energy window(s) and/or power option(s) in each window can be determined according to one or more parameters of the data processor and/or one or more characteristics of the energy window(s).

    摘要翻译： 编译系统在要在数据处理器上执行的程序中生成一个或多个能量窗口，使得可以在哪个窗口中调整数据处理器的功率/能量消耗，以便最小化数据处理器的总功率/能量消耗 在执行程序期间。 每个窗口中的能量窗口和/或功率选项的大小可以根据数据处理器的一个或多个参数和/或能量窗口的一个或多个特性来确定， 。

    SYSTEMS AND METHODS FOR JOINT ANGLE-FREQUENCY DETERMINATION
    8.
    发明申请
    SYSTEMS AND METHODS FOR JOINT ANGLE-FREQUENCY DETERMINATION 审中-公开
    用于联合角度测定的系统和方法

    公开(公告)号：US20150309097A1

    公开(公告)日：2015-10-29

    申请号：US14699871

    申请日：2015-04-29

    申请人： Reservoir Labs, Inc.

    发明人： Muthu M. Baskaran ,  Thomas Henretty ,  Ann Johnson ,  M. H. Langston ,  Richard A. Lethin ,  Janice O. McMahon ,  Benoit J. Meister ,  Paul Mountcastle

    IPC分类号： G01R23/02 ,  G01R25/00

    CPC分类号： G01R23/02 ,  G01R25/00 ,  G01S3/74 ,  G01S7/021

    摘要： A system for data acquisition and processing includes a selector for obtaining samples from one or more sensors, each of which is configured to collect a sample during one or more sampling intervals forming a dwell period. The selector is configured to obtain only a subset of samples of a complete set of samples that can be collected during a dwell period. A solver is configured to solve an underdetermined system based on the collected samples and a mapping relation/phase function, to jointly determine one or more angles and one or more frequencies of transmissions received by the one or more sensors.

    摘要翻译： 用于数据采集和处理的系统包括用于从一个或多个传感器获取样本的选择器，每个传感器被配置为在形成驻留时段的一个或多个采样间隔期间收集样本。 选择器被配置为仅获得可以在停留期间收集的完整样本集合的样本子集。 解算器被配置为基于所收集的样本和映射关系/相位函数来解决欠定系统，以共同确定由一个或多个传感器接收的一个或多个角度和一个或多个频率的传输。