利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

20 条记录 (耗时 0.079 秒)

    Version Type Traversal
    1.
    发明申请
    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.

    摘要翻译： 对象（例如类型）的版本遍历系统可能包括对具有类型定义的对象的另一版本的引用。 该参考可以用于标识可能在不同的组件中并且可以具有不同简单名称的对象的较旧或较新版本。 版本遍历系统可用于编译针对第一版本编写的应用程序，但是使用第二版本的程序集进行编译，以及将对象从一个版本序列化和反序列化。 版本遍历系统可以实现使用一组程序集的两个版本的应用程序之间的双向通信。 该引用可能包括完全限定名称或其他标识符。

    Safe buffer
    7.
    发明授权
    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.

    摘要翻译： 本文描述了用于实现安全缓冲器的方法和系统。 该方法包括实现缓冲器类，其确保以安全的方式执行对存储器的访问。 缓冲区类可能是内存中受保护资源的句柄。 缓冲区类可以利用读取和写入存储器的方法，确保读取和写入被执行到缓冲区边界内的有效内存位置。

    CONTRACT PROGRAMMING FOR CODE ERROR REDUCTION
    9.
    发明申请
    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的断言。

    Safe Buffer
    10.
    发明申请
    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.

    摘要翻译： 本文描述了用于实现安全缓冲器的方法和系统。 该方法包括实现缓冲器类，其确保以安全的方式执行对存储器的访问。 缓冲区类可能是内存中受保护资源的句柄。 缓冲区类可以利用读取和写入存储器的方法，确保读取和写入被执行到缓冲区边界内的有效内存位置。