Abstract: A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.

Abstract: Method, system and product for post silicon validation using a partial reference model. The method performed by a device having registers, the method comprising: first executing, by the device when operating in trace mode, a test-case, wherein during the execution utilizing a partial reference model to determine an expected value of at least one register; second executing, by the device when operating in non-trace mode, the test-case; and in response to said second executing, checking values of registers based on, at least in part, values determined during said first execution.

Abstract: A method, apparatus and product for hardware verification using acceleration platform. The method comprising executing a first post-silicon testing program by a reference model, wherein during said executing the first post-silicon testing program one or more test-cases are generated; generating a second post-silicon testing program that is configured to execute the one or more test-cases; and executing the second post-silicon testing program on an acceleration platform.

Abstract: An online service may maintain or create data for a user, and a user may be allowed to exert control over how the data are used. In one example, there may be several categories of data, and the user may be able to specify who may use the data, and the purpose for which the data may be used. Additionally, a user may be able to see how many of his “friends” (or other contacts) have extended trust to a particular entity, which may aid the user in making a decision about whether to extend trust to that entity. User interfaces may be provided to allow users to specify how their data are to be used.

Abstract: A computer-implemented method and apparatus, comprising: having a plurality of processing entities operating substantially concurrently in a computerized platform enabling transaction operations, wherein the plurality of processing entities comprise two or more entities adapted to store values, and one or more entity adapted to load values, wherein each writing entity is associated with a private memory location within a memory unit; storing symbols into an associated target memory location by each of the entities adapted to store values, wherein symbols are stored according to a predetermined order, wherein a symbol is stored using a transaction; loading a multiplicity of private memory locations by the at least one entity adapted to load values, to obtain loaded values; and analyzing the loaded values for at least one invariant.

Abstract: An apparatus and a computer-implemented method performed by a computerized device, comprising: generating a collection of test data for testing one or more domains, wherein the test data is useful for post-silicon verification of hardware devices; selecting a subset of the collection of test data in accordance with a hardware device to be tested and at least one of the domains to be tested with respect to the hardware device; and indexing the subset of the collection of test data to obtain an indexed collection.

Abstract: A first and second test templates are combined to a combination test template. The combination test template may be configured to execute the first and second test templates in combination, and based upon a definition. The combination test template may execute tests in sequential order, concurrently, a combination thereof or the like. The first test template may be configured to be executed by a single-core machine and may be transformed to a multi-core test template that is configured to be executed on a multi-core machine in parallel to other tests. By utilizing the disclosed subject matter, a reduction in overhead of executing the first and second test templates may be achieved; a predetermined interleaving may be performed and a user may control the manner in which the combination test template is executing the first and second test templates. Additionally, reuse of pre-silicon test templates in post-silicon stage may be achieved.

Abstract: A first and second test templates are combined to a combination test template. The combination test template may be configured to execute the first and second test templates in combination, and based upon a definition. The combination test template may execute tests in sequential order, concurrently, a combination thereof or the like. The first test template may be configured to be executed by a single-core machine and may be transformed to a multi-core test template that is configured to be executed on a multi-core machine in parallel to other tests. By utilizing the disclosed subject matter, a reduction in overhead of executing the first and second test templates may be achieved; a predetermined interleaving may be performed and a user may control the manner in which the combination test template is executing the first and second test templates. Additionally, reuse of pre-silicon test templates in post-silicon stage may be achieved.

Abstract: An optimization process is repeatedly invoked over an input, which includes the set of constraints and the objective function. The input of each invocation is randomly modified, so as to cause the optimization process to produce multiple different solutions that satisfy the set of constraints. Multiple random test cases for verifying a compliance of the design with the specifications are generated, based on the multiple different solutions produced by the optimization process.

Abstract: A computer-implemented method for verifying a design includes converting test specifications of the design into a set of constraints defined over variables, such that solutions that satisfy the set of constraints define respective valid test cases for verifying the design. An objective function is defined over at least some of the variables. An optimization process is repeatedly invoked over an input, which includes the set of constraints and the objective function. The input of each invocation is randomly modified, so as to cause the optimization process to produce multiple different solutions that satisfy the set of constraints. Multiple random test cases for verifying a compliance of the design with the specifications are generated, based on the multiple different solutions produced by the optimization process.

Abstract: An improvement in a loom for weaving a cloth made of warp and weft threads is disclosed, the loom comprising thread feeder; a harness provided with a plurality of heddles; a shuttle adapted to weave the weft through the warp threads; a beater provided with reeds; wherein the heddles are adapted to move perpendicularly to the warp threads.

Abstract: A self supporting gel includes a gelling agent and an electrolyte dissolved in a solvent. The gel is conducting and may be used in a battery.

Abstract: A method of removing pulp from a fruit which has been cut so as to expose a portion of the fruit pulp surrounded by an exposed area of peel including the step of directing one or more pressurized jets of gas onto the exposed portion of pulp so as to separate it from the remainder of the fruit while substantially preventing impingement of the one or more pressurized jets of gas on the exposed area of peel.

Abstract: Apparatus for removing pulp from a fruit which has been cut so as to expose a portion of the fruit pulp surrounded by an exposed area of peel including apparatus for mounting the fruit, apparatus arranged in spaced relation to the apparatus for mounting for directing one or more jets of gas onto the exposed portion of pulp so as to separate it from the remainder of the fruit, and apparatus for substantially preventing impingement of the one or more jets of gas on the exposed area of peel.

Abstract: Apparatus for removing pulp from a fruit which has been cut so as to expose a portion of the fruit pulp surrounded by an exposed area of peel including apparatus for mounting the fruit, apparatus arranged in spaced relation to the apparatus for mounting for directing one or more jets of gas onto the exposed portion of pulp so as to separate it from the remainder of the fruit, and apparatus for substantially preventing impingement of the one or more jets of gas on the exposed area of peel.

Abstract: Method and apparatus for separating clods from a mixture of clods and desirable agricultural product utilizing conveyor mechanism for conveying a mixture of clods and agricultural product to a position for free fall onto a separation surface, from which surface the clods and agricultural product rebound different distances into receiving areas.

Abstract: In a machine for picking-up agricultural produce from the ground of the type including a carriage movable over the ground, an inclined endless conveyor having at any given time sections constituting a pick-up section and a returning section and further comprising means for moving the conveyor, the improvement which comprises a conveyor with a pick-up section adapted to be moved by said means in the direction of travel of said carriage and a portion of a returning section thereof being adapted to lie loosely on the ground and to fold back upon itself at the point where the returning section changes its direction to constitute a part of the pick-up section, whereby there is formed a small turning radius at said point with the beginning of the pick-up section in close proximity to the ground.

Abstract: Apparatus for spraying trees and especially citrus trees comprising a mobile source of pressurized air adapted to be propelled along a path parallel to a row of trees to be sprayed; at least one nozzle connected to the source and having a throat in the form of a vertically oriented slip producing a sheet-like air blast whose principle plane is substantially vertically oriented; means associated with the list of oscillating the principle plane of the air blast about a substantially vertical axis through such an angle and at such a frequency as to impart an oscillatory movement to the leaf structure within the air blast thereby exposing each surface of the leaves to the blast; and a sprayhead associated with each nozzle out of the path of the air blast for spraying atomized liquid into the air blast at a location downstream of the throat.