Simplifying installation of software modules on heterogeneous remote systems
    61.
    发明授权
    Simplifying installation of software modules on heterogeneous remote systems 有权
    简化在异构远程系统上安装软件模块

    公开(公告)号:US08341619B2

    公开(公告)日:2012-12-25

    申请号:US12464901

    申请日:2009-05-13

    CPC classification number: G06F8/61

    Abstract: An installer system provided according to an aspect of the present invention facilitates easy installation of software modules in a heterogeneous computing system in which many operating systems are installed in the remote systems. In an embodiment, the installer system performs different installation actions on different remote systems, depending on the specific operating system installed on the corresponding remote system and the specific software module being installed. Each installation action may be translated into one or more commands according to the syntax/semantics requirement of the respective operating system on the remote system.

    Abstract translation: 根据本发明的一个方面提供的一种安装系统有利于将软件模块简单地安装在其中许多操作系统安装在远程系统中的异构计算系统中。 在一个实施例中,安装程序系统根据安装在相应远程系统上的特定操作系统和正在安装的特定软件模块,对不同的远程系统执行不同的安装操作。 可以根据远程系统上相应操作系统的语法/语义要求将每个安装动作转换成一个或多个命令。

    General distributed reduction for data parallel computing
    62.
    发明授权
    General distributed reduction for data parallel computing 失效
    数据并行计算的通用分布式减少

    公开(公告)号:US08239847B2

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

    申请号:US12406842

    申请日:2009-03-18

    CPC classification number: H04L12/44 G06F8/456 G06F9/5066

    Abstract: General-purpose distributed data-parallel computing using high-level computing languages is described. Data parallel portions of a sequential program written in a high-level language are automatically translated into a distributed execution plan. Map and reduction computations are automatically added to the plan. Patterns in the sequential program can be automatically identified to trigger map and reduction processing. Direct invocation of map and reduction processing is also provided. One or more portions of the reduce computation are pushed to the map stage and dynamic aggregation is inserted when possible. The system automatically identifies opportunities for partial reductions and aggregation, but also provides a set of extensions in a high-level computing language for the generation and optimization of the distributed execution plan. The extensions include annotations to declare functions suitable for these optimizations.

    Abstract translation: 描述了使用高级计算语言的通用分布式数据并行计算。 以高级语言编写的顺序程序的数据并行部分将自动转换为分布式执行计划。 地图和缩小计算将自动添加到计划中。 顺序程序中的模式可以自动识别,以触发地图和缩小处理。 还提供了直接调用地图和缩小处理。 减少计算的一个或多个部分被推送到地图阶段,并且尽可能地插入动态聚合。 系统自动识别部分缩减和聚合的机会,但也提供了一组用于生成和优化分布式执行计划的高级计算语言的扩展。 扩展包括用于声明适合这些优化的函数的注释。

    METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR SECURE NEAR FIELD COMMUNICATION OF A NON-SECURE MEMORY ELEMENT PAYLOAD
    63.
    发明申请
    METHODS, SYSTEMS, AND COMPUTER READABLE MEDIA FOR SECURE NEAR FIELD COMMUNICATION OF A NON-SECURE MEMORY ELEMENT PAYLOAD 有权
    方法,系统和计算机可读介质,用于安全非现场通信的非安全存储元件支付

    公开(公告)号:US20120064828A1

    公开(公告)日:2012-03-15

    申请号:US13232736

    申请日:2011-09-14

    Abstract: According to one aspect, the subject matter described herein includes a method for secure near field communication (NFC) of a non-secure memory element payload. The method includes receiving, at an NFC enabled mobile device and from a content provider, a payload. The method also includes storing the received payload in a non-secure memory element of the NFC enabled mobile device. The method further includes transferring the stored payload from the non-secure memory element of the NFC enabled mobile device to a secure memory element of the NFC enabled mobile device, wherein transferring the stored payload includes loading the stored payload into a secure reloadable payload instance. The method further includes establishing a NFC link between the NFC enabled mobile device and an NFC reader. The method further includes communicating, via the NFC link, the transferred payload from the secure reloadable payload instance to the NFC reader.

    Abstract translation: 根据一个方面,本文描述的主题包括用于非安全存储器元件有效载荷的安全近场通信(NFC)的方法。 该方法包括在NFC功能的移动设备和内容提供商处接收有效载荷。 该方法还包括将接收到的有效载荷存储在支持NFC的移动设备的非安全存储器元件中。 所述方法还包括将所存储的有效载荷从支持NFC的移动设备的非安全存储器元件传送到支持NFC的移动设备的安全存储器元件,其中传送所存储的有效载荷包括将所存储的有效载荷加载到安全的可重新加载的有效载荷实例中。 该方法还包括在支持NFC的移动设备和NFC读取器之间建立NFC链路。 该方法还包括经由NFC链路将传送的有效负载从安全可加载有效载荷实例传送到NFC读取器。

    METHOD AND SYSTEM FOR EQUIVALENCE CHECKING
    64.
    发明申请
    METHOD AND SYSTEM FOR EQUIVALENCE CHECKING 有权
    等效检查方法与系统

    公开(公告)号:US20110288825A1

    公开(公告)日:2011-11-24

    申请号:US12785986

    申请日:2010-05-24

    CPC classification number: G06F17/505 G06F2217/78

    Abstract: As part of the design process it is required to design circuits in order to reduce their power consumption. This is typically done by enabling or disabling flip-flops (FFs), however, such change in the circuit requires certain verification. As sequential clock gating changes the state function it is necessary to perform a sequential equivalence checking (SEC) verification. Applying a full SEC may be runtime consuming and is not scalable for large designs. Methods to reduce the problem of verifying sequential clock gating by reducing the sequential problem into much smaller problem that can be easily solved is therefore shown.

    Abstract translation: 作为设计过程的一部分,需要设计电路以降低功耗。 这通常是通过启用或禁用触发器(FF)完成的,但是电路中的这种改变需要进行某些验证。 随着顺序时钟选通改变状态功能,有必要执行顺序等价检查(SEC)验证。 应用完整的SEC可能是运行时消耗的,并且对于大型设计不可扩展。 因此,示出了通过将顺序问题减少到可以容易地解决的更小的问题来减少验证顺序时钟门控的问题的方法。

    SIMPLIFYING INSTALLATION OF SOFTWARE MODULES ON HETEROGENEOUS REMOTE SYSTEMS
    65.
    发明申请
    SIMPLIFYING INSTALLATION OF SOFTWARE MODULES ON HETEROGENEOUS REMOTE SYSTEMS 有权
    简化在异质远程系统上安装软件模块

    公开(公告)号:US20100293541A1

    公开(公告)日:2010-11-18

    申请号:US12464901

    申请日:2009-05-13

    CPC classification number: G06F8/61

    Abstract: An installer system provided according to an aspect of the present invention facilitates easy installation of software modules in a heterogeneous computing system in which many operating systems are installed in the remote systems. In an embodiment, the installer system performs different installation actions on different remote systems, depending on the specific operating system installed on the corresponding remote system and the specific software module being installed. Each installation action may be translated into one or more commands according to the syntax/semantics requirement of the respective operating system on the remote system.

    Abstract translation: 根据本发明的一个方面提供的一种安装系统有利于将软件模块简单地安装在其中许多操作系统安装在远程系统中的异构计算系统中。 在一个实施例中,安装程序系统根据安装在相应远程系统上的特定操作系统和正在安装的特定软件模块,对不同的远程系统执行不同的安装操作。 可以根据远程系统上相应操作系统的语法/语义要求将每个安装动作转换成一个或多个命令。

    SOURCE CODE AUDITOR WITH A CUSTOMIZED RULES BUILDER
    66.
    发明申请
    SOURCE CODE AUDITOR WITH A CUSTOMIZED RULES BUILDER 审中-公开
    来源代码审查员与自定义的规则建筑

    公开(公告)号:US20100275183A1

    公开(公告)日:2010-10-28

    申请号:US12430895

    申请日:2009-04-28

    CPC classification number: G06F8/75

    Abstract: A method and apparatus for auditing source code are disclosed. In one embodiment, a method includes generating on a display of a computing device a flowchart of a customized rule for auditing source code of a programming language using a rules builder of the computing device in response to a node of the programming language and a command associated with the customized rule applied to the flowchart. The method also includes converting the customized rule into a specified data format using the rules builder in response to an export command for the customized rule. The method further includes analyzing candidate source code of the programming language using a rules engine of the computing device based on the customized rule in response to an audit command for the candidate source code.

    Abstract translation: 公开了一种用于审计源代码的方法和装置。 在一个实施例中,一种方法包括在计算设备的显示器上生成用于使用计算设备的规则构建器响应于编程语言的节点和相关联的命令来审计编程语言的源代码的自定义规则的流程图 使用自定义规则应用于流程图。 该方法还包括使用规则构建器响应自定义规则的导出命令将自定义规则转换为指定的数据格式。 该方法还包括响应于候选源代码的审计命令,基于自定义规则来分析使用计算设备的规则引擎的编程语言的候选源代码。

    Warm reboot enabled kernel dumper
    67.
    发明授权
    Warm reboot enabled kernel dumper 有权
    热启动启用内核转储器

    公开(公告)号:US07818616B2

    公开(公告)日:2010-10-19

    申请号:US11860510

    申请日:2007-09-24

    CPC classification number: G06F11/0778 G06F9/445 G06F11/0706 G06F11/1441

    Abstract: In one embodiment, a method of a kernel dumper module includes generating a dump file associated with a kernel when the kernel crashes, storing the dump file to a functional memory upon applying an overwrite protection to a core dump of the dump file, restarting the kernel through a warm reboot of the kernel such that the core dump is not erased from the functional memory, and transferring the core dump to a system file using the kernel.

    Abstract translation: 在一个实施例中,内核转储器模块的方法包括当内核崩溃时生成与内核相关联的转储文件,在向转储文件的核心转储应用覆盖保护时将转储文件存储到功能存储器中,重新启动内核 通过内核的热重启,使核心转储不会从功能内存中擦除,并使用内核将核心转储转移到系统文件。

    METHODS, SYSTEMS AND COMPUTER READABLE MEDIA FOR SELECTING AND DELIVERING ELECTRONIC VALUE CERTIFICATES USING A MOBILE DEVICE
    68.
    发明申请
    METHODS, SYSTEMS AND COMPUTER READABLE MEDIA FOR SELECTING AND DELIVERING ELECTRONIC VALUE CERTIFICATES USING A MOBILE DEVICE 审中-公开
    使用移动设备选择和传送电子价值证书的方法,系统和计算机可读介质

    公开(公告)号:US20100241494A1

    公开(公告)日:2010-09-23

    申请号:US12406916

    申请日:2009-03-18

    Abstract: Methods, systems, and computer readable media for selecting and delivering an electronic value certificate to a mobile device are disclosed. According to one aspect, the method includes utilizing a certificate selection device to generate electronic certificate selection information and providing the electronic certificate selection information and associated recipient data to a merchant server. From the merchant server, electronic value certificate data derived from the certificate selection information is received. The method also includes establishing a communications link with a mobile device corresponding to the recipient data. The electronic value certificate data is provisioned on the mobile device over the communications link via over the air (OTA) communications.

    Abstract translation: 公开了用于向移动设备选择和传递电子价值证书的方法,系统和计算机可读介质。 根据一个方面,所述方法包括利用证书选择装置生成电子证书选择信息,并向商家服务器提供电子证书选择信息和相关联的接收者数据。 从商家服务器接收从证书选择信息导出的电子价值证书数据。 该方法还包括与对应于接收者数据的移动设备建立通信链路。 通过空中通信(OTA)通信通过通信链路在移动设备上提供电子价值证书数据。

    VIRTUAL MACHINE ADDRESS MANAGEMENT
    69.
    发明申请
    VIRTUAL MACHINE ADDRESS MANAGEMENT 有权
    虚拟机地址管理

    公开(公告)号:US20100205304A1

    公开(公告)日:2010-08-12

    申请号:US12368489

    申请日:2009-02-10

    CPC classification number: H04L61/2015 G06F9/45558 G06F2009/45595

    Abstract: Apparatus, systems, and methods may operate to receive reports at a server node, the reports indicating a change in virtual machine status for virtual machines hosted on a virtual machine host node; and to allocate/de-allocate addresses to the virtual machines based on the change in virtual machine status and one or more policies. Some embodiments may operate to detect, at a virtual machine host node, a change in virtual machine status for virtual machines hosted on the host node; and to transmit reports to a server node from the host node, the reports indicating the change in virtual machine status, to enable the server node to allocate/de-allocate addresses to the virtual machines based on the change in virtual machine status and one or more policies. Additional apparatus, systems, and methods are disclosed.

    Abstract translation: 装置,系统和方法可以操作以在服务器节点处接收报告,所述报告指示虚拟机主机节点上托管的虚拟机的虚拟机状态的改变; 并根据虚拟机状态和一个或多个策略的变化来分配/取消分配给虚拟机的地址。 一些实施例可以操作以在虚拟机主机节点处检测主机节点上托管的虚拟机的虚拟机状态的变化; 并且将报告从主机节点传送到服务器节点,报告指示虚拟机状态的变化,以使得服务器节点能够基于虚拟机状态的变化来向虚拟机分配/去分配地址,以及一个或 更多的政策。 公开了附加装置,系统和方法。

    Method for obtaining improved fertility restorer lines for transgenic male sterile crop plants and a DNA construct for use in said method
    70.
    发明授权
    Method for obtaining improved fertility restorer lines for transgenic male sterile crop plants and a DNA construct for use in said method 有权
    用于获得改良的转基因雄性不育作物的育性恢复系的方法和用于所述方法的DNA构建体

    公开(公告)号:US07741541B2

    公开(公告)日:2010-06-22

    申请号:US10563571

    申请日:2003-07-07

    CPC classification number: C12N15/8289

    Abstract: A method for obtaining improved fertility restorer lines for male sterile crop plants and a DNA construct for use in said method are disclosed. The invention relates to the simultaneous use of two different gene sequences encoding the same protein product, one being the naturally occurring wild type sequence and the other sequence being generated by modification of the wild type sequence for expression in crop plants by using codon degeneracy to avoid homology between the two sequences at the DNA and mRNA levels, each of the said sequences being placed under independent transcriptional control of different overlapping plant tissue-specific regulatory elements in the same DNA construct.

    Abstract translation: 公开了一种用于获得雄性不育作物植物改良的育性恢复系的方法和用于所述方法的DNA构建体。 本发明涉及同时使用编码相同蛋白质产物的两种不同的基因序列,一种是天然存在的野生型序列,另一种是通过使用密码子简并性修饰用于在作物植物中表达的野生型序列产生的另一序列来避免 在DNA和mRNA水平上两个序列之间的同源性,每个所述序列被置于相同DNA构建体中不同重叠的植物组织特异性调节元件的独立转录控制下。

Patent Agency Ranking