公开(公告)号：US20210255891A1

公开(公告)日：2021-08-19

申请号：US16791361

申请日：2020-02-14

申请人： Reservoir Labs, Inc.

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

IPC分类号： G06F9/48

摘要： 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.

公开(公告)号：US11074269B2

公开(公告)日：2021-07-27

申请号：US16244832

申请日：2019-01-10

申请人： Reservoir Labs, Inc.

发明人： James Ezick ,  Thomas Henretty ,  Richard A. Lethin

IPC分类号： G06F17/00 ,  G06F16/25 ,  G06F16/22 ,  G06F16/93 ,  G06F3/06 ,  G06N3/02 ,  G06F40/30 ,  G06F40/20

摘要： A system for extracting latent information from data includes obtaining or generating components of the data, where the data components include scores indicating how the component relates to the data. Memory is allocated for the components and the components are stored in the allocated memory. The components are then transformed into documents using a suitable transformation function, and the documents are analyzed using natural language processing, to extract latent information contained in the data.

公开(公告)号：US11068178B2

公开(公告)日：2021-07-20

申请号：US16700331

申请日：2019-12-02

申请人： Reservoir Labs, Inc.

发明人： Muthu Manikandan 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分类号： G06F3/06 ,  G06F8/41

摘要： A system for allocation of one or more data structures used in a program across a number of processing units takes into account a memory access pattern of the data structure, and the amount of total memory available for duplication across the several processing units. Using these parameters duplication factors are determined for the one or more data structures such that the cost of remote communication is minimized when the data structures are duplicated according to the respective duplication factors while allowing parallel execution of the program.

公开(公告)号：US10180828B2

公开(公告)日：2019-01-15

申请号：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分类号： G06F8/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).

公开(公告)号：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的保守点对点同步。 与运行时无关的，可用于将转换后的代码定位到不同的运行时。

公开(公告)号：US10466349B2

公开(公告)日：2019-11-05

申请号：US14987240

申请日：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分类号： G01S7/41 ,  G01S7/48 ,  G01S13/72 ,  G01S17/66 ,  G01S3/786 ,  B64C39/02

摘要： A system for determining the physical path of an object can map several candidate paths to a suitable path space that can be explored using a convex optimization technique. The optimization technique may take advantage of the typical sparsity of the path space and can identify a likely physical path using a function of sensor observation as constraints. A track of an object can also be determined using a track model and a convex optimization technique.

公开(公告)号：US10145871B2

公开(公告)日：2018-12-04

申请号：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 ,  G01S3/74 ,  G01S7/02

摘要： 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.

公开(公告)号：US09471377B2

公开(公告)日：2016-10-18

申请号：US14540427

申请日：2014-11-13

申请人： Reservoir Labs, Inc.

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

IPC分类号： G06F9/46 ,  G06F9/48

CPC分类号： G06F9/4881 ,  G06F2209/483

摘要： A scheduling system can schedule several operations for parallel execution on a number of work processors. At least one of the operations is not to be executed, and the determination of which operation or operations are not to be executed and which ones are to be executed can be made only at run time. The scheduling system partitions a subset operations that excludes the one or more operation that are not to be executed into several groups based on, at least in part, an irregularity of operations resulting from the one or more operation that are not to be executed. In addition, the partitioning is based on, at least in part, locality of data elements associated with the subset of operations to be executed or loading of the several work processors.

摘要翻译： 调度系统可以调度多个操作以在多个工作处理器上并行执行。 不执行至少一个操作，并且仅在运行时才能进行哪个操作或操作不被执行的确定以及要执行哪些操作或操作。 调度系统至少部分地基于由不执行的一个或多个操作产生的不规则的操作来将将不被执行的一个或多个操作排除成若干组的子集操作。 此外，分区至少部分地基于与要执行或加载多个工作处理器的操作的子集相关联的数据元素的位置。

公开(公告)号：US20150379403A1

公开(公告)日：2015-12-31

申请号：US14729722

申请日：2015-06-03

申请人： Reservoir Labs, Inc.

发明人： James Ezick ,  Thomas Henretty ,  Chanseok Oh ,  Jonathan Springer

IPC分类号： G06N5/02 ,  G06N7/00

CPC分类号： G06N20/00 ,  G06F9/54 ,  G06F17/11 ,  G06N5/022 ,  G06N7/00 ,  G06N7/005

摘要： We present the architecture of a high-performance constraint solver R-Solve that extends the gains made in SAT performance over the past fifteen years on static decision problems to problems that require on-the-fly adaptation, solution space exploration and optimization. R-Solve facilitates collaborative parallel solving and provides an efficient system for unrestricted incremental solving via Smart Repair. R-Solve can address problems in dynamic planning and constrained optimization involving complex logical and arithmetic constraints.

公开(公告)号：US20150169369A1

公开(公告)日：2015-06-18

申请号：US14540427

申请日：2014-11-13

申请人： Reservoir Labs, Inc.

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

IPC分类号： G06F9/48 ,  G06F9/54

CPC分类号： G06F9/4881 ,  G06F2209/483

摘要： A scheduling system can schedule several operations for parallel execution on a number of work processors. At least one of the operations is not to be executed, and the determination of which operation or operations are not to be executed and which ones are to be executed can be made only at run time. The scheduling system partitions a subset operations that excludes the one or more operation that are not to be executed into several groups based on, at least in part, an irregularity of operations resulting from the one or more operation that are not to be executed. In addition, the partitioning is based on, at least in part, locality of data elements associated with the subset of operations to be executed or loading of the several work processors.

摘要翻译： 调度系统可以调度多个操作以在多个工作处理器上并行执行。 不执行至少一个操作，并且仅在运行时才能进行哪个操作或操作不被执行的确定以及要执行哪些操作或操作。 调度系统至少部分地基于由不执行的一个或多个操作产生的不规则的操作来将将不被执行的一个或多个操作排除成若干组的子集操作。 此外，分区至少部分地基于与要执行或加载多个工作处理器的操作的子集相关联的数据元素的位置。