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

1. 发明授权

US08458671B1 Method and system for stack back-tracing in computer programs 失效
标题翻译：计算机程序中堆栈跟踪的方法和系统
公开(公告)号：US08458671B1
公开(公告)日：2013-06-04
申请号：US12378007
申请日：2009-02-10
申请人： Mathew Hostetter , Vineet Soni , Richard Schooler
发明人： Mathew Hostetter , Vineet Soni , Richard Schooler
IPC分类号： G06F9/44
CPC分类号： G06F8/434
摘要： The present invention relates to a method, system, and computer program product for performing a computer program analysis. The computer program includes a plurality of instructions. The method performs a static analysis of the computer program to compute the states of a stack pointer (SP), a frame pointer (FP), and a link register (LR) at one or more instructions of the program. The static analysis is preferably performed at compile time. Further, the method computes the states of the SP, the FP, and the LR at the instructions as determined by a dynamic analysis, wherein the dynamic analysis is preferably modeled (performed) during the static analysis. Furthermore, the states determined by the static analysis and the dynamic analysis are compared. If a discrepancy is found between the two states, metadata (information operators) is inserted into the program.
摘要翻译：本发明涉及一种用于执行计算机程序分析的方法，系统和计算机程序产品。计算机程序包括多个指令。该方法执行计算机程序的静态分析，以在程序的一个或多个指令处计算堆栈指针（SP），帧指针（FP）和链接寄存器（LR）的状态。静态分析优选在编译时进行。此外，该方法计算由动态分析确定的指令处的SP，FP和LR的状态，其中动态分析优选地在静态分析期间被建模（执行）。此外，通过静态分析和动态分析确定的状态进行了比较。如果在两个州之间发现差异，则将元数据（信息运算符）插入到程序中。

2. 发明授权

US08738860B1 Computing in parallel processing environments 有权
标题翻译：在并行处理环境中进行计算
公开(公告)号：US08738860B1
公开(公告)日：2014-05-27
申请号：US13280927
申请日：2011-10-25
申请人： Patrick Robert Griffin , Mathew Hostetter , Anant Agarwal , Chyi-Chang Miao , Christopher D. Metcalf , Bruce Edwards , Carl G. Ramey , Mark B. Rosenbluth , David M. Wentzlaff , Christopher J. Jackson , Ben Harrison , Kenneth M. Steele , John Amann , Shane Bell , Richard Conlin , Kevin Joyce , Christine Deignan , Liewei Bao , Matthew Mattina , Ian Rudolf Bratt , Richard Schooler
发明人： Patrick Robert Griffin , Mathew Hostetter , Anant Agarwal , Chyi-Chang Miao , Christopher D. Metcalf , Bruce Edwards , Carl G. Ramey , Mark B. Rosenbluth , David M. Wentzlaff , Christopher J. Jackson , Ben Harrison , Kenneth M. Steele , John Amann , Shane Bell , Richard Conlin , Kevin Joyce , Christine Deignan , Liewei Bao , Matthew Mattina , Ian Rudolf Bratt , Richard Schooler
IPC分类号： G06F12/08
CPC分类号： G06F12/0897 , G06F12/0811 , G06F12/0813 , G06F12/1441
摘要： A computing system comprises one or more cores. Each core comprises a processor. In some implementations, each processor is coupled to a communication network among the cores. In some implementations, a switch in each core includes switching circuitry to forward data received over data paths from other cores to the processor and to switches of other cores, and to forward data received from the processor to switches of other cores.
摘要翻译：计算系统包括一个或多个核心。每个核心包括处理器。在一些实现中，每个处理器耦合到核心之间的通信网络。在一些实现中，每个核心中的交换机包括交换电路，用于将通过数据路径从其他核到达处理器的数据路径接收的数据转发到其他核心的交换机，并将从处理器接收的数据转发到其他核心的交换机。

3. 发明授权

US08620940B1 Pattern matching 有权
标题翻译：模式匹配
公开(公告)号：US08620940B1
公开(公告)日：2013-12-31
申请号：US12977565
申请日：2010-12-23
申请人： Mathew Hostetter , Kenneth M. Steele , Vijay Aggarwal
发明人： Mathew Hostetter , Kenneth M. Steele , Vijay Aggarwal
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F7/02 , G06F17/30985 , G06F2207/025
摘要： A method for processing data for pattern matching includes: receiving a first sequence of data values; and generating a second sequence of data values based on the first sequence and one or more patterns and history of data values in the first sequence, wherein the second sequence has fewer data values than the first sequence and all subsequences in the first sequence that match at least one of the one or more patterns are represented in the second sequence.
摘要翻译：一种用于处理模式匹配的数据的方法包括：接收第一数据值序列; 以及基于所述第一序列和所述第一序列中的数据值的一个或多个模式和历史来生成第二数据值序列，其中所述第二序列具有比所述第一序列更少的数据值，以及与所述第一序列匹配的所述第一序列中的所有子序列一个或多个图案中的至少一个在第二个序列中表示。

4. 发明申请

US20050060695A1 Lazy compilation of template-generated classes in dynamic compilation execution environments 有权
标题翻译：动态编译执行环境中的模板生成类的懒惰编译
公开(公告)号：US20050060695A1
公开(公告)日：2005-03-17
申请号：US10884370
申请日：2004-07-02
申请人： Mathew Hostetter , David Kranz
发明人： Mathew Hostetter , David Kranz
IPC分类号： G06F9/42 , G06F9/445 , G06F9/45
CPC分类号： G06F9/45516 , G06F8/41 , G06F9/44521 , G06F9/449
摘要： Template-generated classes in program code are compiled efficiently through a process of lazy compilation resulting in improved compilation times. Lazy compilation includes the generation of objects representing a class template and a template-generated class as well as the selective compilation of class methods that are invoked in the program code. Code sharing is a further enhancement for increasing compilation speed by providing a system and method for sharing executable object code for compatible methods among different classes generated from the same class template.
摘要翻译：程序代码中的模板生成类通过懒惰编译的过程有效地编译，从而改进了编译时间。 Lazy编译包括代表类模板和模板生成类的对象的生成以及在程序代码中调用的类方法的选择性编译。代码共享是通过提供用于在从同一类模板生成的不同类中的兼容方法共享可执行目标代码的系统和方法来提高编译速度的进一步增强。

5. 发明申请

US20050268305A1 Software atomization 审中-公开
标题翻译：软件雾化
公开(公告)号：US20050268305A1
公开(公告)日：2005-12-01
申请号：US10516609
申请日：2003-06-03
申请人： Mathew Hostetter , Benjamin Harrison
发明人： Mathew Hostetter , Benjamin Harrison
IPC分类号： G06F3/00
CPC分类号： G06F9/44521 , G06F8/41
摘要： Software atomization provides a method of loading atomized computer program code and data on demand by loading, from an atom database, into a memory, an atom defining code or data in a fine-grained, individually addressable manner. Atoms comprise an atom identifier, computer program code or data information and computer program code or data reference information. The computer program code or data information is modified by transforming the reference information into memory addresses. The present invention provides for the lazy loading of data both implicitly and explicitly. Data is lazily loaded implicitly when it is referenced from code that is lazily loaded. Data is lazily loaded explicitly by encoding a referencing atom identifier such that the referenced data atom is not loaded until actually accessed at runtime.
摘要翻译：软件雾化提供了一种通过从原子数据库加载到存储器中的原子化计算机程序代码和数据的方法，该原子以细粒度，可单独寻址的方式加载定义代码或数据。原子包括原子标识符，计算机程序代码或数据信息以及计算机程序代码或数据参考信息。通过将参考信息变换为存储器地址来修改计算机程序代码或数据信息。本发明提供了隐含地和明确地惰性地加载数据。当它被缓慢加载的代码引用时，数据被隐式加载。通过编码引用原子标识符来显式地加载数据，使得引用的数据原子不会在运行时实际访问之前加载。

6. 发明授权

US07877401B1 Pattern matching 有权
标题翻译：模式匹配
公开(公告)号：US07877401B1
公开(公告)日：2011-01-25
申请号：US11753315
申请日：2007-05-24
申请人： Mathew Hostetter , Kenneth M. Steele , Vijay Aggarwal
发明人： Mathew Hostetter , Kenneth M. Steele , Vijay Aggarwal
IPC分类号： G06F7/00 , G06F17/30
CPC分类号： G06F7/02 , G06F17/30985 , G06F2207/025
摘要： A method for processing data for pattern matching includes: receiving a first sequence of data values; and generating a second sequence of data values based on the first sequence and one or more patterns and history of data values in the first sequence, wherein the second sequence has fewer data values than the first sequence and all subsequences in the first sequence that match at least one of the one or more patterns are represented in the second sequence.
摘要翻译：一种用于处理模式匹配的数据的方法包括：接收第一数据值序列; 以及基于所述第一序列和所述第一序列中的数据值的一个或多个模式和历史来生成第二数据值序列，其中所述第二序列具有比所述第一序列更少的数据值，以及与所述第一序列匹配的所述第一序列中的所有子序列一个或多个图案中的至少一个在第二个序列中表示。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式