利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

13 条记录 (耗时 0.033 秒)

    COMPUTATION OF IMPACTED AND AFFECTED CODE DUE TO DATABASE SCHEMA CHANGES
    5.
    发明申请
    COMPUTATION OF IMPACTED AND AFFECTED CODE DUE TO DATABASE SCHEMA CHANGES 失效
    由于数据库模式的变化，影响和影响的代码的计算

    公开(公告)号：US20110208785A1

    公开(公告)日：2011-08-25

    申请号：US12958893

    申请日：2010-12-02

    申请人： Michael G. Burke ,  Rosalva E. Gallardo Valencia ,  Igor Peshansky

    发明人： Michael G. Burke ,  Rosalva E. Gallardo Valencia ,  Igor Peshansky

    IPC分类号： G06F17/30

    CPC分类号： G06F8/74 ,  G06F8/00 ,  G06F8/30

    摘要： The disclosed technology enables assistance to software developers by identifying the software application code that needs to be changed or behaves differently, as a consequence of a database schema change. The disclosed technology also enables a provision of automatic transformations, or at least hints for the transformation of the code, to accommodate the database schema change.

    摘要翻译： 所公开的技术通过识别需要改变或不同行为的软件应用程序代码，从而可以帮助软件开发人员，这是由于数据库模式的改变。 所公开的技术还能够提供自动转换，或至少提供用于代码转换的提示，以适应数据库模式的改变。

    Computation of impacted and affected code due to database schema changes
    6.
    发明授权
    Computation of impacted and affected code due to database schema changes 失效
    由于数据库模式更改，计算受影响和受影响的代码

    公开(公告)号：US08782001B2

    公开(公告)日：2014-07-15

    申请号：US12958893

    申请日：2010-12-02

    申请人： Michael G. Burke ,  Rosalva E. Gallardo Valencia ,  Igor Peshansky

    发明人： Michael G. Burke ,  Rosalva E. Gallardo Valencia ,  Igor Peshansky

    IPC分类号： G06F7/00

    CPC分类号： G06F8/74 ,  G06F8/00 ,  G06F8/30

    摘要： The disclosed technology enables assistance to software developers by identifying the software application code that needs to be changed or behaves differently, as a consequence of a database schema change. The disclosed technology also enables a provision of automatic transformations, or at least hints for the transformation of the code, to accommodate the database schema change.

    摘要翻译： 所公开的技术通过识别需要改变或不同行为的软件应用程序代码，从而可以帮助软件开发人员，这是由于数据库模式的改变。 所公开的技术还能够提供自动转换，或至少提供用于代码转换的提示，以适应数据库模式的改变。

    Enforcement Of Data Privacy To Maintain Obfuscation Of Certain Data
    7.
    发明申请
    Enforcement Of Data Privacy To Maintain Obfuscation Of Certain Data 有权
    执行数据隐私来维护某些数据的混淆

    公开(公告)号：US20110277037A1

    公开(公告)日：2011-11-10

    申请号：US12776465

    申请日：2010-05-10

    申请人： Michael G. Burke ,  Igor Peshansky ,  Marco Pistoia ,  Omer Tripp

    发明人： Michael G. Burke ,  Igor Peshansky ,  Marco Pistoia ,  Omer Tripp

    IPC分类号： G06F21/24

    CPC分类号： G06F21/60 ,  G06F19/00 ,  G06F21/6245 ,  G16H10/60

    摘要： A computer-readable medium is disclosed that tangibly embodies a program of machine-readable instructions executable by a digital processing apparatus to perform operations including determining whether data to be released from a database is associated with one or more confidential mappings between sets of data in the database. The operations also include, in response to the data being associated with the one or more confidential mappings, determining whether release of the data meets one or more predetermined anonymity requirements of an anonymity policy. Methods and apparatus are also disclosed.

    摘要翻译： 公开了一种计算机可读介质，其有形地体现了可由数字处理装置执行的机器可读指令的程序，以执行操作，以执行包括确定要从数据库释放的数据是否与所述数据集中的数据集之间的一个或多个机密映射相关联 数据库。 操作还包括响应于与一个或多个机密映射相关联的数据，确定数据的释放是否符合匿名策略的一个或多个预定匿名要求。 还公开了方法和装置。

    Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler
    8.
    发明授权
    Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler 失效
    使用程序调用图来确定编译器中过程间双向数据流问题的最大定点解

    公开(公告)号：US5485616A

    公开(公告)日：1996-01-16

    申请号：US135199

    申请日：1993-10-12

    申请人： Michael G. Burke ,  Paul R. Carini ,  Jong-Deok Choi

    发明人： Michael G. Burke ,  Paul R. Carini ,  Jong-Deok Choi

    IPC分类号： G06F9/45 ,  G06F9/44

    CPC分类号： G06F8/433 ,  G06F8/434

    摘要： By novel use of the Program Call Graph representation of computer programs, this method and apparatus provides a general analysis method for interprocedural bidirection data flow problems in computer software programs. The invention has many uses, including the determination of interprocedural alias analysis of computer software programs which contain pointers.The method starts by constructing a Program Call Graph representation of a computer program with each node of the graph representing a routine of the program. An internal representation of each node is then constructed and initial interprocedural values are associated with appropriate nodes. An interprocedural traversal of the Program Call Graph is performed in which each node is visited; an intraprocedural propagation is performed to develop a new set of interim solution values; and the new interim solution values are interprocedurally propagated. The new interim solution is propagated in a forward and backward direction in one pass of the traversal. The interprocedural traversal of the Program Call Graph is repeated until the interprocedural solution does not change.

    摘要翻译： 通过小说使用计算机程序的程序调用图表示，该方法和装置为计算机软件程序中的过程间双向数据流问题提供了一种通用的分析方法。 本发明具有许多用途，包括确定包含指针的计算机软件程序的过程间别名分析。 该方法通过构建计算机程序的程序调用图表示开始，其中每个图形节点表示程序的例程。 然后构建每个节点的内部表示，并将初始过程值与适当的节点相关联。 执行程序调用图的跨过程遍历，其中每个节点被访问; 进行一个进程内传播以开发一套新的临时解决方案值; 新的临时解决方案值被跨过程传播。 新的临时解决方案在遍历的一个遍中向前和向后的方向传播。 程序调用图的过程间遍历将重复，直到过程间解决方案不会改变。

    Methods for distinguishing dynamically allocated storage along different call paths and for providing a compact representation of alias analysis
    9.
    发明授权
    Methods for distinguishing dynamically allocated storage along different call paths and for providing a compact representation of alias analysis 失效
    用于区分动态分配的存储沿着不同的呼叫路径并提供别名分析的紧凑表示的方法

    公开(公告)号：US5535394A

    公开(公告)日：1996-07-09

    申请号：US540420

    申请日：1995-10-10

    申请人： Michael G. Burke ,  Paul R. Carini ,  Jong-Deok Choi

    发明人： Michael G. Burke ,  Paul R. Carini ,  Jong-Deok Choi

    IPC分类号： G06F9/45 ,  G06F9/44

    CPC分类号： G06F8/434

    摘要： The invention provides a method for improving the precision of interprocedural alias analysis by efficiently qualifying (naming) dynamically allocated storage locations with call path information and identifying as identical qualified name pairs, one of which is a prefix substring of another. The invention also provides a compact method for representing alias information which improves the efficiency and in some cases, the precision, of alias analysis, by eliminating alias relations that involve more than one level of dereferencing and by eliminating all alias relations that do not contain at least one dereferenced object.

    摘要翻译： 本发明提供了一种用于通过用呼叫路径信息有效地限定（命名）动态分配的存储位置并且将其标识为相同的限定名称对（其中之一是另一个的前缀子串）来提高过程间别名分析的精度的方法。 本发明还提供了一种用于表示别名信息的紧凑方法，其通过消除涉及多于一个取消级别的别名关系以及通过消除不包含在一起的所有别名关系来提高效率并且在某些情况下提高别名分析的精确度 至少一个取消引用的对象。

    Interprocedural analysis and optimization of an object oriented program in the presence of dynamic class loading
    10.
    发明授权
    Interprocedural analysis and optimization of an object oriented program in the presence of dynamic class loading 有权
    在存在动态类加载的情况下进行面向对象程序的程序间分析和优化

    公开(公告)号：US06865730B1

    公开(公告)日：2005-03-08

    申请号：US09579357

    申请日：2000-05-26

    申请人： Michael G. Burke ,  Jong-Deok Choi ,  Vugranam C. Sreedhar

    发明人： Michael G. Burke ,  Jong-Deok Choi ,  Vugranam C. Sreedhar

    IPC分类号： G06F9/42 ,  G06F9/44 ,  G06F9/445 ,  G08F9/44

    CPC分类号： G06F9/44521 ,  G06F9/4491

    摘要： A method is provided for analyzing an object oriented program that supports dynamic class loading. A set A of classes in the program is identified, wherein each class within set A is capable of, during execution of the program, causing the loading of a class outside of set A. A first set of method calls belonging to the classes in set A are identified that, during execution of the program, are capable of calling only methods belonging to a class within set A. A second set of method calls belonging to the classes in set A are identified that, during execution of the program, are capable of calling methods belonging to a class outside set A. Data that identifies the first and the second set of method calls is stored for subsequent use.

    摘要翻译： 提供了一种用于分析支持动态类加载的面向对象程序的方法。 识别程序中的集合A，其中集合A内的每个类能够在执行程序期间导致在集合A之外加载类。构成集合中的类的第一组方法调用 A被识别为在程序执行期间能够仅调用属于集合A内的类的方法。识别属于集合A中的类的第二组方法调用，在程序的执行期间，能够 调用属于集合A之外的类的调用方法。标识第一和第二组方法调用的数据被存储以供后续使用。