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

1. 发明申请

US20060123412A1 Self-describing artifacts and application abstractions 有权
标题翻译：自我描述的文物和应用程序抽象
公开(公告)号：US20060123412A1
公开(公告)日：2006-06-08
申请号：US11007808
申请日：2004-12-07
申请人： Galen Hunt , Thomas Roeder , James Larus , Manuel Fahndrich , John DeTreville , Steven Levi , Benjamin Zorn , Wolfgang Grieskamp
发明人： Galen Hunt , Thomas Roeder , James Larus , Manuel Fahndrich , John DeTreville , Steven Levi , Benjamin Zorn , Wolfgang Grieskamp
IPC分类号： G06F9/445
CPC分类号： G06F8/61
摘要： Described herein is at least one implementation employing multiple self-describing software artifacts persisted on one or more computer-storage media of a software-based computer. In this implementation, each artifact is representative of at least part of the software components (e.g., load modules, processes, applications, and operating system components) of the computing system and each artifact is described by at least one associated “manifest,” which include metadata declarative descriptions of the associated artifact.
摘要翻译：这里描述的是至少一个采用在基于软件的计算机的一个或多个计算机存储介质上持续存在的自描述软件工件的实现。在该实现中，每个工件代表计算系统的至少部分软件组件（例如，加载模块，进程，应用程序和操作系统组件），并且每个工件由至少一个相关联的“清单”描述，其中包括关联工件的元数据声明性描述。

2. 发明授权

US07451435B2 Self-describing artifacts and application abstractions 有权
标题翻译：自我描述的文物和应用程序抽象
公开(公告)号：US07451435B2
公开(公告)日：2008-11-11
申请号：US11007808
申请日：2004-12-07
申请人： Galen C. Hunt , Thomas Roeder , James R. Larus , Manuel Fahndrich , John D. DeTreville , Steven P. Levi , Benjamin Zorn , Wolfgang Grieskamp
发明人： Galen C. Hunt , Thomas Roeder , James R. Larus , Manuel Fahndrich , John D. DeTreville , Steven P. Levi , Benjamin Zorn , Wolfgang Grieskamp
IPC分类号： G06F9/44
CPC分类号： G06F8/61
摘要： Described herein is at least one implementation employing multiple self-describing software artifacts persisted on one or more computer-storage media of a software-based computer. In this implementation, each artifact is representative of at least part of the software components (e.g., load modules, processes, applications, and operating system components) of the computing system and each artifact is described by at least one associated “manifest,” which include metadata declarative descriptions of the associated artifact.
摘要翻译：这里描述的是至少一个采用在基于软件的计算机的一个或多个计算机存储介质上持续存在的自描述软件工件的实现。在该实现中，每个工件代表计算系统的至少部分软件组件（例如，加载模块，进程，应用程序和操作系统组件），并且每个工件由至少一个相关联的“清单”描述，其中包括关联工件的元数据声明性描述。

3. 发明申请

US20060123424A1 Inter-process communications employing bi-directional message conduits 有权
公开(公告)号：US20060123424A1
公开(公告)日：2006-06-08
申请号：US11007655
申请日：2004-12-07
申请人： Galen Hunt , James Larus , Manuel Fahndrich , Edward Wobber , Martin Abadi , John DeTreville
发明人： Galen Hunt , James Larus , Manuel Fahndrich , Edward Wobber , Martin Abadi , John DeTreville
IPC分类号： G06F9/46
CPC分类号： G06F9/546 , G06F2209/547
摘要： Described herein is an implementation of an inter-process communications technology. One or more implementations, described herein, facilitate creation of a bi-directional message conduit having exactly two endpoints. A first endpoint is owned by a first software process and a second endpoint is owned by a second software process. One or more implementations, described herein, maintain the bi-directional message conduit for passing multiple messages via the bi-directional message conduit from the first process to the second process, according to established rules that can be checked.

4. 发明申请

US20070094495A1 Statically Verifiable Inter-Process-Communicative Isolated Processes 审中-公开
标题翻译：可静态验证的进程间通信隔离进程
公开(公告)号：US20070094495A1
公开(公告)日：2007-04-26
申请号：US11428162
申请日：2006-06-30
申请人： Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
发明人： Galen Hunt , James Larus , Martin Abadi , Mark Aiken , Paul Barham , Manuel Fahndrich , Chris Hawblitzel , Orion Hodson , Steven Levi , Nicholas Murphy , Bjarne Steensgaard , David Tarditi , Edward Wobber , Brian Zill
IPC分类号： H04L9/00
CPC分类号： G06F9/544 , G06F9/468
摘要： Described herein are one or more implementations of an operating system that provides for statically verifiable inter-process communication between isolated processes. Also, described herein are one or more implementations of programming tools that facilitate the development of statically verifiable isolated processes having inter-process communication.
摘要翻译：这里描述了一种操作系统的一个或多个实现，该操作系统提供了隔离过程之间的静态可验证的进程间通信。此外，这里描述了一种或多种编程工具的实现方式，其有助于开发具有进程间通信的静态可验证的隔离进程。

5. 发明申请

US20060271917A1 State-based source code annotation 审中-公开
标题翻译：基于状态的源代码注释
公开(公告)号：US20060271917A1
公开(公告)日：2006-11-30
申请号：US11142604
申请日：2005-05-31
申请人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Yong Qu , Donn Scott Terry , Daniel Weise , Brian Hackett
发明人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Yong Qu , Donn Scott Terry , Daniel Weise , Brian Hackett
IPC分类号： G06F9/44
CPC分类号： G06F8/73 , G06F8/31
摘要： Techniques and tools relating to state-based source code annotation are described. For example, described techniques include flexible techniques for describing object states with annotations. In one aspect, properties of data structures in source code are described using state-defining code annotations. For example, specification structs can be used to describe an arbitrary set of states of objects, thereby improving the capabilities of the annotation language in terms of richness of program description. Specification structs also help to avoid annotating large numbers of individual fields in data structures by allowing several individual fields to be described by a single specification struct. Other aspects of a source code annotation language also are described.
摘要翻译：描述与基于状态的源代码注释相关的技术和工具。例如，所描述的技术包括用于通过注释描述对象状态的灵活技术。在一个方面，使用状态定义代码注释来描述源代码中数据结构的属性。例如，规范结构可用于描述对象的任意状态集合，从而在程序描述的丰富性方面提高注释语言的能力。规范结构也有助于通过允许由单个规范结构描述几个单独的字段来避免在数据结构中注释大量的单个字段。还描述了源代码注释语言的其他方面。

6. 发明授权

US07600232B2 Inter-process communications employing bi-directional message conduits 有权
标题翻译：使用双向消息通道的进程间通信
公开(公告)号：US07600232B2
公开(公告)日：2009-10-06
申请号：US11007655
申请日：2004-12-07
申请人： Galen C. Hunt , James R. Larus , Manuel Fahndrich , Edward P. Wobber , Martin Abadi , John D. DeTreville
发明人： Galen C. Hunt , James R. Larus , Manuel Fahndrich , Edward P. Wobber , Martin Abadi , John D. DeTreville
IPC分类号： G06F3/00 , G06F9/44 , G06F9/46 , G06F13/00
CPC分类号： G06F9/546 , G06F2209/547
摘要： Described herein is an implementation of an inter-process communications technology. One or more implementations, described herein, facilitate creation of a bi-directional message conduit having exactly two endpoints. A first endpoint is owned by a first software process and a second endpoint is owned by a second software process. One or more implementations, described herein, maintain the bi-directional message conduit for passing multiple messages via the bi-directional message conduit from the first process to the second process, according to established rules that can be checked.
摘要翻译：这里描述的是进程间通信技术的实现。本文描述的一个或多个实施方式有助于创建具有正好两个端点的双向消息导管。第一端点由第一软件进程拥有，第二端点由第二软件进程所拥有。根据已经可以检查的规则，本文描述的一个或多个实施方案维护双向消息管道，用于经由双向消息管道将多个消息从第一进程传递到第二进程。

7. 发明申请

US20050081192A1 Plug-in pre-and postconditions for static program analysis 有权
标题翻译：用于静态程序分析的插件前置和后置条件
公开(公告)号：US20050081192A1
公开(公告)日：2005-04-14
申请号：US10681759
申请日：2003-10-08
申请人： Robert DeLine , Manuel Fahndrich
发明人： Robert DeLine , Manuel Fahndrich
IPC分类号： G06F9/44
CPC分类号： G06F11/3604
摘要： A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static checking of the object code is provided. The system and method are based, at least in part, upon a framework that employs rules for using an interface to be recorded as declarative specifications in an existing language. A specifier can give a method a plug-in pre- and postcondition, which is arbitrary code that examines an object's current state and a static approximation of the method's actuals, decides whether the call is legal and returns the object's state after the call.
摘要翻译：提供了一种系统和方法，该系统和方法采用在源代码级指定的并保持状态（例如，在相关联的目标代码和/或规范库中）来促进目标代码的静态检查。系统和方法至少部分地基于使用将接口用于以现有语言记录为声明性规范的规则的框架。一个说明符可以给出一个插件前置和后置条件的方法，它是检查对象的当前状态的任意代码和方法实际的静态近似，决定调用是否合法，并在调用后返回对象的状态。

8. 发明申请

US20050076331A1 Source code annotation language 有权
标题翻译：源代码注释语言
公开(公告)号：US20050076331A1
公开(公告)日：2005-04-07
申请号：US10679254
申请日：2003-10-02
申请人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Daniel Weise , William Hudson , Sameet Agarwal , William Shihara , Hannes Ruescher , Spencer Low , F. Terek
发明人： Manuvir Das , Manuel Fahndrich , Ramanathan Venkatapathy , Daniel Weise , William Hudson , Sameet Agarwal , William Shihara , Hannes Ruescher , Spencer Low , F. Terek
IPC分类号： G06F9/44
CPC分类号： G06F11/328 , G06F11/3624
摘要： Techniques and tools for implementing a source code annotation language are described. In one aspect, keywords are added to a function interface to define a contract for the function independent of function call context. In another aspect, annotations are inserted at global variables, formal parameters, return values, or user-defined types. The annotations include, for example, properties and qualifiers. A property can indicate, for example, a characteristic of a buffer. In another aspect, an annotation indicates that a value has usability properties sufficient to allow a function to rely on the value, where the usability properties depend on value type.
摘要翻译：描述用于实现源代码注释语言的技术和工具。在一个方面，将关键字添加到功能界面中以定义与功能调用上下文无关的功能的契约。在另一方面，注释被插入到全局变量，形式参数，返回值或用户定义的类型中。注释包括例如属性和限定符。属性可以指示例如缓冲器的特性。在另一方面，注释表示一个值具有足够的可用性属性，以允许函数依赖该值，其中可用性属性取决于值类型。

9. 发明申请

US20050066319A1 Persisted specifications of method pre-and post-conditions for static checking 有权
标题翻译：用于静态检查的方法前后条件的固定规范
公开(公告)号：US20050066319A1
公开(公告)日：2005-03-24
申请号：US10667542
申请日：2003-09-22
申请人： Robert DeLine , Manuel Fahndrich
发明人： Robert DeLine , Manuel Fahndrich
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/433
摘要： A system and method employing pre- and/or post-condition(s) specified at a source code level and persisted (e.g., in associated object code and/or a specification repository) facilitating static checking of the object code is provided. The system and method are based, at least in part, upon a framework that employs rules for using an interface to be recorded as declarative specifications in an existing language. The system can employ a range of annotations that allow a developer to specify interface rule(s) with varying precision. At the simplest end of the range, a specifier can mark those methods that allocate and release resource(s). A specifier can also limit the order in which an object's methods may be called to the transitions of a finite state machine. At the more complex end of the range, a specifier can give a method a plug-in pre- and post condition, which is arbitrary code that examines an object's current state and a static approximation of the method's actuals, decides whether the call is legal and returns the object's state after the call.
摘要翻译：提供了一种系统和方法，该系统和方法采用在源代码级指定的并保持状态（例如，在相关联的目标代码和/或规范库中）来促进目标代码的静态检查。系统和方法至少部分地基于使用将接口用于以现有语言记录为声明性规范的规则的框架。系统可以使用一系列注释，允许开发人员以不同的精度指定接口规则。在范围的最简单的末尾，说明符可以标记分配和释放资源的方法。说明符也可以限制对象的方法可能被调用到有限状态机的转换的顺序。在范围更复杂的一端，一个指示符可以给出一个插件前后条件的方法，它是检查对象的当前状态的任意代码和方法实际的静态近似，决定呼叫是否合法并在调用后返回对象的状态。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式