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:
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:
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:
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:
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:
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:
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:
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:
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:
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.