专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明授权

US08554759B1 Selection of documents to place in search index 有权
标题翻译：选择要放入搜索索引的文件
公开(公告)号：US08554759B1
公开(公告)日：2013-10-08
申请号：US13586923
申请日：2012-08-16
申请人： Thomas M. Annau , Charles Garrett , Sharmila Subramaniam , Sanjay Joshi , Rosemary Emery-Montemerlo , Aaron A. D'Souza , Jonathan D. Wilson , Christopher W. Fraser
发明人： Thomas M. Annau , Charles Garrett , Sharmila Subramaniam , Sanjay Joshi , Rosemary Emery-Montemerlo , Aaron A. D'Souza , Jonathan D. Wilson , Christopher W. Fraser
IPC分类号： G06F17/30
CPC分类号： G06F17/3089 , G06F17/30312
摘要： A system may identify a collection of documents, predict a utility score for each document in the collection of documents, and create a ranked list of the documents based on the predicted utility scores for the documents. The system may also select a number of the documents in the ranked list of documents, index the selected documents, and store the index.
摘要翻译：系统可以识别文档的集合，预测文档集合中的每个文档的效用评分，并且基于文档的预测效用评分来创建文档的排名列表。系统还可以选择文档的排序列表中的多个文档，索引所选择的文档，并存储索引。

2. 发明授权

US06327699B1 Whole program path profiling 有权
标题翻译：整个程序路径分析
公开(公告)号：US06327699B1
公开(公告)日：2001-12-04
申请号：US09302854
申请日：1999-04-30
申请人： James R. Larus , Christopher W. Fraser
发明人： James R. Larus , Christopher W. Fraser
IPC分类号： G06F945
CPC分类号： G06F11/3612
摘要： A program is instrumented to record acyclic paths during execution of the program. A whole program path is produced from the record and provides a complete compact record of a program's entire control flow. It includes a record of crossing loop boundaries and procedure boundaries to provide a complete picture of the program's dynamic behavior. A string compression algorithm that constructs a context-free grammar is used to compress the path trace and uncover its regular structure. Heavily executed subpaths are easily identified from the representation by traversing the whole program path to find hot subpaths according to input parameters of minimum and maximum path lengths and a minimum cost.
摘要翻译：程序在程序执行过程中记录非循环路径。整个程序路径是从记录中产生的，并提供了程序整个控制流程的完整的紧凑记录。它包括交叉循环边界和过程边界的记录，以提供程序的动态行为的完整图片。使用构建无上下文语法的字符串压缩算法来压缩路径跟踪并发现其规则结构。通过遍历整个程序路径，可以从表示中轻松识别重路由子路径，以根据最小和最大路径长度的输入参数以及最小成本查找热的子路径。

3. 发明授权

US07111283B2 Program history in a computer programming language 有权
公开(公告)号：US07111283B2
公开(公告)日：2006-09-19
申请号：US09725983
申请日：2000-11-29
申请人： Christopher W. Fraser , Todd A. Proebsting , Benjamin G. Zorn
发明人： Christopher W. Fraser , Todd A. Proebsting , Benjamin G. Zorn
IPC分类号： G06F9/45 , G06F9/44
CPC分类号： G06F8/31
摘要： A programming-language construct called a program history, and a method, system, apparatus, and data structure for translating computer source code that contains the program history construct. A program history captures data regarding the state of the program as it executes and makes this data available to functions called history operators, which operate on the data. The source code contains a history operand, an instance of the history operand, and the history operator. The presence of the history operand directs a translator to cause history data to be saved regarding the sequence of data that is associated with the operand instance as the program executes. The presence of the history operator directs the translator to cause a function to be performed that saves history data. In this way, the programmer is freed from writing tedious and error-prone bookkeeping code that declares variables and saves history data into those declared variables.

4. 发明授权

US06151618A Safe general purpose virtual machine computing system 失效
标题翻译：安全的通用虚拟机计算系统
公开(公告)号：US06151618A
公开(公告)日：2000-11-21
申请号：US878390
申请日：1997-06-18
申请人： Robert S. Wahbe , Steven E. Lucco , Christopher W. Fraser , Vance Palmer Morrison
发明人： Robert S. Wahbe , Steven E. Lucco , Christopher W. Fraser , Vance Palmer Morrison
IPC分类号： G06F11/36 , G06F9/45
CPC分类号： G06F11/3624
摘要： A safe general purpose virtual machine computing system having a general purpose memory protection model that is hardware architecture and programming language independent. The safe general purpose virtual machine computing system is software based to facilitate operation on hardware architectures that otherwise would prevent the exchange and successful execution of mobile code programs from one computer system to another. The safe general purpose virtual machine computing system also facilitates generating Bytecode Reduced Instruction Set Computer (BRISC) compressed mobile code that can be compiled or translated into executable code very quickly in addition to being compact for transmission purposes, and that is prevented from accessing unauthorized memory locations due to Software Fault Isolation techniques implemented in the code.
摘要翻译：一种具有通用存储器保护模型的安全通用虚拟机计算系统，它是硬件架构和编程语言无关的。安全的通用虚拟机计算系统是基于硬件架构的操作的软件，否则将阻止从一个计算机系统到另一个计算机系统的移动代码程序的交换和成功执行。安全的通用虚拟机计算系统还有助于生成字节码简化指令集计算机（BRISC）压缩的移动代码，除了紧凑的传输目的之外，还可以非常快地编译或转换为可执行代码，并且防止访问未经授权的内存由于在代码中实现的软件故障隔离技术所在的位置。

5. 发明授权

US08255386B1 Selection of documents to place in search index 有权
标题翻译：选择要放入搜索索引的文件
公开(公告)号：US08255386B1
公开(公告)日：2012-08-28
申请号：US12022187
申请日：2008-01-30
申请人： Thomas M. Annau , Charles Garrett , Sharmila Subramaniam , Sanjay Joshi , Rosemary Emery-Montemerlo , Aaron A. D'Souza , Jonathan D. Wilson , Christopher W. Fraser
发明人： Thomas M. Annau , Charles Garrett , Sharmila Subramaniam , Sanjay Joshi , Rosemary Emery-Montemerlo , Aaron A. D'Souza , Jonathan D. Wilson , Christopher W. Fraser
IPC分类号： G06F17/30
CPC分类号： G06F17/3089 , G06F17/30312
摘要： A system may identify a collection of documents, predict a utility score for each document in the collection of documents, and create a ranked list of the documents based on the predicted utility scores for the documents. The system may also select a number of the documents in the ranked list of documents, index the selected documents, and store the index.
摘要翻译：系统可以识别文档的集合，预测文档集合中的每个文档的效用评分，并且基于文档的预测效用评分来创建文档的排名列表。系统还可以选择文档的排序列表中的多个文档，索引所选择的文档，并存储索引。

6. 发明授权

US06748588B1 One-pass greedy-pattern-matching finite-state-machine code generation 有权
标题翻译：单通贪心模式匹配有限状态机码生成
公开(公告)号：US06748588B1
公开(公告)日：2004-06-08
申请号：US09282780
申请日：1999-03-31
申请人： Christopher W. Fraser , Todd A. Proebsting
发明人： Christopher W. Fraser , Todd A. Proebsting
IPC分类号： G06F945
CPC分类号： G06F8/447
摘要： A one-pass, greedy-pattern-matching, finite-state-machine code generator is disclosed. The code generator generates local code (such as processor-native code) from intermediate code (such as Java byte code). In one embodiment of the invention, a computer-implemented method for generating local code from intermediate code first includes receiving a current element of a post-fix-notated intermediate code. The method receives a current element of a postfix-notated intermediate code, and matches the current element to a base rule within a predetermined intermediate code-to-local code grammar. The method then selects and applies a matching base rule based on a predetermined criteria. A local code is then generated according to the matching base rule applied to the current element. A next element of the intermediate code is then advanced to as the current element. In another embodiment, the method matches the current element to a base rule, includes matching a most recent element to one or more chain rule(s) within the grammar and applies the chain rule(s) to the most recent element to enable the current element to match a given base rule. In still another embodiment, a code-generator generator is disclosed that constructs a code generator according to a machine specification.
摘要翻译：公开了一种通过，贪心模式匹配的有限状态机码发生器。代码生成器从中间代码生成本地代码（如处理器本机代码）（如Java字节代码）。在本发明的一个实施例中，用于从中间代码生成本地代码的计算机实现的方法首先包括接收固定后标记的中间代码的当前元素。该方法接收后缀符号中间代码的当前元素，并将当前元素与预定的中间代码到本地代码语法中的基本规则相匹配。然后，该方法基于预定标准选择并应用匹配的基本规则。然后根据应用于当前元素的匹配基本规则生成本地代码。然后将中间代码的下一个元素提升为当前元素。在另一个实施例中，该方法将当前元素与基本规则相匹配，包括将最新元素与语法内的一个或多个链规则进行匹配，并将链规则应用于最新元素以使能当前元素以匹配给定的基本规则。在另一个实施例中，公开了根据机器规范构建代码生成器的代码生成器生成器。

7. 发明授权

US06516305B1 Automatic inference of models for statistical code compression 有权
标题翻译：统计代码压缩模型的自动推断
公开(公告)号：US06516305B1
公开(公告)日：2003-02-04
申请号：US09484403
申请日：2000-01-14
申请人： Christopher W. Fraser
发明人： Christopher W. Fraser
IPC分类号： G06F1518
CPC分类号： G06F8/4434
摘要： Inferring statistical models for performing code compression is disclosed. The system reads a set of training data comprising representative code. Tokens from the training data along with context data known when the token is read is saved to a predictor table. The context data comprises potential predictors for the token. When all training data has been read, a decision tree is created which partitions input code into streams that can be compressed based on the frequency distributions present in the decision tree. The decision tree can be used by a modeler component of a code compression system.
摘要翻译：公开了执行代码压缩的统计模型。该系统读取一组包含代表性代码的训练数据。来自训练数据的令牌以及读取令牌时已知的上下文数据被保存到预测器表中。上下文数据包括令牌的潜在预测器。当读取所有的训练数据时，创建一个决策树，将决策树根据决策树中存在的频率分布将输入码划分成可被压缩的流。决策树可以由代码压缩系统的建模器组件使用。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式