Abstract:
A method and apparatus for software-based control flow checking for soft error detection. In one embodiment, the method includes the instrumentation of one basic block of a target program to update a signature register with a successor basic block signature at an end of the basic block. In addition, the basic block is instrumented to verify that contents of the signature register match a basic block signature at a beginning of the basic block. In one embodiment, an instruction is inserted within the basic block to cause the signature register to store a predetermined value if the contents of the signature register match a basic block signature. In one embodiment, a basic block may be subdivided into a plurality of regions; each region is assigned a signature and instrumented to update the signature register at a beginning of each region. Other embodiments are described and claimed.
Abstract:
An apparatus comprises a casing, an electrical magnet provided within the casing to produce an alternating magnetic field, an oscillating device actuated by the induced alternating magnetic field, a suction and exhaust device connected with the oscillating device, a massage device driven by the oscillating device and a nail file connected with and actuated by the oscillating device. The apparatus can perform selectively any or all of the functions of suction, exhaust, massage, and nail filing at the same time.
Abstract:
An apparatus and method for redundant transient fault detection. In one embodiment, the method includes the replication of an application into two communicating threads, a leading thread and a trailing thread. The trailing thread may repeat computations performed by the leading thread to detect transient faults, referred to herein as “soft errors.” A first in, first out (FIFO) buffer of shared memory is reserved for passing data between the leading thread and the trailing thread. The FIFO buffer may include a buffer head variable to write data to the FIFO buffer and a buffer tail variable to read data from the FIFO buffer. In one embodiment, data passing between the leading thread data buffering is restricted according to a data unit size and thread synchronization between a leading thread and the trailing thread is limited to buffer overflow/underflow detection. Other embodiments are described and claimed.
Abstract:
A method and apparatus for dynamic binary translator to support precise exceptions with minimal optimization constraints. In one embodiment, the method includes the translation of a source binary application generated for a source instruction set architecture (ISA) into a sequential, intermediate representation (IR) of the source binary application. In one embodiment, the sequential IR is modified to incorporate exception recovery information for each of the exception instructions identified from the source binary application to enable a dynamic binary translator (DBT) to represent exception recovery values as regular values used by IR instructions. In one embodiment, the sequential IR may be optimized with a constraint on movement of an exception instruction downward past an irreversible instruction to form a non-sequential IR. In one embodiment, the non-sequential IR is optimized to form a translated binary application for a target ISA. Other embodiments are described and claimed.
Abstract:
An inflatable pool which comprises a base sheet and a hollow-shaped inflatable wall having its bottom end heat-sealed to the edge of the base sheet. The wall is provided with outer heat seal seams and inner heat seal seams which are extending axially and dividing the wall into a plurality of elongated air compartments intercommunicated and structurally interconnected. The outer heat seal seams are staggered with respect to the inner heat seal seams and the upper portion of the wall is a continuous seal free portion.
Abstract:
An apparatus comprises a casing, an electrical magnet provided within the casing to produce an alternating magnetic field, an oscillating device actuated by the induced alternating magnetic field, a suction and exhaust device connected with the oscillating device, a massage device driven by the oscillating device and a nail file connected with and actuated by the oscillating device. The apparatus can perform selectively any or all of the functions of suction, exhaust, massage, and nail filing at the same time.
Abstract:
An apparatus and method is described herein for coupling a processor core of a first type with a co-designed core of a second type. Execution of program code on the first core is monitored and hot sections of the program code are identified. Those hot sections are optimize for execution on the co-designed core, such that upon subsequently encountering those hot sections, the optimized hot sections are executed on the co-designed core. When the co-designed core is executing optimized hot code, the first processor core may be in a low-power state to save power or executing other code in parallel. Furthermore, multiple threads of cold code may be pipelined on the first core, while multiple threads of hot code are pipeline on the co-designed core to achieve maximum performance.
Abstract:
A steering apparatus for an inflatable raft is disclosed. The apparatus substantially includes a transmission member having a transmission shaft formed thereon, a driving member having a driving shaft formed thereon which is co-axially arranged with the transmission shaft, a coupler having a central bore in the same shape as that of the transmission and driving shafts and movably sleeved thereon, a bias member biasing between the coupler and either of the transmission and driving members, and an actuating member for causing the coupler to move from an original engaged position to a disengaged position. When the user of the raft controls the steering apparatus at either side of the raft, the impellers at the side of the controlled apparatus will stop turning along with the manipulation of the pedals by the user so as to achieve an alternation of the moving direction of the raft.
Abstract:
An inflatable article includes at least one first gas impervious flexible sheet formed into an inflatable envelope having at least one heat-sealed edge by heat sealing, and at least one second sheet heat sealed to the first sheet to form an additional air compartment, wherein the second sheet has at least one marginal edge which is heat sealed along the heat sealed edge or along a seam adjacent to the heat sealed-edge with an adjacent portion thereof extending over the heat-sealed edge. The additional air compartment expands over and conceals the heat-sealed edge upon inflation.