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

1. 发明申请

US20100251212A1 Version Type Traversal 审中-公开
标题翻译：版本类型遍历
公开(公告)号：US20100251212A1
公开(公告)日：2010-09-30
申请号：US12413623
申请日：2009-03-30
申请人： Brian M. Grunkemeyer , Madhusudhan Talluri , Mauro M. Ottaviani , Mei-Chin Tsai , Brian K. Pepin
发明人： Brian M. Grunkemeyer , Madhusudhan Talluri , Mauro M. Ottaviani , Mei-Chin Tsai , Brian K. Pepin
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/71
摘要： A version traversal system for objects, such as types, may include a reference to another version of an object with the type definition. The reference may be used to identify an older or newer version of the object which may be in a different assembly and may have a different simple name. The version traversal system may be used to compile applications written for the first version but compiled with assemblies from the second version, as well as serializing and deserializing objects from one version to another. The version traversal system may enable two way communications between applications that use two versions of a set of assemblies. The reference may include a fully qualified name or other identifiers.
摘要翻译：对象（例如类型）的版本遍历系统可能包括对具有类型定义的对象的另一版本的引用。该参考可以用于标识可能在不同的组件中并且可以具有不同简单名称的对象的较旧或较新版本。版本遍历系统可用于编译针对第一版本编写的应用程序，但是使用第二版本的程序集进行编译，以及将对象从一个版本序列化和反序列化。版本遍历系统可以实现使用一组程序集的两个版本的应用程序之间的双向通信。该引用可能包括完全限定名称或其他标识符。

2. 发明授权

US07610322B2 Safe handle 有权
标题翻译：安全手柄
公开(公告)号：US07610322B2
公开(公告)日：2009-10-27
申请号：US10853420
申请日：2004-05-25
申请人： Brian M. Grunkemeyer , David Sebastien Mortenson , Rudi Martin , Sonja Keserovic , Mahesh Prakriya , Christopher W. Brumme
发明人： Brian M. Grunkemeyer , David Sebastien Mortenson , Rudi Martin , Sonja Keserovic , Mahesh Prakriya , Christopher W. Brumme
IPC分类号： G06F12/00 , G06F17/30 , G06F7/00 , G06F17/00 , G06F13/00 , G06F13/28
CPC分类号： G06F21/52 , Y10S707/99931 , Y10S707/99952 , Y10S707/99957
摘要： Enabling secure and efficient marshaling, utilization, and releasing of handles in either of an operating system or runtime environment includes wrapping a handle with a counter to tabulate a number of threads using currently using the handle. Thus, handle administration is implemented to circumvent potential security risks, avoid correctness problems, and foster more efficient handle releasing.
摘要翻译：在操作系统或运行时环境中实现安全有效的封送，利用和释放句柄包括使用当前使用句柄的带有计数器的句柄来制表数个线程。因此，执行处理管理以规避潜在的安全隐患，避免正确性问题，并促进更有效的处理释放。

4. 发明授权

US07571428B2 Reliability contracts 有权
标题翻译：可靠性合同
公开(公告)号：US07571428B2
公开(公告)日：2009-08-04
申请号：US10845679
申请日：2004-05-14
申请人： Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
发明人： Rudi Martin , Mahesh Prakriya , Brian M. Grunkemeyer , Christopher W. Brumme , Sean E. Trowbridge , Weiwen Liu
IPC分类号： G06F9/45
CPC分类号： G06F21/51 , G06F21/64
摘要： Reliability contracts declare an intent of executable code, and may be associated with at least a portion of the executable code. The intent of the executable code in the face of particular conditions may be declared for the use in any one of a programming, execution, or testing environment.
摘要翻译：可靠性合同声明可执行代码的意图，并且可以与可执行代码的至少一部分相关联。面向特定条件的可执行代码的意图可以被声明用于编程，执行或测试环境中的任何一个。

5. 发明授权

US07487380B2 Execution recovery escalation policy 有权
标题翻译：执行恢复升级策略
公开(公告)号：US07487380B2
公开(公告)日：2009-02-03
申请号：US10966333
申请日：2004-10-14
申请人： Christopher W Brumme , WeiWen Liu , Mahesh Prakriya , Sean E Trowbridge , Ian H Carmichael , Patrick H Dussud , Brian M Grunkemeyer
发明人： Christopher W Brumme , WeiWen Liu , Mahesh Prakriya , Sean E Trowbridge , Ian H Carmichael , Patrick H Dussud , Brian M Grunkemeyer
IPC分类号： G06F11/00
CPC分类号： G06F11/1482
摘要： Deterministic code execution may be recovered for programs or portions thereof by implementing a programmable policy on a system host to escalate the scope of a code discard based on various parameters.
摘要翻译：可以通过在系统主机上实施可编程策略以基于各种参数来升级代码丢弃的范围来为程序或其部分恢复确定性代码执行。

6. 发明授权

US08095513B2 Safe buffer 有权
标题翻译：安全缓冲区
公开(公告)号：US08095513B2
公开(公告)日：2012-01-10
申请号：US11422297
申请日：2006-06-05
申请人： Brian M. Grunkemeyer , Alessandro P. Catorcini , Anthony J. Moore
发明人： Brian M. Grunkemeyer , Alessandro P. Catorcini , Anthony J. Moore
IPC分类号： G06F7/00 , G06F12/00 , G06F17/30 , G06F17/00
CPC分类号： G06F12/0261 , G06F12/1441 , G06F21/53
摘要： A method and system for implementing a safe buffer is described herein. The method includes implementing a buffer class that ensures that accesses to memory are performed in a safe manner. The buffer class may be a handle to protected resources in memory. The buffer class may exploit methods to read and write to memory that ensures that read and writes are performed to valid memory locations within buffer bounds.
摘要翻译：本文描述了用于实现安全缓冲器的方法和系统。该方法包括实现缓冲器类，其确保以安全的方式执行对存储器的访问。缓冲区类可能是内存中受保护资源的句柄。缓冲区类可以利用读取和写入存储器的方法，确保读取和写入被执行到缓冲区边界内的有效内存位置。

7. 发明授权

US07610579B2 Critical finalizers 有权
标题翻译：关键的终结者
公开(公告)号：US07610579B2
公开(公告)日：2009-10-27
申请号：US11008831
申请日：2004-12-10
申请人： Sean E. Trowbridge , Brian M. Grunkemeyer , Christopher W. Brumme , Mahesh Prakriya , Patrick H. Dussud , Ian H. Carmichael
发明人： Sean E. Trowbridge , Brian M. Grunkemeyer , Christopher W. Brumme , Mahesh Prakriya , Patrick H. Dussud , Ian H. Carmichael
IPC分类号： G06F9/44
CPC分类号： G06F11/3664 , Y10S707/99953 , Y10S707/99956
摘要： A finalizer may include a notification that no tolerance for failure or corruption is expected. Any potential failure point, which may be induced by a runtime execution environment routine or subroutine that is associated with the finalizer may then be prepared apart from the finalizer.
摘要翻译：终结者可能会包含一个通知，即不会容忍失败或腐败的容忍。可能由与终结器相关联的运行时执行环境例程或子程序引发的任何潜在故障点可以与终结器分开准备。

8. 发明申请

US20090164973A1 CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION 有权
标题翻译：编码错误减少的合同编程
公开(公告)号：US20090164973A1
公开(公告)日：2009-06-25
申请号：US11963346
申请日：2007-12-21
申请人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
发明人： Michael Barnett , Manuel A. Fahndrich , Brian M. Grunkemeyer , Wolfram Schulte
IPC分类号： G06F9/44 , G06F9/45
CPC分类号： G06F8/41 , G06F8/51
摘要： In one embodiment, a computer system provides an application programming interface (API) for augmenting an application API. A computer system receives software code written in a second programming language indicating a user's intention to augment an application API with contracts from a contract API written in a first programming language. The software code includes a reference to the contract API. The contracts include assertions indicating appropriate use of the application API. The computer system accesses portions of the contract API according to the reference in the software code and compiles the received software code and the referenced portions of the contract API into an intermediate language (IL) version of the software code. The IL version is in an intermediate language common to both the first programming language and the second programming language. The IL version includes the assertions indicating appropriate use of the application API.
摘要翻译：在一个实施例中，计算机系统提供用于增加应用API的应用编程接口（API）。计算机系统接收以第二编程语言编写的软件代码，其指示用户使用以第一编程语言编写的合同API的契约来增加应用API的意图。软件代码包括对合同API的引用。合同包括指示适当使用应用程序API的断言。计算机系统根据软件代码中的参考来访问合同API的部分，并将接收到的软件代码和合同API的参考部分编译成软件代码的中间语言（IL）版本。 IL版本是与第一种编程语言和第二种编程语言相同的中间语言。 IL版本包括指示适当使用应用程序API的断言。

9. 发明申请

US20070283113A1 Safe Buffer 有权
标题翻译：安全缓冲区
公开(公告)号：US20070283113A1
公开(公告)日：2007-12-06
申请号：US11422297
申请日：2006-06-05
申请人： Brian M. Grunkemeyer , Alessandro P. Catorcini , Anthony J. Moore
发明人： Brian M. Grunkemeyer , Alessandro P. Catorcini , Anthony J. Moore
IPC分类号： G06F12/14
CPC分类号： G06F12/0261 , G06F12/1441 , G06F21/53
摘要： A method and system for implementing a safe buffer is described herein. The method includes implementing a buffer class that ensures that accesses to memory are performed in a safe manner. The buffer class may be a handle to protected resources in memory. The buffer class may exploit methods to read and write to memory that ensures that read and writes are performed to valid memory locations within buffer bounds.
摘要翻译：本文描述了用于实现安全缓冲器的方法和系统。该方法包括实现缓冲器类，其确保以安全的方式执行对存储器的访问。缓冲区类可能是内存中受保护资源的句柄。缓冲区类可以利用读取和写入存储器的方法，确保读取和写入被执行到缓冲区边界内的有效内存位置。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式