Patents by Inventor Sergey Shusterman

Sergey Shusterman 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
    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
  • Integrating templates into tests
    Patent number: 8397217
    Abstract: Test template may comprise a source code template instruction associated with source code commands. The source code template instruction is utilized in generation of a test. The generation of instructions associated with the source code template instruction takes into account utilization of shared resources by both the source code commands and by generated instructions that are generated by other template instructions.
    Type: Grant
    Filed: February 22, 2010
    Date of Patent: March 12, 2013
    Assignee: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Wisam Kadry, Sergey Shusterman
  • INTEGRATING TEMPLATES INTO TESTS
    Publication number: 20110209004
    Abstract: Test template may comprise a source code template instruction associated with source code commands. The source code template instruction is utilized in generation of a test. The generation of instructions associated with the source code template instruction takes into account utilization of shared resources by both the source code commands and by generated instructions that are generated by other template instructions.
    Type: Application
    Filed: February 22, 2010
    Publication date: August 25, 2011
    Applicant: International Business Machines Corporation
    Inventors: Alex Goryachev, Ronny Morad, Wisam Kadry, Sergey Shusterman