利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

22 条记录 (耗时 0.033 秒)

    PARTIAL ON-DEMAND LAZY SEMANTIC ANALYSIS
    1.
    发明申请
    PARTIAL ON-DEMAND LAZY SEMANTIC ANALYSIS 有权
    部分需求LAZY语义分析

    公开(公告)号：US20110113408A1

    公开(公告)日：2011-05-12

    申请号：US12613925

    申请日：2009-11-06

    申请人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

    发明人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

    IPC分类号： G06F9/45 ,  G06N5/02

    CPC分类号： G06N5/022

    摘要： Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be used to derive any response as defined by the semantic rules about the source code. A query is received from a requestor requesting a semantic characteristic of the input program. The semantic characteristic is calculated. The semantic characteristic is returned to the requestor. The semantic characteristic is cached in a cache. Information describing a dependency between the cached semantic characteristic and one or more of the objects in the plurality of objects is stored.

    摘要翻译： 计算对语义查询的响应。 一种方法包括访问代表输入程序的源代码的多个对象。 源代码被转换成多个不可变对象，其被构造成使得不可变对象可以用于导出由关于源代码的语义规则定义的任何响应。 从请求者接收到询问输入程序的语义特征的查询。 计算语义特征。 语义特征被返回给请求者。 语义特征被缓存在缓存中。 存储描述缓存的语义特征与多个对象中的一个或多个对象之间的依赖关系的信息。

    Partial on-demand lazy semantic analysis
    2.
    发明授权
    Partial on-demand lazy semantic analysis 有权
    部分按需延迟语义分析

    公开(公告)号：US08539457B2

    公开(公告)日：2013-09-17

    申请号：US12613925

    申请日：2009-11-06

    申请人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

    发明人： John Lawrence Hamby ,  Joshua Ryan Williams ,  John D. Doty ,  Clemens A. Szyperski ,  David Michael Miller

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

    CPC分类号： G06N5/022

    摘要： Computing responses to semantic queries. A method includes accessing a plurality of objects that represent source code for an input program. The source code is transformed into a plurality of immutable objects that are structured such that the immutable objects can be used to derive any response as defined by the semantic rules about the source code. A query is received from a requestor requesting a semantic characteristic of the input program. The semantic characteristic is calculated. The semantic characteristic is returned to the requestor. The semantic characteristic is cached in a cache. Information describing a dependency between the cached semantic characteristic and one or more of the objects in the plurality of objects is stored.

    摘要翻译： 计算对语义查询的响应。 一种方法包括访问代表输入程序的源代码的多个对象。 源代码被转换成多个不可变对象，其被构造成使得不可变对象可以用于导出由关于源代码的语义规则定义的任何响应。 从请求者接收到询问输入程序的语义特征的查询。 计算语义特征。 语义特征被返回给请求者。 语义特征缓存在缓存中。 存储描述缓存的语义特征与多个对象中的一个或多个对象之间的依赖关系的信息。

    Consistently signaling state changes
    3.
    发明授权
    Consistently signaling state changes 有权
    一致地指示状态变化

    公开(公告)号：US07860900B2

    公开(公告)日：2010-12-28

    申请号：US12037004

    申请日：2008-02-25

    申请人： Clemens A. Szyperski ,  Geoffrey M. Kizer ,  Joshua R. Williams ,  John D. Doty

    发明人： Clemens A. Szyperski ,  Geoffrey M. Kizer ,  Joshua R. Williams ,  John D. Doty

    IPC分类号： G06F7/00 ,  G06F17/30

    CPC分类号： G06F9/542

    摘要： A signaling system of the present invention provides a synchronized approach to delivering, reporting, and/or otherwise processing status changes in a software dependency chain. In a first phase, the signaling system identifies all dependencies between software components, and further sets a binary indicator of each node in a first representation. After identifying any changes in a source node, the system (e.g., a value is updated), the system updates each binary indicator to a second setting. In a second phase, the system initiates all listeners in the dependency chain in an essentially progressive order from source node, to intermediate node, and end-node, etc. Once all listeners have had a chance to perform one or more processes based on the updated value, the system can discard the dependency graph, allowing a new dependency graph to be built for subsequent value changes.

    摘要翻译： 本发明的信令系统提供了一种用于递送，报告和/或以其他方式处理软件依赖链中状态变化的同步方法。 在第一阶段，信令系统识别软件组件之间的所有依赖关系，并进一步在第一表示中设置每个节点的二进制指示符。 在识别源节点中的任何改变之后，系统（例如，值被更新），系统将每个二进制指示符更新为第二设置。 在第二阶段中，系统以从源节点到中间节点和终端节点等基本上渐进的顺序启动依赖关系链中的所有侦听器。一旦所有侦听器都有机会基于该进程执行一个或多个进程 更新的值，系统可以丢弃依赖图，允许为随后的值更改构建新的依赖关系图。

    CONSISTENTLY SIGNALING STATE CHANGES
    4.
    发明申请
    CONSISTENTLY SIGNALING STATE CHANGES 有权
    一致信号状态变化

    公开(公告)号：US20090216793A1

    公开(公告)日：2009-08-27

    申请号：US12037004

    申请日：2008-02-25

    申请人： Clemens A. Szyperski ,  Geoffrey M. Kizer ,  Joshua R. Williams ,  John D. Doty

    发明人： Clemens A. Szyperski ,  Geoffrey M. Kizer ,  Joshua R. Williams ,  John D. Doty

    IPC分类号： G06F9/46 ,  G06F17/30

    CPC分类号： G06F9/542

    摘要： A signaling system of the present invention provides a synchronized approach to delivering, reporting, and/or otherwise processing status changes in a software dependency chain. In a first phase, the signaling system identifies all dependencies between software components, and further sets a binary indicator of each node in a first representation. After identifying any changes in a source node, the system (e.g., a value is updated), the system updates each binary indicator to a second setting. In a second phase, the system initiates all listeners in the dependency chain in an essentially progressive order from source node, to intermediate node, and end-node, etc. Once all listeners have had a chance to perform one or more processes based on the updated value, the system can discard the dependency graph, allowing a new dependency graph to be built for subsequent value changes.

    摘要翻译： 本发明的信令系统提供了一种用于递送，报告和/或以其他方式处理软件依赖链中状态变化的同步方法。 在第一阶段，信令系统识别软件组件之间的所有依赖关系，并进一步在第一表示中设置每个节点的二进制指示符。 在识别源节点中的任何改变之后，系统（例如，值被更新），系统将每个二进制指示符更新为第二设置。 在第二阶段中，系统以从源节点到中间节点和终端节点等基本上渐进的顺序启动依赖关系链中的所有侦听器。一旦所有侦听器都有机会基于该进程执行一个或多个进程 更新的值，系统可以丢弃依赖图，允许为随后的值更改构建新的依赖关系图。

    Transaction Manager Virtualization
    5.
    发明申请
    Transaction Manager Virtualization 有权
    事务管理器虚拟化

    公开(公告)号：US20080196029A1

    公开(公告)日：2008-08-14

    申请号：US11673749

    申请日：2007-02-12

    申请人： John D. Doty ,  James E. Johnson ,  William James Carley ,  Kapil Gupta

    发明人： John D. Doty ,  James E. Johnson ,  William James Carley ,  Kapil Gupta

    IPC分类号： G06F9/44

    CPC分类号： G06F9/466 ,  G06F9/4856

    摘要： A transaction manager virtualization layer is provided for supporting multiple active transaction managers in a cluster or node. By virtualizing the transaction managers, applications and services are enabled to migrate across cluster nodes or even outside a cluster that includes relevant recovery mechanisms for transactions that are not completed at the time of migration. Multiple implementations of a transaction manager may be enabled to run side-by-side in a node or cluster allowing a rolling upgrade of transaction managers in clusters.

    摘要翻译： 提供事务管理器虚拟化层，用于支持集群或节点中的多个活动事务管理器。 通过虚拟化事务管理器，可以启用应用程序和服务在集群节点之间进行迁移，甚至可以在包含迁移时尚未完成的事务的相关恢复机制的群集之外进行迁移。 事务管理器的多个实现可能能够并行运行在一个节点或集群中，允许在集群中滚动升级事务管理器。

    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER
    6.
    发明申请
    SEMANTIC SUBTYPING FOR DECLARATIVE DATA SCRIPTING LANGUAGE BY CALLING A PROVER 有权
    通过电子邮件提交声明数据描述语言的语义分类

    公开(公告)号：US20100192129A1

    公开(公告)日：2010-07-29

    申请号：US12244988

    申请日：2008-10-03

    申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437

    摘要： An efficient, logical and expressive type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. Various embodiments verify the validity of subtyping relationships by translating to first-order logic, and invoking a general-purpose theorem prover with the first-order logic as input. In contrast to treating formulas as types, types are translated into formulas of standard first-order logic. Moreover, to represent data structures of the programming language as first-order logic, universal and existential quantifiers of first-order logic, and function symbols in terms, are exploited. Data intensive applications can be generated, verified, and deployed with greater speed and scale.

    摘要翻译： 一种高效，逻辑和表达型的系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 各种实施例通过转换为一阶逻辑来验证子类型关系的有效性，并且以一阶逻辑作为输入来调用通用定理证明器。 与将处理公式作为类型相反，类型被转换为标准一阶逻辑的公式。 此外，为了将编程语言的数据结构表示为一阶逻辑，利用一阶逻辑的通用和存在量词，以及术语中的函数符号。 可以以更快的速度和规模生成，验证和部署数据密集型应用程序。

    Commit tree optimization based on recovery topology information
    8.
    发明授权
    Commit tree optimization based on recovery topology information 有权
    基于恢复拓扑信息提交树优化

    公开(公告)号：US07533080B2

    公开(公告)日：2009-05-12

    申请号：US11401029

    申请日：2006-04-10

    申请人： Dana D. Groff ,  James E. Johnson ,  John D. Doty ,  Jonathan M. Cargille ,  Kapil Gupta ,  Michael R. Clark

    发明人： Dana D. Groff ,  James E. Johnson ,  John D. Doty ,  Jonathan M. Cargille ,  Kapil Gupta ,  Michael R. Clark

    IPC分类号： G06F17/30

    CPC分类号： G06F9/466 ,  Y10S707/99932

    摘要： Minimizing transaction managers. A method that may be practiced in a commit tree topology including a plurality of transaction managers to manage transactions. The transactions include a set of operations that are all performed if a transaction is completed or all aborted if a transaction is not completed. The transaction managers store transaction result information to allow recovery of a transaction in case of system failure. The method includes acts for minimizing storage overhead by minimizing the number of transaction managers used to coordinate transactions. The method includes identifying a set of transaction managers. A first transaction manager is selected from among the set of transaction managers. A second transaction manager is identified from among the set of transaction managers that is always available when the first transaction manager is available. Messages are redirected from a subordinate associated with the first transaction manager to the second transaction manager.

    摘要翻译： 最小化交易经理。 可以在包括多个事务管理器的提交树拓扑中实践的方法来管理事务。 事务包括一组操作，如果事务完成或者如果事务未完成则全部中止操作。 事务管理器存储事务结果信息，以便在系统故障的情况下恢复事务。 该方法包括通过最小化用于协调事务的事务管理器的数量来最小化存储开销的动作。 该方法包括识别一组事务管理器。 从一组事务管理器中选择第一个事务管理器。 从第一个事务管理器可用时始终可用的一组事务管理器中识别出第二个事务管理器。 消息从与第一个事务管理器关联的下属重定向到第二个事务管理器。

    Type system for declarative data scripting language
    9.
    发明授权
    Type system for declarative data scripting language 有权
    键入用于声明性数据脚本语言的系统

    公开(公告)号：US08949784B2

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

    申请号：US12244981

    申请日：2008-10-03

    申请人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    发明人： David E. Langworthy ,  Gavin Bierman ,  Andrew D. Gordon ,  Donald F. Box ,  Bradford H. Lovering ,  Jeffrey C. Schlimmer ,  John D. Doty

    IPC分类号： G06F9/44

    CPC分类号： G06F8/10 ,  G06F8/31

    摘要： An efficient, logical and expressive type system is provided for flexibly defining types of a declarative programming language so that efficient and structurally compact data intensive applications can be generated. The type system supports the combination of refinement types and type membership expressions, as well as a top type that encompasses all valid values as members. With the type system, types can be expressed as intersections and/or unions of other types. Thus, types can be efficiently represented for a full range of types of data as may be found in real world data stores.

    摘要翻译： 提供了一种高效，逻辑和表达型的系统，用于灵活定义声明式编程语言的类型，从而可以生成有效和结构紧凑的数据密集型应用程序。 类型系统支持细化类型和类型成员关系表达式的组合，以及包含所有有效值作为成员的顶级类型。 对于类型系统，类型可以表示为其他类型的交集和/或联合。 因此，可以在真实世界数据存储中可以找到的全部数据类型有效地表示类型。