Program variable convergence analysis

    公开(公告)号:US10216495B2

    公开(公告)日:2019-02-26

    申请号:US15886390

    申请日:2018-02-01

    Abstract: System and method for convergence analysis. One or more state variables of a first program may be determined based on dependencies of variables in a first program. A second program corresponding to the first program is created based on the state variables and their dependencies, and executed multiple times. Each execution may include recording values of the state variables, determining an execution count, comparing the values to corresponding values from previous executions of the second program, and terminating the executing in response to the values matching corresponding values from at least one previous execution of the second program. A convergence property for the first program is determined based on the execution count, and indicating a number of executions of the first program required to generate all possible values of the one or more variables. The convergence property is stored, and may be useable to optimize the first program.

    Automatically Transform Pass-by-Value Semantics into Pass-by-Reference Implementation

    公开(公告)号:US20180321925A1

    公开(公告)日:2018-11-08

    申请号:US15588298

    申请日:2017-05-05

    CPC classification number: G06F8/443 G05B15/02

    Abstract: System and method for compiling a program, including determining one or more program structures containing one or more variables at the entry and exit of each program structure, wherein each variable specifies a value transfer operation between outside the program structure and inside the program structure. Each value transfer operation may specify a value transfer between a respective one or more source variables and a destination variable. A subset of the destination variables may be determined for which assigning the destination variable to a memory resource of a corresponding source variable does not disrupt the functionality of the program. For each of the one or more value transfer operations, the value transfer operation may be implemented, where the implementation of the value transfer operation may be executable to assign each of the determined subset of destination variables to a respective memory resource, thereby mapping the variables to the memory resources, and dynamically change the mapping, including assigning the destination variable to the memory resource of a first source variable of the one or more source variables, thereby transferring the value from the first source variable to the destination variable without copying the value between the memory resources. The method may be implemented for programs operating according to either a static or dynamic schedule.

    Program Variable Convergence Analysis
    23.
    发明申请

    公开(公告)号:US20180181379A1

    公开(公告)日:2018-06-28

    申请号:US15886390

    申请日:2018-02-01

    CPC classification number: G06F8/433 G06F8/443

    Abstract: System and method for convergence analysis. One or more state variables of a first program may be determined based on dependencies of variables in a first program. A second program corresponding to the first program is created based on the state variables and their dependencies, and executed multiple times. Each execution may include recording values of the state variables, determining an execution count, comparing the values to corresponding values from previous executions of the second program, and terminating the executing in response to the values matching corresponding values from at least one previous execution of the second program. A convergence property for the first program is determined based on the execution count, and indicating a number of executions of the first program required to generate all possible values of the one or more variables. The convergence property is stored, and may be useable to optimize the first program.

    Program optimization via compile time execution

    公开(公告)号:US09690550B2

    公开(公告)日:2017-06-27

    申请号:US14704689

    申请日:2015-05-05

    Abstract: When compiling high level, graphical code (e.g. LabVIEW™ code) representative of a design, parts of the code that do not depend on external input data may be executed during the compilation process. Specific variables and/or value traces of specific variables in the program, e.g. constant values and/or repeating patterns may be recorded then analyzed, and certain transformations may be applied in the compilation process according to the results of the analysis, thereby optimizing the design. In one approach, the graph may be dynamically stepped through one node at a time, and it may be determined whether all inputs to the stepped-through node are known. If those inputs are known, type conversion and the operation corresponding to the stepped-through node may be dynamically performed. In another approach, a subset of the graphical code not depending on external data may be compiled and executed, thereby obtaining the same results as described above.

    Incremental Loop Modification for LDPC Encoding
    29.
    发明申请
    Incremental Loop Modification for LDPC Encoding 审中-公开
    LDPC编码的增量环路修改

    公开(公告)号:US20160352458A1

    公开(公告)日:2016-12-01

    申请号:US14725914

    申请日:2015-05-29

    Abstract: Techniques are disclosed relating to encoding communications. In some embodiments, for different rows of an encoding matrix, the following operations are performed: generate a set of operations for entries in the row, where the set of operations includes respective operations to be performed on the entries for multiplication of the matrix by a vector, propagate values of entries in the encoding matrix into the set of operations, and simplify ones of the set of operations based on the propagated values to generate an output set of operations. In some embodiments, the output sets of operations are usable to encode input data for communication over a medium. In some embodiments, the disclosed techniques facilitate loop unrolling within compiler memory constraints. In some embodiments, an apparatus (e.g., a mobile device) is configured with the output sets of operations.

    Abstract translation: 公开了与编码通信有关的技术。 在一些实施例中,对于编码矩阵的不同行,执行以下操作:为该行中的条目生成一组操作,其中该组操作包括要对矩阵乘以一个 向量,将编码矩阵中的条目的值传播到该组操作中,并且基于传播的值来简化该组操作中的一组,以生成输出操作集合。 在一些实施例中,输出操作组可用于编码用于通过介质进行通信的输入数据。 在一些实施例中,所公开的技术有助于循环在编译器存储器限制内展开。 在一些实施例中,设备(例如,移动设备)被配置有输出操作组。

    LPDC Encoding Techniques using a Matrix Representation
    30.
    发明申请
    LPDC Encoding Techniques using a Matrix Representation 有权
    使用矩阵表示的LPDC编码技术

    公开(公告)号:US20160352457A1

    公开(公告)日:2016-12-01

    申请号:US14725706

    申请日:2015-05-29

    Abstract: Techniques are disclosed relating to LDPC encoding. In some embodiments, a set of operations is produced that is usable to generate an encoded message based on an input message. In some embodiments, the set of operations correspond to operations for entries in a smaller matrix representation that specifies locations of non-zero entries in an LDPC encoding matrix. In some embodiments, a mobile device is configured with the set of operations to perform LDPC encoding. Circuitry configured with the set of operations may perform LDPC encoding with high performance, relatively small area and/or low power consumption, in some embodiments.

    Abstract translation: 公开了与LDPC编码相关的技术。 在一些实施例中,产生一组可用于基于输入消息生成编码消息的操作。 在一些实施例中,该组操作对应于在LDPC编码矩阵中指定非零条目的位置的较小矩阵表示中的条目的操作。 在一些实施例中,移动设备配置有用于执行LDPC编码的一组操作。 在一些实施例中,配置有该组操作的电路可以执行具有高性能,相对小的面积和/或低功耗的LDPC编码。

Patent Agency Ranking