Patents by Inventor Tali Rabetti

Tali Rabetti has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Verification of distributed symmetric multi-processing systems
    Patent number: 9710427
    Abstract: A method, apparatus and product useful for verifying Distributed Symmetric Multi-Processing systems (DSMPs). The method comprising: determining one or more sub-systems of a DSMP, wherein each sub-system is a Symmetric Multi-Processing System (SMP) which comprises a shared memory and a set of processing entities that have the same access permissions to the shared memory; and verifying the DSMP using a verification tool designed to verify an SMP, wherein said verifying is performed by verifying each sub-system.
    Type: Grant
    Filed: May 12, 2015
    Date of Patent: July 18, 2017
    Assignee: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Tali Rabetti, Sergey Shusterman
  • Verification of distributed symmetric multi-processing systems
    Patent number: 9298670
    Abstract: A method, apparatus and product useful for verifying Distributed Symmetric Multi-Processing systems (DSMPs). The method comprising: determining one or more sub-systems of a DSMP, wherein each sub-system is a Symmetric Multi-Processing System (SMP) which comprises a shared memory and a set of processing entities that have the same access permissions to the shared memory; and verifying the DSMP using a verification tool designed to verify an SMP, wherein said verifying is performed by verifying each sub-system.
    Type: Grant
    Filed: June 14, 2012
    Date of Patent: March 29, 2016
    Assignee: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Tali Rabetti
  • Automatic generation of a resource reconfiguring test
    Patent number: 9218273
    Abstract: A test generator generating a test for a system having a plurality of executing entities that are capable of concurrent execution, the test comprises transactions that comprise one or more access transactions that are configured to access a shared resource and one or more reconfiguration transactions configured that are configured to reconfigure the shared resource, wherein said generating comprises: determining a partial order between pairs of transactions that are both associated with the shared resource and that at least one of which is a reconfiguration transaction; and generating the test so as to enforce the partial order during execution of the test by the system.
    Type: Grant
    Filed: May 20, 2013
    Date of Patent: December 22, 2015
    Assignee: International Business Machines Corporation
    Inventors: Erez Lev Meir. Bilgory, Alex Goryachev, Ronny Morad, Tali Rabetti
  • VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS
    Publication number: 20150242359
    Abstract: A method, apparatus and product useful for verifying Distributed Symmetric Multi-Processing systems (DSMPs). The method comprising: determining one or more sub-systems of a DSMP, wherein each sub-system is a Symmetric Multi-Processing System (SMP) which comprises a shared memory and a set of processing entities that have the same access permissions to the shared memory; and verifying the DSMP using a verification tool designed to verify an SMP, wherein said verifying is performed by verifying each sub-system.
    Type: Application
    Filed: May 12, 2015
    Publication date: August 27, 2015
    Applicant: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Tali Rabetti, Sergey Shusterman
  • AUTOMATIC GENERATION OF A RESOURCE RECONFIGURING TEST
    Publication number: 20140344785
    Abstract: A test generator generating a test for a system having a plurality of executing entities that are capable of concurrent execution, the test comprises transactions that comprise one or more access transactions that are configured to access a shared resource and one or more reconfiguration transactions configured that are configured to reconfigure the shared resource, wherein said generating comprises: determining a partial order between pairs of transactions that are both associated with the shared resource and that at least one of which is a reconfiguration transaction; and generating the test so as to enforce the partial order during execution of the test by the system.
    Type: Application
    Filed: May 20, 2013
    Publication date: November 20, 2014
    Applicant: International Business Machines Corporation
    Inventors: EREZ LEV MEIR. BILGORY, ALEX GORYACHEV, RONNY MORAD, TALI RABETTI
  • VERIFICATION OF DISTRIBUTED SYMMETRIC MULTI-PROCESSING SYSTEMS
    Publication number: 20130339662
    Abstract: A method, apparatus and product useful for verifying Distributed Symmetric Multi-Processing systems (DSMPs). The method comprising: determining one or more sub-systems of a DSMP, wherein each sub-system is a Symmetric Multi-Processing System (SMP) which comprises a shared memory and a set of processing entities that have the same access permissions to the shared memory; and verifying the DSMP using a verification tool designed to verify an SMP, wherein said verifying is performed by verifying each sub-system.
    Type: Application
    Filed: June 14, 2012
    Publication date: December 19, 2013
    Applicant: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Tali Rabetti