Artifact deployment
    62.
    发明授权

    公开(公告)号:US09934018B2

    公开(公告)日:2018-04-03

    申请号:US12728242

    申请日:2010-03-21

    IPC分类号: G06F15/16 G06F9/445

    CPC分类号: G06F8/65

    摘要: A computing device communicates with a different computing device over a network. The computing device and the different computing device communicate with one another in a peer-to-peer architecture such that the computing device and the different computing device are peers to one another. An agent is executed on the computing device and receives an artifact deployed at the different computing device for deployment at the computing device. The agent receives the artifact via a user-initiated command. A run-time engine is executed on the computing device at which the artifact is to be deployed. After the user-initiated command has been triggered, the agent receives and deploys the artifact without further user interaction.

    Efficient backup and restore of virtual input/output server (VIOS) cluster
    63.
    发明授权
    Efficient backup and restore of virtual input/output server (VIOS) cluster 有权
    虚拟输入/输出服务器(VIOS)集群的高效备份和还原

    公开(公告)号:US09031917B2

    公开(公告)日:2015-05-12

    申请号:US13621217

    申请日:2012-09-15

    摘要: A method enables cluster-level backup and restore functionality of all Virtual Input/Output Server (VIOS) configuration data within a VIOS cluster and the data of a shared VIOS cluster database. The method comprises: performing, via a backup/restore utility of a VIOS partition, a cluster level backup, which creates a first VIOS cluster configuration backup file having configuration information about hardware, logical and virtual devices of each VIOS partition within a VIOS cluster and all cluster data from the shared VIOS database of the VIOS cluster; storing the VIOS cluster configuration backup file within a storage location; and responsive to receipt of a VIOS restore command at a VIOS partition: retrieving the configuration backup file from the storage location; restoring a configuration of the hardware, logical and virtual devices of each VIOS within the VIOS cluster to prior state; and restoring the shared VIOS database with the backed-up cluster data.

    摘要翻译: 一种方法可以实现VIOS群集中所有虚拟输入/输出服务器(VIOS)配置数据的集群级备份和还原功能以及共享VIOS群集数据库的数据。 该方法包括:通过VIOS分区的备份/恢复实用程序执行集群级备份,创建一个第一个VIOS集群配置备份文件,该备份文件具有有关VIOS集群中每个VIOS分区的硬件,逻辑和虚拟设备的配置信息,以及 来自VIOS群集的共享VIOS数据库的所有群集数据; 将VIOS集群配置备份文件存储在存储位置内; 并响应于在VIOS分区接收到VIOS恢复命令:从存储位置检索配置备份文件; 将VIOS集群内的每个VIOS的硬件,逻辑和虚拟设备的配置恢复到先前状态; 并使用备份的群集数据恢复共享的VIOS数据库。

    Controlling compiler optimizations
    64.
    发明授权
    Controlling compiler optimizations 失效
    控制编译器优化

    公开(公告)号:US08429635B2

    公开(公告)日:2013-04-23

    申请号:US12607198

    申请日:2009-10-28

    IPC分类号: G06F9/45

    摘要: In an embodiment, a conditional branch is detected that selects between execution of a first alternative block and a second alternative block. A first count and a second count are saved, where the first count is a number of times the first alternative block was executed, and the second count is a number of times the second alternative block was executed. If the first count is greater than a threshold and the second count equals zero, the first alternative block is compiled into first alternative block object code and the second alternative block is not compiled. If the first count is not greater than the threshold, the first alternative block is compiled into the first alternative block object code and the second alternative block is compiled into second alternative block object code.

    摘要翻译: 在一个实施例中,检测到在第一替代块的执行和第二替代块之间进行选择的条件分支。 保存第一计数和第二计数,其中第一计数是执行第一替代块的次数,第二计数是执行第二替代块的次数。 如果第一计数大于阈值并且第二计数等于零,则将第一替代块编译为第一替代块对象代码,并且第二替代块未被编译。 如果第一计数不大于阈值,则将第一替代块编译为第一替代块对象代码,并将第二替代块编译为第二替代块对象代码。

    Method and apparatus for reliable mashup
    65.
    发明授权
    Method and apparatus for reliable mashup 失效
    用于可靠混搭的方法和设备

    公开(公告)号:US08316079B2

    公开(公告)日:2012-11-20

    申请号:US12430252

    申请日:2009-04-27

    IPC分类号: G06F15/16

    CPC分类号: G06Q10/10

    摘要: A method and apparatus for reliable mashup. The method includes the steps of: intercepting a data update request submitted by a client browser to one or more of a plurality of services for providing mashup page data; performing consistency validation on the data update request using consistency rules; and, in response to a successful validation, forwarding the data update request to the one or more of the plurality of services.

    摘要翻译: 一种可靠混搭的方法和装置。 该方法包括以下步骤:将由客户机浏览器提交的数据更新请求截取到多个服务中的一个或多个以提供mashup页数据; 使用一致性规则对数据更新请求执行一致性验证; 并且响应于成功的验证,将数据更新请求转发到多个服务中的一个或多个。

    Host cell spatially aware emulation of a guest wild branch
    66.
    发明授权
    Host cell spatially aware emulation of a guest wild branch 有权
    宿主细胞空间感知仿真客人野生分支

    公开(公告)号:US08301434B2

    公开(公告)日:2012-10-30

    申请号:US12562520

    申请日:2009-09-18

    IPC分类号: G06F9/455

    CPC分类号: G06F12/1027 G06F9/45554

    摘要: A instructions of a Guest program to be emulated by a Host computer occupy one or more Guest cells of Guest memory, each Guest cell having a corresponding Host cell in Host memory. The emulator selects a Host cell for emulating a Guest instruction. When the Host cell corresponds to a Guest cell other than a cell aligned with the beginning of the Guest instruction, a wild branch handling routine is executed.

    摘要翻译: 由主机计算的客户程序的指令占用Guest存储器的一个或多个Guest单元,每个Guest单元在主机存储器中具有相应的主机单元。 仿真器选择一个宿主单元来模拟Guest指令。 当Host单元对应于与Guest指令开始对齐的单元格以外的Guest单元时,执行野分支处理程序。

    VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS
    67.
    发明申请
    VERIFICATION TECHNIQUES FOR LIVENESS CHECKING OF LOGIC DESIGNS 有权
    用于验证逻辑设计的验证技术

    公开(公告)号:US20120216159A1

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

    申请号:US13403799

    申请日:2012-02-23

    IPC分类号: G06F17/50

    CPC分类号: G06F17/504

    摘要: A technique for verification of a logic design using a liveness-to-safety conversion includes assigning liveness gates for liveness properties of a netlist and assigning a single loop gate to provide a loop signal for the liveness gates. Assertion of the single loop gate is prevented when none of the liveness gates are asserted. A first state of the netlist is sampled and the sampled first state provides an initial state for a first behavioral loop for at least one of the liveness gates following the assertion of the single loop gate. The sampled first state of the first behavioral loop is compared with a later state of the first behavioral loop to determine if the sampled first state is repeated. A liveness violation is returned when the sampled first state is repeated and an associated one of the liveness gates remains asserted for a duration of the first behavioral loop.

    摘要翻译: 用于验证使用安全性转换的逻辑设计的技术包括为网表的活动属性分配活动门,并分配单个循环门以为活跃门提供循环信号。 当没有活动门被断言时,防止单回路门的断言。 对网表的第一状态进行采样,并且采样的第一状态为在单循环门的断言之后的活动门中的至少一个为第一行为环提供初始状态。 将第一行为循环的采样第一状态与第一行为循环的稍后状态进行比较,以确定是否重复采样的第一状态。 当重复采样的第一状态并且在第一行为循环的持续时间内相关联的一个活动门保持断言时,返回活动违反。

    Providing updated versions of printed documents from two-dimensional barcodes associated with the updated versions
    68.
    发明授权
    Providing updated versions of printed documents from two-dimensional barcodes associated with the updated versions 有权
    从与更新版本相关联的二维条形码提供打印文档的更新版本

    公开(公告)号:US08164801B2

    公开(公告)日:2012-04-24

    申请号:US12252979

    申请日:2008-10-16

    申请人: Robert S. Hoblit

    发明人: Robert S. Hoblit

    IPC分类号: H04N1/04

    摘要: Providing an updated version of a printed document comprising storing data for generating an original version of a printed document, including a two-dimensional barcode that contains: data identifying the original version of the document, as well as at least a portion of the data for generating the original version of the document. The invention also enables the updating of the stored data so that a later version of the printed document may be generated including a new barcode for identifying and generating the later version. The barcode of a version of the document is scanned to determine if the scanned barcode identifies the later version of the document. If the barcode does not identify the later version, then the later version of the document is generated and printed. If the barcode does identify that the scanned document is the later version, the document is not printed and the user may be notified that the scanned version is the latest version.

    摘要翻译: 提供打印文档的更新版本,包括存储用于生成打印文档的原始版本的数据,包括二维条形码,其包含:识别文档的原始版本的数据,以及用于 生成文档的原始版本。 本发明还能够更新所存储的数据,使得可以生成更新版本的打印文档,包括用于识别和生成更新版本的新条形码。 扫描文档版本的条形码以确定扫描的条形码是否识别文档的更新版本。 如果条形码未识别更高版本,则生成并打印文档的更新版本。 如果条形码确定扫描的文档是更高版本,则不打印文档,并且可能会通知用户扫描的版本是最新版本。

    Dynamic address translation with DAT protection
    69.
    发明授权
    Dynamic address translation with DAT protection 有权
    动态地址转换与DAT保护

    公开(公告)号:US08019964B2

    公开(公告)日:2011-09-13

    申请号:US11972715

    申请日:2008-01-11

    IPC分类号: G06F12/16

    摘要: What is provided is an enhanced dynamic address translation facility. In one embodiment, a virtual address to be translated and an initial origin address of any one of a region first table, a region second table, a region third table, or a segment table are obtained. Based on the obtained initial origin address, a segment table entry is obtained which contains a format control and DAT protection fields. If the format control field is enabled, obtaining from the translation table entry a segment-frame absolute address of a large block of data in main storage. The segment-frame absolute address is combined with a page index portion and a byte index portion of the virtual address to form a translated address of the desired block of data. If the DAT protection field is not enabled, fetches and stores are permitted to the desired block of data addressed by the translated virtual address.

    摘要翻译: 提供的是增强的动态地址转换设施。 在一个实施例中,获得要转换的虚拟地址和区域第一表,区域秒表,区域第三表或段表中的任何一个的初始起始地址。 基于获得的初始起始地址,获得包含格式控制和DAT保护字段的段表条目。 如果格式控制字段被使能,则从转换表条目获得主存储器中的大块数据的段帧绝对地址。 分段帧绝对地址与虚拟地址的页索引部分和字节索引部分组合,以形成所需数据块的转换地址。 如果DAT保护字段未被使能,则获取和存储被允许被转换的虚拟地址寻址的所需数据块。

    Sharing of subscriptions to resource list content in resource list server
    70.
    发明授权
    Sharing of subscriptions to resource list content in resource list server 失效
    在资源列表服务器中共享资源列表内容的订阅

    公开(公告)号:US07979567B2

    公开(公告)日:2011-07-12

    申请号:US12336885

    申请日:2008-12-17

    IPC分类号: G06F15/16

    CPC分类号: G06F21/10

    摘要: A method for sharing subscriptions to the content of a resource list includes creating a first subscription to the content of the resource list upon receipt of a first subscription request for the presence state of the list from a first user; receiving a second presence subscription request for the resource list from a second user; sending a one-time request with the identity of the second subscribing user to an XCAP server; receiving an authorization response related to the one-time request; and creating a super user subscription to the content of the resource list, the super user subscription used to provide presence state information about the list members to the first user and the second user.

    摘要翻译: 用于共享对资源列表的内容的订阅的方法包括:从第一用户接收到针对列表的存在状态的第一订阅请求时,创建对资源列表的内容的第一订阅; 从第二用户接收资源列表的第二存在订阅请求; 将具有第二订阅用户的身份的一次性请求发送到XCAP服务器; 接收与一次性请求相关的授权响应; 以及创建对所述资源列表的内容的超级用户订阅,所述超级用户订阅用于向所述第一用户和所述第二用户提供关于所述列表成员的存在状态信息。