Correlation analysis of program structures

    公开(公告)号:US09898267B2

    公开(公告)日:2018-02-20

    申请号:US15277660

    申请日:2016-09-27

    CPC classification number: G06F8/443 G06F8/20 G06F8/34

    Abstract: System and method for performing correlation analysis. A program that includes multiple program structures and one or more data objects is stored. Each data object is shared by at least two of the program structures. For each program structure, decomposition effects on each of the data objects shared by the program structure resulting from each of a respective one or more optimizing transforms applied to the program structure are analyzed. One or more groups of correlated structures are determined based on the analyzing. Each group includes two or more program structures that share at least one data object, and at least one optimizing transform that is compatible with respect to the two or more program structures and the shared data object. For at least one group, the at least one optimizing transform is usable to transform the two or more program structures to meet a specified optimization objective.

    Correlation Analysis of Program Structures
    2.
    发明申请
    Correlation Analysis of Program Structures 有权
    程序结构的相关分析

    公开(公告)号:US20160103664A1

    公开(公告)日:2016-04-14

    申请号:US14510441

    申请日:2014-10-09

    CPC classification number: G06F8/443 G06F8/20 G06F8/34

    Abstract: System and method for performing correlation analysis. A program that includes multiple program structures and one or more data objects is stored. Each data object is shared by at least two of the program structures. For each program structure, decomposition effects on each of the data objects shared by the program structure resulting from each of a respective one or more optimizing transforms applied to the program structure are analyzed. One or more groups of correlated structures are determined based on the analyzing. Each group includes two or more program structures that share at least one data object, and at least one optimizing transform that is compatible with respect to the two or more program structures and the shared data object. For at least one group, the at least one optimizing transform is usable to transform the two or more program structures to meet a specified optimization objective.

    Abstract translation: 执行相关分析的系统和方法。 存储包括多个程序结构和一个或多个数据对象的程序。 每个数据对象由至少两个程序结构共享。 对于每个程序结构,分析由应用于程序结构的相应的一个或多个优化变换中的每一个产生的由程序结构共享的每个数据对象的分解效果。 基于分析确定一组或多组相关结构。 每个组包括共享至少一个数据对象的两个或更多个程序结构,以及与两个或多个程序结构和共享数据对象兼容的至少一个优化变换。 对于至少一个组,所述至少一个优化变换可用于变换所述两个或多个程序结构以满足指定的优化目标。

    Convergence analysis of program variables
    4.
    发明授权
    Convergence analysis of program variables 有权
    程序变量的收敛分析

    公开(公告)号:US09189215B1

    公开(公告)日:2015-11-17

    申请号:US14468935

    申请日:2014-08-26

    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.

    Abstract translation: 收敛分析的系统和方法 可以基于第一程序中的变量的依赖性来确定第一程序的一个或多个状态变量。 基于状态变量及其依赖性创建与第一程序相对应的第二程序,并执行多次。 每个执行可以包括状态变量的记录值,确定执行计数,将值与先前执行的第二程序的对应值进行比较,并且响应于与来自所述第二程序的至少一个先前执行的对应值匹配的值终止执行 第二个程序。 基于执行次数确定第一程序的收敛性,并且指示生成所述一个或多个变量的所有可能值所需的第一程序的执行次数。 收敛性被存储,并可用于优化第一程序。

    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.

    Program Variable Convergence Analysis
    6.
    发明申请

    公开(公告)号: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 Variable Convergence Analysis
    7.
    发明申请
    Program Variable Convergence Analysis 有权
    程序变量收敛分析

    公开(公告)号:US20160062750A1

    公开(公告)日:2016-03-03

    申请号:US14883449

    申请日:2015-10-14

    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.

    Abstract translation: 收敛分析的系统和方法 可以基于第一程序中的变量的依赖性来确定第一程序的一个或多个状态变量。 基于状态变量及其依赖性创建与第一程序相对应的第二程序,并执行多次。 每个执行可以包括状态变量的记录值,确定执行计数,将值与先前执行的第二程序的对应值进行比较,并且响应于与来自所述第二程序的至少一个先前执行的对应值匹配的值来终止执行 第二个程序。 基于执行次数确定第一程序的收敛性,并且指示生成所述一个或多个变量的所有可能值所需的第一程序的执行次数。 收敛性被存储,并可用于优化第一程序。

    Program variable convergence analysis

    公开(公告)号:US09921815B2

    公开(公告)日:2018-03-20

    申请号:US14883449

    申请日:2015-10-14

    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.

    Correlation Analysis of Program Structures

    公开(公告)号:US20170083299A1

    公开(公告)日:2017-03-23

    申请号:US15277660

    申请日:2016-09-27

    CPC classification number: G06F8/443 G06F8/20 G06F8/34

    Abstract: System and method for performing correlation analysis. A program that includes multiple program structures and one or more data objects is stored. Each data object is shared by at least two of the program structures. For each program structure, decomposition effects on each of the data objects shared by the program structure resulting from each of a respective one or more optimizing transforms applied to the program structure are analyzed. One or more groups of correlated structures are determined based on the analyzing. Each group includes two or more program structures that share at least one data object, and at least one optimizing transform that is compatible with respect to the two or more program structures and the shared data object. For at least one group, the at least one optimizing transform is usable to transform the two or more program structures to meet a specified optimization objective.

Patent Agency Ranking