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

1. 发明授权

US07647587B2 Methods for enhancing type reconstruction 失效
标题翻译：增强型重建的方法
公开(公告)号：US07647587B2
公开(公告)日：2010-01-12
申请号：US10996730
申请日：2004-11-24
申请人： Todd B. Knoblock , Jakob Rehof
发明人： Todd B. Knoblock , Jakob Rehof
IPC分类号： G06F9/45
CPC分类号： G06F8/73
摘要： Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.
摘要翻译：讨论了增强程序类型重建的系统，方法和结构。尽管以前的方法不足以提供程序分析所需的一组类型，但是本发明的实施例可以接受任何可验证的字节码程序并且产生用于程序分析所需的一组类型。本发明的实施例提供了称为子类型完成的技术，其通过将子类型层级扩展到格子来转换子类型化系统。然而，这种转换仅插入最少量的元素，以便增强重构类型的计算。

2. 发明授权

US06907395B1 System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model 有权
公开(公告)号：US06907395B1
公开(公告)日：2005-06-14
申请号：US09696707
申请日：2000-10-24
申请人： Galen C. Hunt , Aamer Hydrie , Robert V. Welland , Bassam Tabbara , Steven P. Levi , Jakob Rehof
发明人： Galen C. Hunt , Aamer Hydrie , Robert V. Welland , Bassam Tabbara , Steven P. Levi , Jakob Rehof
IPC分类号： G06F9/44 , H04L9/00 , H04L12/24 , H04L29/08
CPC分类号： H04L41/069 , H04L41/0893 , H04L67/1002 , H04L67/1029 , H04L67/1031
摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

3. 发明授权

US07694276B2 Contracts and futures in an asynchronous programming language 失效
标题翻译：异步编程语言中的契约和期货
公开(公告)号：US07694276B2
公开(公告)日：2010-04-06
申请号：US10659221
申请日：2003-09-10
申请人： James R. Larus , Sriram K. Rajamani , Jakob Rehof
发明人： James R. Larus , Sriram K. Rajamani , Jakob Rehof
IPC分类号： G06F9/44
CPC分类号： G06F9/54 , G06F8/31
摘要： An asynchronous programming language that facilitates concurrent programming by utilizing futures, asynchronous calls, and joins on futures. For each of a client interface and a service interface of an asynchronous interface, respective models are automatically extracted. A behavioral contract is defined on the asynchronous interface. The client and service models are then passed to modular checking algorithm that checks to ensure that both the client and the service conform to the behavioral contract. The checking algorithm combines region-based type systems with model checking techniques to handle pointer aliasing in a sound manner.
摘要翻译：一种异步编程语言，通过利用期货，异步调用和期货合并来促进并发编程。对于异步接口的客户端接口和服务接口，自动提取各自的模型。在异步接口上定义了行为契约。然后将客户端和服务模型传递给模块化检查算法，以检查客户端和服务是否符合行为合同。检查算法将基于区域的类型系统与模型检查技术相结合，以良好的方式处理指针别名。

4. 发明授权

US06981249B1 Methods for enhancing type reconstruction 有权
标题翻译：增强型重建的方法
公开(公告)号：US06981249B1
公开(公告)日：2005-12-27
申请号：US09562665
申请日：2000-05-02
申请人： Todd B. Knoblock , Jakob Rehof
发明人： Todd B. Knoblock , Jakob Rehof
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/73
摘要： Systems, methods, and structures are discussed that enhance type reconstruction for programs. Whereas previous methods insufficiently provide the set of types necessary for program analysis, the embodiments of the present invention can accept any verifiable bytecode programs and produce a set of types needed for program analysis. The embodiments of the present invention provide a technique called subtype completion that transforms a subtyping system by extending its type hierarchy to a lattice. However, such transformation inserts only a minimal amount of elements so as to enhance the computation of reconstructed types.
摘要翻译：讨论了增强程序类型重建的系统，方法和结构。尽管以前的方法不足以提供程序分析所需的一组类型，但是本发明的实施例可以接受任何可验证的字节码程序并且产生用于程序分析所需的一组类型。本发明的实施例提供了称为子类型完成的技术，其通过将子类型层级扩展到格子来转换子类型化系统。然而，这种转换仅插入最少量的元素，以便增强重构类型的计算。

5. 发明授权

US06813761B1 Methods for enhancing flow analysis 有权
标题翻译：增强流量分析的方法
公开(公告)号：US06813761B1
公开(公告)日：2004-11-02
申请号：US09609494
申请日：2000-06-30
申请人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
发明人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
IPC分类号： G06F944
CPC分类号： G06F8/433
摘要： Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.
摘要翻译：描述了增强程序流程分析的方法和结构。尽管以前的方法由于存在函数指针而变得复杂，但是本方法提供了一个框架，它将函数指针抽象成是任何其他程序表达式，以便在期望的分析持续时间内允许所需的分析决策水平。本发明的一个方面包括从程序中推断出类型，根据类型形成类型图，并从类型图形成流图，以抑制不精确的路径，从而增强流分析的上下文敏感性。这些方法可以用于任何分析工具，如代码浏览器和切片工具。

6. 发明授权

US07526750B2 Object-based systematic state space exploration of software 失效
标题翻译：基于对象的系统状态空间探索软件
公开(公告)号：US07526750B2
公开(公告)日：2009-04-28
申请号：US10778969
申请日：2004-02-13
申请人： Anthony D. Andrews , Shaz Qadeer , Niels Jakob Rehof , Sriram K. Rajamani , Yichen Xie
发明人： Anthony D. Andrews , Shaz Qadeer , Niels Jakob Rehof , Sriram K. Rajamani , Yichen Xie
IPC分类号： G06F9/44 , G06F7/00
CPC分类号： G06F11/3608 , Y10S707/99944
摘要： The state space of modeled software can be explored using an object-based systematic state explorer. The object-based model can perform well even in light of the complexities of concurrent software. During state space exploration, differences between states can be stored instead of storing a complete copy of the state.
摘要翻译：可以使用基于对象的系统状态浏览器来探索建模软件的状态空间。基于对象的模型可以在并发软件的复杂性方面表现良好。在状态空间探索期间，可以存储状态之间的差异，而不是存储状态的完整副本。

7. 发明授权

US07203924B2 Behavioral analysis for message-passing application programs 失效
标题翻译：消息传递应用程序的行为分析
公开(公告)号：US07203924B2
公开(公告)日：2007-04-10
申请号：US10136680
申请日：2002-04-30
申请人： Jakob Rehof , Sriram K. Rajamani
发明人： Jakob Rehof , Sriram K. Rajamani
IPC分类号： G06F9/44
CPC分类号： G06F11/3608 , G06F9/546 , H04L29/06 , H04L67/10 , H04L67/40 , H04L69/329
摘要： A system and method for modeling a message-passing program module using type annotations is disclosed. The message-passing program module is constructed with operations that communicate with operations of other message-passing program modules in an asynchronous computing environment. Type annotations are communication protocols that represent processes of input and/or output actions that the program module developer expects each operation to perform or take on a selected set of communication channels. During development of the program module, the type annotations are declared at each operation of the program module. Soundness of the type annotations and whether implementation of the program module conforms to the type annotations is checked using a type system. If the program module is well-typed and well-implemented, the type system abstracts a behavioral module of the message-passing program module that reflects the relevant processes expressed by the type annotations. A model checker determines whether the behavioral module is in fact a valid abstraction of the implementation, and if so, evaluates one or more properties of the behavioral module to render a conclusion about these properties for the program module.
摘要翻译：公开了一种使用类型注释建模消息传递程序模块的系统和方法。消息传递程序模块由在异步计算环境中与其他消息传递程序模块的操作进行通信的操作构成。类型注释是表示程序模块开发者期望每个操作执行或占据所选择的一组通信信道的输入和/或输出动作的进程的通信协议。在开发程序模块期间，在程序模块的每个操作中声明类型注释。使用类型系统检查类型注释的声音以及程序模块的实现是否符合类型注释。如果程序模块是良好的类型和良好的实现，类型系统抽象反映由类型注释表示的相关进程的消息传递程序模块的行为模块。模型检查器确定行为模块是否实际上是实现的有效抽象，如果是，则评估行为模块的一个或多个属性以呈现关于程序模块的这些属性的结论。

8. 发明申请

US20050102538A1 System and method for designing a logical model of a distributed computer system and deploying physical resources according to the logical model 有权
公开(公告)号：US20050102538A1
公开(公告)日：2005-05-12
申请号：US11008685
申请日：2004-12-09
申请人： Galen Hunt , Aamer Hydrie , Robert Welland , Bassam Tabbara , Steven Levi , Jakob Rehof
发明人： Galen Hunt , Aamer Hydrie , Robert Welland , Bassam Tabbara , Steven Levi , Jakob Rehof
IPC分类号： G06F9/44 , H04L9/00 , H04L12/24 , H04L29/08
CPC分类号： H04L41/069 , H04L41/0893 , H04L67/1002 , H04L67/1029 , H04L67/1031
摘要： A system facilitates the design and implementation of large-scale applications, such as Internet Services and Websites, for distributed computer systems, such as server data centers, Internet data centers (IDCs), Web farms, and the like. The system has a modeling system and a deployment system. The modeling system permits developers to architect the hardware and software used to implement the applications in an abstract manner. The modeling system defines a set of components used to describe the functionality of an application. The model components are arranged and interconnected to form a scale-independent logical model of the application. Once a logical model is created, the deployment system uses the logical model to automatically deploy various computer/software resources to implement the application. The deployment system converts each of the model components into one or more instances that correspond to physical resources.

9. 发明授权

US07797669B1 Analysis of distributed software systems via specification substitution 有权
标题翻译：通过规范替代分析分布式软件系统
公开(公告)号：US07797669B1
公开(公告)日：2010-09-14
申请号：US10779002
申请日：2004-02-13
申请人： Niels Jakob Rehof , Anthony D. Andrews , Sriram K. Rajamani , Charles Antony Richard Hoare , Cédric Fournet
发明人： Niels Jakob Rehof , Anthony D. Andrews , Sriram K. Rajamani , Charles Antony Richard Hoare , Cédric Fournet
IPC分类号： G06F9/44
CPC分类号： G06F11/3668 , G06F8/10
摘要： A distributed software system of communicating software components can be tested for undesirable behavior. A specification of a component can be substituted in place of the component when testing a model of the distributed software system. Thus, the system can be checked to see if it exhibits undesirable behavior without having code for all components of the system. Also, a component can be checked to see if it is in conformance with its specification. If models built with respective components and substituted specifications indicate that the system does not exhibit undesirable behavior, and the components conform to their specifications, then a system assembled from the components will not exhibit the undesirable behavior. Thus, collaborative testing can be achieved, even if no one entity has access to code for the entire distributed system.
摘要翻译：可以测试传达软件组件的分布式软件系统的不良行为。在测试分布式软件系统的型号时，组件的规范可以替代组件。因此，可以检查系统以查看其是否显示不期望的行为，而不需要系统的所有组件的代码。此外，可以检查组件以查看其是否符合其规范。如果使用相应组件和替代规格构建的模型表明系统不表现出不良行为，并且组件符合其规范，则从组件组装的系统将不会显示不期望的行为。因此，即使没有一个实体可以访问整个分布式系统的代码，也可以实现协同测试。

10. 发明授权

US07500232B2 Methods for enhancing flow analysis 有权
标题翻译：增强流量分析的方法
公开(公告)号：US07500232B2
公开(公告)日：2009-03-03
申请号：US10834680
申请日：2004-04-29
申请人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
发明人： Manuvir Das , Manuel A. Fahndrich , Jakob Rehof
IPC分类号： G06F9/45
CPC分类号： G06F8/433
摘要： Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.
摘要翻译：描述了增强程序流程分析的方法和结构。尽管以前的方法由于存在函数指针而变得复杂，但是本方法提供了一个框架，它将函数指针抽象成是任何其他程序表达式，以便在期望的分析持续时间内允许所需的分析决策水平。本发明的一个方面包括从程序中推断出类型，根据类型形成类型图，并从类型图形成流图，以抑制不精确的路径，从而增强流分析的上下文敏感性。这些方法可以用于任何分析工具，如代码浏览器和切片工具。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式