利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

39 条记录 (耗时 0.01 秒)

    Aspect-oriented system monitoring and tracing
    1.
    发明授权
    Aspect-oriented system monitoring and tracing 有权
    面向方面的系统监控和跟踪

    公开(公告)号：US06473895B1

    公开(公告)日：2002-10-29

    申请号：US09357508

    申请日：1999-07-20

    申请人： Cristina V. Lopes ,  Gregor J. Kiczales ,  John O. Lamping ,  Erik A. Hilsdale ,  Venkatesh Choppella ,  Taher H. Haveliwala

    发明人： Cristina V. Lopes ,  Gregor J. Kiczales ,  John O. Lamping ,  Erik A. Hilsdale ,  Venkatesh Choppella ,  Taher H. Haveliwala

    IPC分类号： G06F944

    CPC分类号： G06F8/316

    摘要： An aspect oriented system for implementing system monitoring and tracing is provided in which the monitoring and tracing functionality needs not be coded into the resources being monitored or traced. Rather, an aspect is provided which encapsulates the monitoring/tracing behavior. This behavior may easily and transparently be forced onto the resource by compiling the object class for the resource along with the monitoring/tracing aspect. When the monitoring/tracing is no longer needed, it is removed simply by recompiling the resource object classes without the aspect.

    摘要翻译： 提供了一种用于实现系统监视和跟踪的面向方面的系统，其中监视和跟踪功能不需要编码到被监视或跟踪的资源中。 相反，提供了一个封装监视/跟踪行为的方面。 通过编译资源的对象类以及监视/跟踪方面，可以轻松，透明地将此行为强制转换到资源上。 当不再需要监视/跟踪时，只需重新编译没有方面的资源对象类即可将其删除。

    High-level loop fusion
    4.
    发明授权
    High-level loop fusion 失效
    高级环路融合

    公开(公告)号：US5822593A

    公开(公告)日：1998-10-13

    申请号：US764101

    申请日：1996-12-06

    申请人： John O. Lamping ,  Gregor J. Kiczales ,  Anurag D. Mendhekar

    发明人： John O. Lamping ,  Gregor J. Kiczales ,  Anurag D. Mendhekar

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

    CPC分类号： G06F8/30 ,  G06F9/44

    摘要： A processor is provided with a software program specifying an overall computation that includes operations. Each operation implies a set of subcomputations, without explicitly specifying a control structure for carrying out the subcomputations according to a particular sequencing. The operations include a first and a second operation, and the provided software program further specifies how the first and second operations are combined in the overall computation. For example, the first and second operations can each imply, respectively, a first and a second computational loop, the first loop including the subcomputations of the first operation, the second loop including the subcomputations of the second operation. A description of possible sequencings of subcomputations of the first and second operations is provided, to be used in implementing the specified combination of the first and second operations, the description including a set of constraints on the sequencing of subcomputations of the first and second operations. A software program is automatically generated that includes a combined operation implementing the specified combination of the first and second operations. The combined operation has a control structure for carrying out the subcomputations of the first and second operations in accordance with the constraints. This control structure can be, for example, a computational loop. If the first and second operations imply, respectively, first and second computational loops, the control structure of the combined operation can be, for example, a computational loop including a fusion of the first and second loops.

    摘要翻译： 处理器被提供有指定包括操作的总体计算的软件程序。 每个操作意味着一组子计算，而没有根据特定的排序明确地指定用于执行子计算的控制结构。 操作包括第一操作和第二操作，并且所提供的软件程序进一步指定如何在整个计算中组合第一和第二操作。 例如，第一和第二操作可以分别暗示第一和第二计算循环，第一循环包括第一操作的子计算，第二循环包括第二操作的子计算。 提供对第一和第二操作的子计算的可能序列的描述，以用于实现第一和第二操作的指定组合，该描述包括对第一和第二操作的子计算的排序的一组约束。 自动生成包括实现第一和第二操作的指定组合的组合操作的软件程序。 组合操作具有用于根据约束执行第一和第二操作的子计算的控制结构。 该控制结构可以是例如计算循环。 如果第一和第二操作分别表示第一和第二计算循环，则组合操作的控制结构可以是例如包括第一和第二回路的融合的计算回路。

    Software constructs that facilitate partial evaluation of source code
    5.
    发明授权
    Software constructs that facilitate partial evaluation of source code 失效
    促进源代码部分评估的软件结构

    公开(公告)号：US06631517B1

    公开(公告)日：2003-10-07

    申请号：US09705188

    申请日：2000-11-02

    申请人： John O. Lamping ,  Michael D. Dixon ,  Gregor J. Kiczales ,  Brian C. Smith

    发明人： John O. Lamping ,  Michael D. Dixon ,  Gregor J. Kiczales ,  Brian C. Smith

    IPC分类号： G06F945

    CPC分类号： G06F8/49

    摘要： A partial evaluator, or pre-compiler, for a computer program enables a user to provide, at suitable places within a program, language constructs which cause certain expressions within the program to be evaluated at runtime or at partial evaluation time. These language constructs can be used to shorten runtime, such as by avoiding unnecessary duplication of code at runtime.

    摘要翻译： 用于计算机程序的部分评估器或预编译器使得用户能够在程序内的适当位置提供在程序中导致某些表达式在运行时或部分评估时间被评估的语言结构。 这些语言结构可用于缩短运行时间，例如避免运行时不必要的代码重复。

    Software constructs that facilitate partial evaluation of source code
    6.
    发明授权
    Software constructs that facilitate partial evaluation of source code 有权
    促进源代码部分评估的软件结构

    公开(公告)号：US06199201B1

    公开(公告)日：2001-03-06

    申请号：US09128685

    申请日：1998-08-03

    申请人： John O. Lamping ,  Michael D. Dixon ,  Gregor J. Kiczales ,  Brian C. Smith

    发明人： John O. Lamping ,  Michael D. Dixon ,  Gregor J. Kiczales ,  Brian C. Smith

    IPC分类号： G06F945

    CPC分类号： G06F8/49

    摘要： A partial evaluator, or pre-compiler, for a computer program enables a user to provide, at suitable places within a program, language constructs which cause certain expressions within the program to be evaluated at runtime or at partial evaluation time. These language constructs can be used to shorten runtime, such as by avoiding unnecessary duplication of code at runtime.

    摘要翻译： 用于计算机程序的部分评估器或预编译器使得用户能够在程序内的适当位置提供在程序中导致某些表达式在运行时或部分评估时间被评估的语言结构。 这些语言结构可用于缩短运行时间，例如避免运行时不必要的代码重复。

    Ensuring that a synonym for a query phrase does not drop information present in the query phrase
    7.
    发明授权
    Ensuring that a synonym for a query phrase does not drop information present in the query phrase 有权
    确保查询短语的同义词不会丢弃查询短语中存在的信息

    公开(公告)号：US08661012B1

    公开(公告)日：2014-02-25

    申请号：US11647888

    申请日：2006-12-29

    申请人： Steven D. Baker ,  John O. Lamping

    发明人： Steven D. Baker ,  John O. Lamping

    IPC分类号： G06F17/30

    CPC分类号： G06F17/30 ,  G06F17/30672

    摘要： One embodiment of the present invention provides a system that identifies a synonym for a query phrase in a manner that ensures that the synonym does not drop information from the query phrase. First, the system identifies a synonym for the query phrase and synonyms for sub-components of the query phrase. If the identified synonym for the query phrase is also a synonym for a subcomponent of the query phrase, the system does not use the identified synonym as a synonym for the query phrase.

    摘要翻译： 本发明的一个实施例提供了一种以确保同义词不从查询短语中删除信息的方式识别查询短语的同义词的系统。 首先，系统为查询短语的子组件识别查询短语和同义词的同义词。 如果查询短语的识别同义词也是查询短语的子组件的同义词，则系统不会将标识的同义词用作查询短语的同义词。

    Systems and methods for efficient ambiguous meaning assembly
    8.
    发明授权
    Systems and methods for efficient ambiguous meaning assembly 有权
    有效模糊意义的装配系统和方法

    公开(公告)号：US07203668B2

    公开(公告)日：2007-04-10

    申请号：US10322504

    申请日：2002-12-19

    申请人： John O. Lamping ,  Richard S. Crouch ,  Mary Dalrymple ,  Hadar Shemtov

    发明人： John O. Lamping ,  Richard S. Crouch ,  Mary Dalrymple ,  Hadar Shemtov

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

    CPC分类号： G06F17/271 ,  G06F17/274 ,  G06F17/2785

    摘要： Techniques managing syntactic and semantic ambiguity allow two different kinds of processing and representation of ambiguity to work together. The techniques allow linear logic semantic assembly to work with packed functional (f) structures and provide for contexted version of linear logic where semantic contributions are read from the packed functional (f) structure and pre-pended with the contents of the functional (f) structure to which they pertain. Linear logic reasoning may then be performed in the contexted linear logic to derive possible meanings from the contexted contributions from the packed functional (f) structure. Deductions in the contexted linear logic do not require fully expanding each syntactic parse. Techniques applying skeleton/modifier techniques to contexted reasoning are provided by creating a contexted modifier applicable only for certain syntactic readings. These techniques recognize both quantifier scope ambiguity and attachment ambiguity in a representation that uses efficient skeleton/modifier representation where possible and contexted representation otherwise.

    摘要翻译： 管理句法和语义歧义的技术允许两种不同的处理方式和歧义的表示方式一起工作。 这些技术允许线性逻辑语义组合与包装功能（f）结构一起工作，并提供线性逻辑的有争议的版本，其中从包装功能（f）结构读取语义贡献，并且预先与功能（f） 他们所属的结构。 然后线性逻辑推理可以在有争议的线性逻辑中执行，以从包装功能（f）结构的有争议的贡献中导出可能的含义。 扣除线性逻辑不需要完全扩展每个句法解析。 通过创建一个仅适用于某些句法读数的contexted修饰来提供应用骨架/修饰技术来解决推理的技术。 这些技术在可能的情况下使用有效的骨架/修饰符表示的表示中识别量词范围模糊度和附加歧义，否则表示。