-
21.发明申请公开(公告)号：US20070271368A1
公开(公告)日：2007-11-22
申请号：US11833345
申请日：2007-08-03
申请人： Zhen Liu , Mukund Raghavachari , Bowei Xi , Cathy Honghui Xia , Li Zhang
发明人： Zhen Liu , Mukund Raghavachari , Bowei Xi , Cathy Honghui Xia , Li Zhang
IPC分类号： 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
摘要翻译： 在一个实施例中，本发明是一种用于性能改进的自动系统参数配置的方法和装置。 本发明方法的一个实施例涉及制定黑箱优化问题，并且使用增强的智能爬山方法来解决优化问题。 智能爬坡方法包括全局和更精确的本地搜索，以确定最佳解决方案。 在一个实施例中，全局和局部搜索中的一个或两个采用加权的拉丁超立方体采样方法结合重要性采样技术来产生改进的搜索结果
-
公开(公告)号：US08209301B2
公开(公告)日：2012-06-26
申请号：US11932492
申请日：2007-10-31
IPC分类号： G06F7/00
CPC分类号： G06F8/10 , G06F11/0751 , G06F17/3051 , Y10S707/99934
摘要： A system (and method) of detecting an error in a database interaction, includes providing information about at least one of at least first and second software systems, and a mapping between at least a portion of the at least first and second software systems, and examining the at least one of the first and second software systems and the mapping to determine an error in an interaction between the at least first and second software systems.
摘要翻译： 一种检测数据库交互中的错误的系统（和方法）包括提供关于至少第一和第二软件系统中的至少一个的信息，以及至少第一和第二软件系统的至少一部分之间的映射，以及 检查第一和第二软件系统中的至少一个以及映射以确定至少第一和第二软件系统之间的交互中的错误。
-
23.发明授权公开(公告)号：US08196121B2
公开(公告)日：2012-06-05
申请号：US11844315
申请日：2007-08-23
IPC分类号： G06F9/45
摘要： 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.
摘要翻译： 一种用于扩展编译器的功能的方法包括：接收以支持多种系统类型的语言编写的第一源文件，其中所述第一源文件包括与所述多类型系统的参数类型相关联的多个源结构; 使用来自多种类型系统之一的类型系统和其相关联的类型系统所属的精确参数类型来注释多个源结构中的每一个; 从类型系统加载器检索对应于在第一源文件中引用的每个类型系统的类型系统规则; 使用类型系统规则验证在第一源文件中使用变量，表达式和方法的实例对于与源结构相关联的注释类型的类型系统是合适的; 并且编译第一源文件以产生包括从第一源文件保留的类型信息的第二源文件。
-
24.发明授权Method for validating a document conforming to a first schema with respect to a second schema 失效用于根据第二模式验证符合第一模式的文档的方法公开(公告)号：US07596748B2
公开(公告)日：2009-09-29
申请号：US10662799
申请日：2003-09-12
申请人： Mukund Raghavachari , Oded Shmueli
发明人： Mukund Raghavachari , Oded Shmueli
IPC分类号： G06F17/30
CPC分类号： G06F17/2725 , G06F17/2247
摘要： A method of validating a document structured in accordance with a first schema and with respect to a second schema saves processing time by using information about relationships between the first schema and second schema and the document's conformance to the first schema to determine the document's validity in the second schema. The element type definitions of the XML or other document cast in the first schema are examined to determine if any element conforming to element types in the first schema is always invalid in the second schema. If any content conforming to always invalid element types is present in the document, the document can be immediately invalidated with respect to the second schema without further processing. Any content conforming to element types in the first schema that are subsumed by element types in the second schema can be immediately validated with respect to the second schema.
摘要翻译： 验证根据第一模式并相对于第二模式构造的文档的方法通过使用关于第一模式和第二模式之间的关系的信息以及文档与第一模式的一致性来确定文档的有效性来节省处理时间 第二个模式。 检查第一个模式中转换的XML或其他文档的元素类型定义，以确定是否符合第一个模式中的元素类型的任何元素在第二个模式中始终无效。 如果在文档中存在符合始终无效元素类型的任何内容，则文档可以相对于第二模式立即无效，而无需进一步处理。 符合第一模式中的元素类型的任何内容都可以根据第二个模式立即得到验证。
-
公开(公告)号：US20080059841A1
公开(公告)日：2008-03-06
申请号：US11932492
申请日：2007-10-31
IPC分类号： G06F11/00
CPC分类号： G06F8/10 , G06F11/0751 , G06F17/3051 , Y10S707/99934
摘要： A system (and method) of detecting an error in a database interaction, includes providing information about at least one of at least first and second software systems, and a mapping between at least a portion of the at least first and second software systems, and examining the at least one of the first and second software systems and the mapping to determine an error in an interaction between the at least first and second software systems.
摘要翻译： 一种检测数据库交互中的错误的系统（和方法）包括提供关于至少第一和第二软件系统中的至少一个的信息，以及至少第一和第二软件系统的至少一部分之间的映射，以及 检查第一和第二软件系统中的至少一个以及映射以确定至少第一和第二软件系统之间的交互中的错误。
-
26.发明授权Methods and apparatus for automatic system parameter configuration for performance improvement 失效自动系统参数配置的方法和设备，用于性能改进公开(公告)号：US07272707B2
公开(公告)日：2007-09-18
申请号：US10849357
申请日：2004-05-19
申请人： Zhen Liu , Mukund Raghavachari , Bowei Xi , Cathy Honghui Xia , Li Zhang
发明人： Zhen Liu , Mukund Raghavachari , Bowei Xi , Cathy Honghui Xia , Li Zhang
IPC分类号： G06F15/177
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
摘要翻译： 在一个实施例中，本发明是一种用于性能改进的自动系统参数配置的方法和装置。 本发明方法的一个实施例涉及制定黑箱优化问题，并且使用增强的智能爬山方法来解决优化问题。 智能爬坡方法包括全局和更精确的本地搜索，以确定最佳解决方案。 在一个实施例中，全局和局部搜索中的一个或两个采用加权的拉丁超立方体采样方法结合重要性采样技术来产生改进的搜索结果
-
27.发明授权公开(公告)号：US07171407B2
公开(公告)日：2007-01-30
申请号：US10264076
申请日：2002-10-03
IPC分类号： G06F17/30
CPC分类号： G06F17/2258 , G06F17/2247 , G06F17/30929 , Y10S707/99931 , Y10S707/99933 , Y10S707/99934
摘要： A system and method for processing documents, such as XML documents, wherein the method includes the steps of: receiving a query comprising search criteria; 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; processing the document using the modified criteria; and locating one or more nodes that satisfy the search criteria; and, emitting the selected nodes as output.
摘要翻译： 一种用于处理诸如XML文档的文档的系统和方法，其中所述方法包括以下步骤：接收包括搜索条件的查询; 接收文档的至少一部分; 修改搜索条件，使得可以将指定向后关系的约束重新形成指定前向关系的约束; 使用修改标准处理文档; 并且定位满足搜索条件的一个或多个节点; 并且将所选择的节点作为输出发射。
-
公开(公告)号：US20070005622A1
公开(公告)日：2007-01-04
申请号：US11169474
申请日：2005-06-29
IPC分类号： G06F7/00
CPC分类号： G06F17/272 , G06F17/2247
摘要： A method, information processing system, and computer readable medium for improved representation of hierarchical documents, particularly a document encoded in Extended Markup Language (XML). The method loads a hierarchical document and stores into an addressable data structure such as a byte array. It then expands the addressable data structure lazily in response to navigations requested by a client. Nodes requested by the client are materialized, that is, they are created in memory, whereas other nodes are left unmaterialized in byte form. The method reduces the memory footprint of an XML document, as well as, improves query evaluation time and serialization time.
摘要翻译： 一种方法，信息处理系统和用于改进分层文档表示的计算机可读介质，特别是以扩展标记语言（XML）编码的文档。 该方法加载分层文档并存储到可寻址数据结构中，如字节数组。 然后，它响应于客户端请求的导航，延长了可寻址数据结构的扩展。 客户端请求的节点被实现，也就是它们在内存中创建，而其他节点以字节形式保持未实现。 该方法减少了XML文档的内存占用，同时也提高了查询评估时间和序列化时间。
-
-
-
-
-
-
-
搜索结果
28 条记录 (耗时 0.033 秒)
