The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Aug. 12, 2014
Filed:
Nov. 14, 2011
Allon Adir, Kiryat Tivon, IL;
Dimtry Krestyashyn, Haifa, IL;
Charles Meissner, Austin, TX (US);
Amir Nahir, Kfar Vitkin, IL;
Allon Adir, Kiryat Tivon, IL;
Dimtry Krestyashyn, Haifa, IL;
Charles Meissner, Austin, TX (US);
Amir Nahir, Kfar Vitkin, IL;
International Business Machines Corporation, Armonk, NY (US);
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.