知搜-全球专利检索

  1. 登录
  2. 注册

搜索结果

17 条记录 (耗时 0.017 秒)

    Observation and analysis based code optimization
    1.
    发明授权
    Observation and analysis based code optimization 有权
    基于观察和分析的代码优化

    公开(公告)号：US09195486B2

    公开(公告)日：2015-11-24

    申请号：US12847945

    申请日：2010-07-30

    申请人： Victor Leonel Hernandez Porras ,  Christopher Arthur Lattner ,  Jia-Hong Chen ,  Eric Marshall Christopher ,  Roger Scott Hoover ,  Francois Jouaux ,  Robert John McCall ,  Thomas John O'Brien ,  Pratik Solanki

    发明人： Victor Leonel Hernandez Porras ,  Christopher Arthur Lattner ,  Jia-Hong Chen ,  Eric Marshall Christopher ,  Roger Scott Hoover ,  Francois Jouaux ,  Robert John McCall ,  Thomas John O'Brien ,  Pratik Solanki

    IPC分类号： G06F9/45 ,  G06F9/455 ,  G06F11/30

    CPC分类号： G06F9/45525 ,  G06F8/4441 ,  G06F11/30

    摘要： Observation and analysis based optimization of software code is disclosed. An expected value is chosen for a dynamic attribute that cannot be determined, prior to execution of the associated software code, to be guaranteed to have that expected value at runtime. An optimized version of the software code is generated, including one or more optimizations based on an assumption that the dynamic attribute will have the expected value. Non-exhaustive examples of a dynamic attribute include a variable type; a location in memory; a location in which a global object, property, or variable is stored; the contents of a global function or method; and a value of a global property or variable. A check is performed during execution of the optimized version of the software code, prior to executing the portion that has been optimized based on the assumption, to verify that the dynamic attribute has the expected value. In the event that it is determined at runtime that the dynamic attribute does not have the expected value, execution reverts to backup code that is not based on the assumption that dynamic attribute will have the expected value.

    摘要翻译： 公开了基于观察和分析的软件代码优化。 为执行关联的软件代码之前无法确定的动态属性选择期望值，以确保在运行时具有该预期值。 生成软件代码的优化版本，包括基于动态属性将具有期望值的假设的一个或多个优化。 动态属性的非穷尽示例包括可变类型; 记忆中的位置 存储全局对象，属性或变量的位置; 全局函数或方法的内容; 和全局属性或变量的值。 在执行已经基于该假设优化的部分之前，在执行软件代码的优化版本期间执行检查，以验证动态属性具有期望值。 在运行时确定动态属性不具有预期值的情况下，执行将恢复为不基于动态属性具有期望值的假设的备份代码。

    System and method for incorporating an originating site into a security protocol for a downloaded program object
    2.
    发明授权
    System and method for incorporating an originating site into a security protocol for a downloaded program object 有权
    将起始站点并入到下载的程序对象的安全协议中的系统和方法

    公开(公告)号：US09137024B2

    公开(公告)日：2015-09-15

    申请号：US12821656

    申请日：2010-06-23

    申请人： Michael Alan Swingler ,  Thomas John O'Brien

    发明人： Michael Alan Swingler ,  Thomas John O'Brien

    IPC分类号： H04L29/06 ,  H04L9/32 ,  G06F21/51 ,  H04L9/00 ,  G06F21/64

    CPC分类号： H04L9/3265 ,  G06F21/51 ,  G06F21/64 ,  H04L9/007 ,  H04L63/12 ,  H04L63/123 ,  H04L63/126

    摘要： Disclosed herein are systems, methods, and non-transitory computer-readable storage media for verifying a digital object obtained from a remote host. A system configured to practice the method downloads a first object from a first remote source and presents the user with a first request to allow access to the first object. Upon user approval, a multitude of characteristics associated with the object are stored to facilitate future uses of the object. When a second object is downloaded from a second remote source, the system checks the database for a stored user approval. Access to the second object is allowed if the multitude of characteristics associated with the first and second objects match. If the system does not find a match, the user is presented with a second request to allow access to the object.

    摘要翻译： 这里公开了用于验证从远程主机获得的数字对象的系统，方法和非暂时的计算机可读存储介质。 被配置为练习该方法的系统从第一远程源下载第一对象并向用户呈现允许访问第一对象的第一请求。 在用户批准后，存储与对象相关联的许多特征以便于将来使用对象。 当从第二个远程源下载第二个对象时，系统将检查数据库以获取存储的用户批准。 如果与第一和第二对象相关联的众多特征匹配，则允许访问第二对象。 如果系统找不到匹配，则向用户呈现允许访问对象的第二请求。

    ELECTRONIC DATA INSURANCE MANAGEMENT SYSTEM AND METHOD
    3.
    发明申请
    ELECTRONIC DATA INSURANCE MANAGEMENT SYSTEM AND METHOD 审中-公开
    电子数据保险管理系统及方法

    公开(公告)号：US20140337061A1

    公开(公告)日：2014-11-13

    申请号：US14363496

    申请日：2011-12-07

    申请人： Christopher Roderick Olson ,  Ryan John Bothomley ,  Gerard Francis Mackie ,  Gregory Hugh Hodgkiss ,  Thomas John O'Brien

    发明人： Christopher Roderick Olson ,  Ryan John Bothomley ,  Gerard Francis Mackie ,  Gregory Hugh Hodgkiss ,  Thomas John O'Brien

    IPC分类号： G06Q40/08 ,  G06F11/14

    CPC分类号： G06Q40/08 ,  G06F11/1458

    摘要： An electronic data insurance management system may prompt a user, for a selected insurance product, to identify an indemnity level for insuring against loss to one or more electronic data sets, receive input identifying the indemnity level, and link an identifier for one of the one or more electronic data sets with a data insurance policy or policy certificate defined by the identified indemnity level. The system may also create a data storage account for the one of the one or more electronic data sets on a data management system using the identifier such that an association is formed between the data storage account and the data insurance policy or policy certificate.

    摘要翻译： 电子数据保险管理系统可以提示用户所选择的保险产品识别用于确保不损失一个或多个电子数据集的赔偿水平，接收识别赔偿级别的输入，以及链接一个 或更多具有由所识别的赔偿级别定义的数据保险单或策略证书的电子数据集。 系统还可以使用标识符在数据管理系统上为一个或多个电子数据集中的一个创建数据存储帐户，使得在数据存储帐户与数据保险单或策略证书之间形成关联。

    Delayed insertion of safepoint-related code
    4.
    发明授权
    Delayed insertion of safepoint-related code 有权
    延迟插入safepoint相关代码

    公开(公告)号：US08826253B2

    公开(公告)日：2014-09-02

    申请号：US12316729

    申请日：2008-12-15

    申请人： Victor Leonel Hernandez Porras ,  Roger Scott Hoover ,  Christopher Arthur Lattner ,  Thomas John O'Brien

    发明人： Victor Leonel Hernandez Porras ,  Roger Scott Hoover ,  Christopher Arthur Lattner ,  Thomas John O'Brien

    IPC分类号： G06F9/45 ,  G06F12/02

    CPC分类号： G06F8/443 ,  G06F12/0269

    摘要： Delayed insertion of safepoint related code is disclosed. Optimization processing is performed with respect to an intermediate representation of a source code. The optimized intermediate representation is analyzed programmatically to identify a safepoint and insert safepoint related code associated with the safepoint. In some embodiments, analyzing the optimized intermediate representation programmatically comprises determining where to place the safepoint within a program structure of the source code as reflected in the intermediate representation.

    摘要翻译： 公开了延迟插入保护点相关代码。 针对源代码的中间表示执行优化处理。 以编程方式分析优化的中间表示，以识别一个安全点，并插入与保护点相关联的保存点相关代码。 在一些实施例中，以编程方式分析优化的中间表示包括确定在中间表示中反映的将保存点放置在源代码的程序结构内的位置。

    SYSTEMS AND METHODS FOR DATA INSURANCE
    8.
    发明申请
    SYSTEMS AND METHODS FOR DATA INSURANCE 审中-公开
    数据保护的系统和方法

    公开(公告)号：US20110208548A1

    公开(公告)日：2011-08-25

    申请号：US13099678

    申请日：2011-05-03

    申请人： John Paul Conn ,  Thomas John O'Brien ,  Gregory Hugh Hodgkiss ,  Peter Kingsley Lake-Johns

    发明人： John Paul Conn ,  Thomas John O'Brien ,  Gregory Hugh Hodgkiss ,  Peter Kingsley Lake-Johns

    IPC分类号： G06Q40/00

    CPC分类号： G06Q40/02 ,  G06Q40/08

    摘要： An agreement is created between a first entity and a second entity under which the second entity agrees to provide data protection services for use by a third entity. A backup copy of the third entity's data is created and maintained at a location controlled by the second entity. If the third entity suffers a data loss, a replacement copy of the data is generated from the backup copy. The first entity provides compensation for the second entity's efforts to restore the third entity's lost data. If the second entity is unable to restore the data, the third entity is compensated for its data loss.

    摘要翻译： 在第一实体和第二实体之间创建协议，在该协议下，第二实体同意提供第三实体使用的数据保护服务。 第三实体的数据的备份副本被创建并维护在由第二实体控制的位置。 如果第三实体遭受数据丢失，则从备份副本生成数据的替换副本。 第一个实体为第二个实体恢复第三个实体丢失数据的努力提供了补偿。 如果第二个实体无法恢复数据，第三个实体将被补偿其数据丢失。