Optimized code generation by eliminating unused virtual function
    1.
    发明授权
    Optimized code generation by eliminating unused virtual function 有权
    通过消除未使用的虚拟功能来优化代码生成

    公开(公告)号:US08887131B2

    公开(公告)日:2014-11-11

    申请号:US12073788

    申请日:2008-03-10

    IPC分类号: G06F17/30 G06F9/45 G06F9/44

    CPC分类号: G06F9/449 G06F8/4434

    摘要: The present invention relates to a method for reducing the object code size of an application that requires run-time dispatching of object oriented methods. The method comprises scanning an object file corresponding to the application for references to object oriented methods in a dispatch table that performs run-time object oriented method binding. The highest inheritance level associated with an object oriented method is found. All references to object oriented methods above the highest inheritance level are designated as unused. All references to object oriented methods below the highest inheritance level are designate as used. All references to object oriented methods that are designated as unused are deleted from the dispatch table.

    摘要翻译: 本发明涉及一种减少需要运行时调度面向对象方法的应用程序的目标代码大小的方法。 该方法包括扫描与应用程序相对应的对象文件,以便在执行面向对象的方法绑定的分派表中引用面向对象的方法。 找到与面向对象方法相关联的最高继承级别。 对最高继承级别以上的面向对象方法的所有引用都被指定为未使用。 所有对最高继承级别以下面向对象方法的引用都被指定为使用。 指定为未使用的面向对象的方法的所有引用都将从分派表中删除。

    Hardware communications infrastructure supporting location transparency and dynamic partial reconfiguration
    2.
    发明授权
    Hardware communications infrastructure supporting location transparency and dynamic partial reconfiguration 有权
    硬件通信基础设施支持位置透明度和动态部分重配置

    公开(公告)号:US08689244B2

    公开(公告)日:2014-04-01

    申请号:US12010516

    申请日:2008-01-25

    摘要: A communication system according to one aspect of the present invention, comprises one or more integrated circuits. The one or more integrated circuits comprise at least one of a local integrated circuit and a remote integrated circuit. At least one sending application hardware module located on the local integrated circuit has a sending logic that controls the sending of messages from the sending application hardware module. At least one receiving application hardware module is located on at least one of the local integrated circuit or remote integrated circuit. A sending application hardware module sends messages to a receiving application hardware module without its sending logic having been constructed with a priori knowledge of the address of or the path to said receiving application hardware module. A dispatch logic located on the local integrated circuit that routes at least one or more.

    摘要翻译: 根据本发明的一个方面的通信系统包括一个或多个集成电路。 一个或多个集成电路包括本地集成电路和远程集成电路中的至少一个。 位于本地集成电路上的至少一个发送应用硬件模块具有控制从发送应用硬件模块发送消息的发送逻辑。 至少一个接收应用硬件模块位于本地集成电路或远程集成电路中的至少一个上。 发送应用硬件模块向接收应用硬件模块发送消息,而其发送逻辑未被构建为对所述接收应用硬件模块的地址或路径的先验知识。 位于本地集成电路上的调度逻辑,路由至少一个或多个。

    Hardware communications infrastructure supporting location transparency and dynamic partial reconfiguration
    3.
    发明申请
    Hardware communications infrastructure supporting location transparency and dynamic partial reconfiguration 有权
    硬件通信基础设施支持位置透明度和动态部分重配置

    公开(公告)号:US20080229326A1

    公开(公告)日:2008-09-18

    申请号:US12010516

    申请日:2008-01-25

    IPC分类号: G06F9/44

    摘要: A communication system according to one aspect of the present invention, comprises one or more integrated circuits. The one or more integrated circuits comprise at least one of a local integrated circuit and a remote integrated circuit. At least one sending application hardware module located on the local integrated circuit has a sending logic that controls the sending of messages from the sending application hardware module. At least one receiving application hardware module is located on at least one of the local integrated circuit or remote integrated circuit. A sending application hardware module sends messages to a receiving application hardware module without its sending logic having been constructed with a priori knowledge of the address of or the path to said receiving application hardware module. A dispatch logic located on the local integrated circuit that routes at least one or more.

    摘要翻译: 根据本发明的一个方面的通信系统包括一个或多个集成电路。 一个或多个集成电路包括本地集成电路和远程集成电路中的至少一个。 位于本地集成电路上的至少一个发送应用硬件模块具有控制从发送应用硬件模块发送消息的发送逻辑。 至少一个接收应用硬件模块位于本地集成电路或远程集成电路中的至少一个上。 发送应用硬件模块向接收应用硬件模块发送消息,而其发送逻辑未被构建为对所述接收应用硬件模块的地址或路径的先验知识。 位于本地集成电路上的调度逻辑,路由至少一个或多个。

    System and method that uses cryptographic certificates to define groups of entities
    4.
    发明授权
    System and method that uses cryptographic certificates to define groups of entities 有权
    使用加密证书来定义实体组的系统和方法

    公开(公告)号:US08380981B2

    公开(公告)日:2013-02-19

    申请号:US12122352

    申请日:2008-05-16

    IPC分类号: H04L29/06

    摘要: A system and method for issuing a cryptographic certificate includes describing one or more prerequisite condition on the cryptographic certificate. The one or more prerequisite conditions comprise membership in one or more prerequisite group of entities. An entity may be a participant, a resource or a privilege, etc. The present invention also requires naming one or more target groups of entities on the cryptographic certificate. One or more prerequisite group stakeholder that authorizes an entity in the one or more prerequisite group of entities to be added as members in another group of entities sign the cryptographic certificate. The cryptographic certificate is also signed by one or more target group stakeholders that authorizes an entity to be added as a member of the one or more target groups. Exemplary prerequisite conditions relate to one or more of a membership in another group of entities, a physical characteristic, a temporal characteristic, a location characteristic or a position characteristic, among others.

    摘要翻译: 用于发布加密证书的系统和方法包括描述加密证书上的一个或多个先决条件。 一个或多个先决条件包括在一个或多个先决条件组的实体中的成员资格。 实体可以是参与者,资源或特权等。本发明还要求在加密证书上命名一个或多个目标实体组。 一个或多个先决条件组利益相关者授权一个或多个实体组中的实体在另一组实体中添加为成员,以签署加密证书。 加密证书还由一个或多个目标组利益相关者签署,授权一个实体作为一个或多个目标组的成员添加。 示例性先决条件涉及另一组实体中的成员资格,物理特征,时间特征,位置特征或位置特征等中的一个或多个。

    Partitioning communication system
    5.
    发明授权
    Partitioning communication system 有权
    分区通信系统

    公开(公告)号:US07474618B2

    公开(公告)日:2009-01-06

    申请号:US11125099

    申请日:2005-05-10

    IPC分类号: H04J1/16 H04L1/00

    摘要: A system and method for communicating data between two nodes defines a plurality of separate partitions on each node and assigns one or more subjects to at least one of the plurality of the separate partitions. The subjects in each node communicate data with each other over one or more channels. For communicating the data, the present invention separates data communications on a channel from that of other channels. More specifically, each node runs under the control of a separation kernel (SK) that partitions the nodes to define the subjects according to an SK configuration data. A partitioning communication system (PCS) separates the communications channels according to a PCS configuration data.

    摘要翻译: 用于在两个节点之间传送数据的系统和方法在每个节点上定义多个单独的分区,并将一个或多个主体分配给所述多个独立分区中的至少一个。 每个节点中的主体通过一个或多个信道彼此通信数据。 为了传送数据,本发明将信道上的数据通信与其他信道的数据通信分开。 更具体地,每个节点在分离核心(SK)的控制下运行,分离核(SK)根据SK配置数据分割节点以定义对象。 分区通信系统(PCS)根据PCS配置数据分离通信信道。

    System and method for accessing information resources using cryptographic authorization permits
    6.
    发明申请
    System and method for accessing information resources using cryptographic authorization permits 有权
    使用加密授权许可访问信息资源的系统和方法

    公开(公告)号:US20080250253A1

    公开(公告)日:2008-10-09

    申请号:US11783359

    申请日:2007-04-09

    IPC分类号: H04L9/32

    摘要: A system and method for securing information associates a party with a node that communicates messages over one or more channels based on a channel access privilege. One or more authorities sign a cryptographic authorization permit (CAP) to authorize the channel access privilege, which can be a write privilege or a read privilege. In one embodiment, the authorization for the channel access privilege is based on a public key issued by an authority and the CAP comprises a cryptographic certificate digitally signed by the authority.

    摘要翻译: 用于保护信息的系统和方法基于信道访问特权将一方与通过一个或多个信道传送消息的节点相关联。 一个或多个当局签署加密授权许可证(CAP)以授权通道访问权限,这可以是写权限或读权限。 在一个实施例中,信道访问特权的授权基于由主管机构发布的公共密钥,并且CAP包括由机构数字签名的密码证书。

    PARTITIONING COMMUNICATION SYSTEM
    7.
    发明申请
    PARTITIONING COMMUNICATION SYSTEM 审中-公开
    分区通信系统

    公开(公告)号:US20120215881A1

    公开(公告)日:2012-08-23

    申请号:US13280029

    申请日:2011-10-24

    IPC分类号: G06F15/16

    摘要: A system and method for communicating data between two nodes defines a plurality of separate partitions on each node and assigns one or more subjects to at least one of the plurality of the separate partitions. The subjects in each node communicate data with each other over one or more channels. For communicating the data, the present invention separates data communications on a channel from that of other channels. More specifically, each node runs under the control of a separation kernel (SK) that partitions the nodes to define the subjects according to an SK configuration data. A partitioning communication system (PCS) separates the communications channels according to a PCS configuration data.

    摘要翻译: 用于在两个节点之间传送数据的系统和方法在每个节点上定义多个单独的分区,并将一个或多个主体分配给所述多个独立分区中的至少一个。 每个节点中的主体通过一个或多个信道彼此通信数据。 为了传送数据,本发明将信道上的数据通信与其他信道的数据通信分开。 更具体地,每个节点在分离核心(SK)的控制下运行,分离核(SK)根据SK配置数据分割节点以定义对象。 分区通信系统(PCS)根据PCS配置数据分离通信信道。

    SYSTEM AND METHOD THAT USES CRYPTOGRAPHIC CERTIFICATES TO DEFINE GROUPS OF ENTITIES
    8.
    发明申请
    SYSTEM AND METHOD THAT USES CRYPTOGRAPHIC CERTIFICATES TO DEFINE GROUPS OF ENTITIES 有权
    使用拼写证明来确定实体组的系统和方法

    公开(公告)号:US20090287933A1

    公开(公告)日:2009-11-19

    申请号:US12122352

    申请日:2008-05-16

    IPC分类号: H04L9/00

    摘要: A system and method for issuing a cryptographic certificate comprises describing one or more prerequisite condition on the cryptographic certificate. The one or more prerequisite conditions comprise membership in one or more prerequisite group of entities. An entity may be a participant, a resource or a privilege, etc. The present invention also requires naming one or more target groups of entities on the cryptographic certificate. One or more prerequisite group stakeholder that authorizes an entity in the one or more prerequisite group of entities to be added as members in another group of entities sign the cryptographic certificate. The cryptographic certificate is also signed by one or more target group stakeholders that authorizes an entity to be added as a member of the one or more target groups. Exemplary prerequisite conditions relate to one or more of a membership in another group of entities, a physical characteristic, a temporal characteristic, a location characteristic or a position characteristic, among others.

    摘要翻译: 用于发布加密证书的系统和方法包括描述加密证书上的一个或多个先决条件。 一个或多个先决条件包括在一个或多个先决条件组的实体中的成员资格。 实体可以是参与者,资源或特权等。本发明还要求在加密证书上命名一个或多个目标实体组。 一个或多个先决条件组利益相关者授权一个或多个实体组中的实体在另一组实体中添加为成员,以签署加密证书。 加密证书还由一个或多个目标组利益相关者签署,授权一个实体作为一个或多个目标组的成员添加。 示例性先决条件涉及另一组实体中的成员资格,物理特征,时间特征,位置特征或位置特征等中的一个或多个。

    Optimized code generation by eliminating unused virtual function
    9.
    发明申请
    Optimized code generation by eliminating unused virtual function 有权
    通过消除未使用的虚拟功能来优化代码生成

    公开(公告)号:US20090138847A1

    公开(公告)日:2009-05-28

    申请号:US12073788

    申请日:2008-03-10

    IPC分类号: G06F9/44 G06F9/45

    CPC分类号: G06F9/449 G06F8/4434

    摘要: The present invention relates to a method for reducing the object code size of an application that requires run-time dispatching of object oriented methods. The method comprises scanning an object file corresponding to the application for references to object oriented methods in a dispatch table that performs run-time object oriented method binding. The highest inheritance level associated with an object oriented method is found. All references to object oriented methods above the highest inherence level are designated as unused. All references to object oriented methods below the highest inherence level are designate as used. All references to object oriented methods that are designated as unused are deleted from the dispatch table.

    摘要翻译: 本发明涉及一种减少需要运行时调度面向对象方法的应用程序的目标代码大小的方法。 该方法包括扫描与应用程序相对应的对象文件,以便在执行面向对象的方法绑定的分派表中引用面向对象的方法。 找到与面向对象方法相关联的最高继承级别。 所有对最高干涉级别以上的面向对象方法的引用都被指定为未使用。 所有对低于最高干涉级别的面向对象方法的引用都被指定为使用。 指定为未使用的面向对象的方法的所有引用都将从分派表中删除。

    PARTITIONING COMMUNICATION SYSTEM
    10.
    发明申请
    PARTITIONING COMMUNICATION SYSTEM 有权
    分区通信系统

    公开(公告)号:US20090089358A1

    公开(公告)日:2009-04-02

    申请号:US12327490

    申请日:2008-12-03

    IPC分类号: G06F15/16 H04L9/00 G06F21/00

    摘要: A system and method for communicating data between two nodes defines a plurality of separate partitions on each node and assigns one or more subjects to at least one of the plurality of the separate partitions. The subjects in each node communicate data with each other over one or more channels. For communicating the data, the present invention separates data communications on a channel from that of other channels. More specifically, each node runs under the control of a separation kernel (SK) that partitions the nodes to define the subjects according to an SK configuration data. A partitioning communication system (PCS) separates the communications channels according to a PCS configuration data.

    摘要翻译: 用于在两个节点之间传送数据的系统和方法在每个节点上定义多个单独的分区,并将一个或多个主体分配给所述多个独立分区中的至少一个。 每个节点中的主体通过一个或多个信道彼此通信数据。 为了传送数据,本发明将信道上的数据通信与其他信道的数据通信分开。 更具体地,每个节点在分离核心(SK)的控制下运行,分离核(SK)根据SK配置数据分割节点以定义对象。 分区通信系统(PCS)根据PCS配置数据分离通信信道。