利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

28 条记录 (耗时 0.041 秒)

    Modular Integration of Distinct Type Systems for the Compilation of Programs
    4.
    发明申请
    Modular Integration of Distinct Type Systems for the Compilation of Programs 失效
    用于汇编程序的不同类型系统的模块化集成

    公开(公告)号：US20090055800A1

    公开(公告)日：2009-02-26

    申请号：US11844315

    申请日：2007-08-23

    申请人： Igor Peshansky ,  Mukund Raghavachari

    发明人： Igor Peshansky ,  Mukund Raghavachari

    IPC分类号： G06F9/44

    CPC分类号： G06F8/437 ,  G06F8/315

    摘要： A method for extending functionality of a compiler includes: receiving a first source file written in a language that supports multiple system types, wherein the first source file includes a plurality of source constructs associated with parameter types of the multiple type systems; annotating each of the plurality of source constructs with the type system from one of the multiple type systems and precise parameter type to which its associated type system belongs; retrieving type system rules corresponding to each type system referred to in the first source file from a type system loader; verifying, using the type system rules, that instances of use of variables, expressions, and methods in the first source file are appropriate with respect to the type system of annotated types associated with the source constructs; and compiling the first source file to produce a second source file including type information retained from the first source file.

    摘要翻译： 一种用于扩展编译器的功能的方法包括：接收以支持多种系统类型的语言编写的第一源文件，其中所述第一源文件包括与所述多类型系统的参数类型相关联的多个源结构; 使用来自多种类型系统之一的类型系统和其相关联的类型系统所属的精确参数类型来注释多个源结构中的每一个; 从类型系统加载器检索对应于在第一源文件中引用的每个类型系统的类型系统规则; 使用类型系统规则验证在第一源文件中使用变量，表达式和方法的实例对于与源结构相关联的注释类型的类型系统是合适的; 并且编译第一源文件以产生包括从第一源文件保留的类型信息的第二源文件。

    Method and apparatus for approximate projection of XML documents
    5.
    发明申请
    Method and apparatus for approximate projection of XML documents 失效
    用于近似投影XML文档的方法和装置

    公开(公告)号：US20060253430A1

    公开(公告)日：2006-11-09

    申请号：US11124749

    申请日：2005-05-09

    申请人： Rohit Fernandes ,  Mukund Raghavachari

    发明人： Rohit Fernandes ,  Mukund Raghavachari

    IPC分类号： G06F17/30

    CPC分类号： G06F17/30938 ,  Y10S707/99942 ,  Y10S707/99945

    摘要： A method, computer readable medium and information processing system for projecting a representation of a document in the Extensible Markup Language (XML) format. The method dynamically creates a tree representation of an XML document based on a provided set of XPath expressions through approximate matching techniques. The projection created by the method supports all XPath axes including backward axes such as ?parent? and ?ancestor.? The execution of the set of XPath queries on the projected document is guaranteed to be the same as that of executing the XPath queries on the original document. The projected document typically occupies much less space than the original document.

    摘要翻译： 一种用于以可扩展标记语言（XML）格式投影文档的表示的方法，计算机可读介质和信息处理系统。 该方法通过近似匹配技术基于提供的一组XPath表达式动态创建XML文档的树表示。 该方法创建的投影支持所有XPath轴，包括诸如？parent之类的向后轴？ 和祖先。 在投影文档上执行一组XPath查询将被保证与在原始文档上执行XPath查询的执行相同。 投影文件通常占用比原始文件少得多的空间。

    Methods and apparatus for automatic system parameter configuration for performance improvement
    6.
    发明申请
    Methods and apparatus for automatic system parameter configuration for performance improvement 失效
    自动系统参数配置的方法和设备，用于性能改进

    公开(公告)号：US20050262230A1

    公开(公告)日：2005-11-24

    申请号：US10849357

    申请日：2004-05-19

    申请人： Zhen Liu ,  Mukund Raghavachari ,  Bowei Xi ,  Cathy Xia ,  Li Zhang

    发明人： Zhen Liu ,  Mukund Raghavachari ,  Bowei Xi ,  Cathy Xia ,  Li Zhang

    IPC分类号： G06F11/34 ,  G06F15/173

    CPC分类号： G06F11/3452 ,  Y10S707/99933

    摘要： In one embodiment, the present invention is a method and apparatus for automatic system parameter configuration for performance improvement. One embodiment of the inventive method involves formulating a black box optimization problem, and solving the optimization problem using an enhanced smart hill climbing method. The smart hill climbing method includes both a global and a more precise local search to identify an optimal solution. In one embodiment, one or both of the global and local searches employs a weighted Latin Hypercube Sampling method in combination with importance sampling techniques to yield improved search results

    摘要翻译： 在一个实施例中，本发明是一种用于性能改进的自动系统参数配置的方法和装置。 本发明方法的一个实施例涉及制定黑箱优化问题，并且使用增强的智能爬山方法来解决优化问题。 智能爬坡方法包括全局和更精确的本地搜索，以确定最佳解决方案。 在一个实施例中，全局和局部搜索中的一个或两个采用加权的拉丁超立方体采样方法结合重要性采样技术来产生改进的搜索结果

    SYSTEM FOR VALIDATING A DOCUMENT CONFORMING TO A FIRST SCHEMA WITH RESPECT TO A SECOND SCHEMA
    7.
    发明申请
    SYSTEM FOR VALIDATING A DOCUMENT CONFORMING TO A FIRST SCHEMA WITH RESPECT TO A SECOND SCHEMA 有权
    用于对第二张图表符合第一张图表的文件进行验证的系统

    公开(公告)号：US20090063952A1

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

    申请号：US12056233

    申请日：2008-03-26

    申请人： Mukund Raghavachari ,  Oded Shmueli

    发明人： Mukund Raghavachari ,  Oded Shmueli

    IPC分类号： G06F17/00

    CPC分类号： G06F17/2725 ,  G06F17/2247

    摘要： An improved system for determining compliance between a source document structure in accordance with a source schema and a target schema includes: data storage; and a processor for executing software code. The software code causes the processor to: create a source schema description and a target schema description; receive the source document which includes an ordered tree structure with labeled elements and including a subtree; identify all corresponding element types in the source and target schemas for grouping the corresponding element types into element type pairs; classify each element type pair; and confirm compliance of the source document.

    摘要翻译： 用于确定根据源模式和目标模式的源文档结构的合规性的改进的系统包括：数据存储; 以及用于执行软件代码的处理器。 软件代码使处理器：创建源模式描述和目标模式描述; 接收源文档，其中包含带有标记元素并包括子树的有序树结构; 识别源和目标模式中的所有相应元素类型，以将相应的元素类型分组为元素类型对; 对每个元素类型对进行分类; 并确认源文档的符合性。

    Streaming mechanism for efficient searching of a tree relative to a location in the tree
    9.
    发明申请
    Streaming mechanism for efficient searching of a tree relative to a location in the tree 失效
    用于有效地搜索树的相对于树中的位置的流机制

    公开(公告)号：US20050149503A1

    公开(公告)日：2005-07-07

    申请号：US10752624

    申请日：2004-01-07

    申请人： Mukund Raghavachari

    发明人： Mukund Raghavachari

    IPC分类号： G06F17/30

    CPC分类号： G06F17/30675 ,  G06F17/30923 ,  Y10S707/99931 ,  Y10S707/99933 ,  Y10S707/99934 ,  Y10S707/99935 ,  Y10S707/99942

    摘要： A system and method for processing documents, comprises steps of: receiving a query comprising search criteria and wherein the criteria comprise a set of constraints that specify forward or backward relations between nodes; receiving a location in the tree with respect to which the query must be evaluated; receiving at least a portion of a document; modifying the search criteria such that constraints specifying a backward relation may be reformulated into constraints specifying a forward relation and introducing a context node at a location along a forward edge origination at the root of the tree structure; processing the document using the modified criteria; and locating one or more nodes that satisfy the search criteria.

    摘要翻译： 一种用于处理文档的系统和方法，包括以下步骤：接收包括搜索条件的查询，并且其中所述标准包括指定节点之间的向前或向后关系的一组约束; 在树中接收必须评估查询的位置; 接收文档的至少一部分; 修改搜索准则，使得可以将指定后向关系的约束重新格式化为指定向前关系的约束，并且在沿着树结构的根的前沿发起的位置处引入上下文节点; 使用修改标准处理文档; 并定位满足搜索条件的一个或多个节点。

    Method and system for directing a wireless user to a location for improved communication
    10.
    发明申请
    Method and system for directing a wireless user to a location for improved communication 有权
    用于将无线用户引导到位置以改进通信的方法和系统

    公开(公告)号：US20050070302A1

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

    申请号：US10674613

    申请日：2003-09-30

    申请人： Mukund Raghavachari

    发明人： Mukund Raghavachari

    IPC分类号： H04L12/28 ,  G01C21/00 ,  G01S19/05 ,  G01S19/07 ,  G01S19/09 ,  G01S19/46 ,  H04B7/00 ,  H04W4/02 ,  H04W48/16 ,  H04Q7/20

    CPC分类号： H04W48/16 ,  H04W4/02

    摘要： An information handling system for improving reception comprises logic for determining a target location for improved communication for a wireless telecommunication unit based in part on information representing a recent position of the wireless telecommunication unit, wherein the target location is more likely to result in better reception of wireless signals from a wireless access point. The system also includes a transceiver for receiving and transmitting signals to other users of the network. Optionally, the transceiver can be configured for receiving information representing the most recent position of the wireless unit and for transmitting directions to the wireless unit, the directions including information on how to get to the target location.

    摘要翻译： 用于改进接收的信息处理系统包括用于基于部分地表示无线电信单元的最近位置的信息来确定用于无线电信单元的改进通信的目标位置的逻辑，其中目标位置更可能导致更好地接收 来自无线接入点的无线信号。 该系统还包括用于向网络的其他用户接收和发送信号的收发器。 可选地，收发器可以被配置为用于接收表示无线单元的最近位置的信息，并且用于向无线单元发送指示，方向包括关于如何到达目标位置的信息。