Patents by Inventor Karen Holtz

Karen Holtz 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).

  • Patent number: 11188304
    Abstract: Validating microprocessor instruction execution by receiving a floating-point exception selection, receiving a validation method selection, generating validation data according to the floating-point exception selection and the validation method selection by randomly generating a first tensor element value and randomly generating a second tensor element value according to the first tensor element value and the floating-point exception selection, and executing a floating-point computation according to the validation data.
    Type: Grant
    Filed: July 1, 2020
    Date of Patent: November 30, 2021
    Assignee: International Business Machines Corporation
    Inventors: Gal Ashour, Oz Dov Hershkovitz, Michal Rimon, Karen Holtz, Silvia Melitta Mueller, Avishai Moshe Fedida
  • Patent number: 8327323
    Abstract: A method of automatically defining a new class in a class hierarchy includes creating a descendent class that descends from one or more specified ancestor classes; sequentially analyzing each class along each inheritance path from the specified ancestor classes to a specified similar class to identify each class item in each class that is not selected from the specified ancestor classes; storing a respective pointer for each class item identified in each class that is not inherited by the class referencing the class item and associated with the class; storing a respective pointer for each class item identified in each class that is inherited and redefined by the class referencing the class item and being associated with the class if a pointer referencing the class item is not already stored; and copying each class item referenced by a stored pointer to the descendent class.
    Type: Grant
    Filed: December 8, 2008
    Date of Patent: December 4, 2012
    Assignee: International Business Machines Corporation
    Inventors: Karen Holtz, Eitan Marcus, Ronny Morad
  • Publication number: 20100146482
    Abstract: A method of automatically defining a new class in a class hierarchy includes creating a descendent class that descends from one or more specified ancestor classes; sequentially analyzing each class along each inheritance path from the specified ancestor classes to a specified similar class to identify each class item in each class that is not selected from the specified ancestor classes; storing a respective pointer for each class item identified in each class that is not inherited by the class referencing the class item and associated with the class; storing a respective pointer for each class item identified in each class that is inherited and redefined by the class referencing the class item and being associated with the class if a pointer referencing the class item is not already stored; and copying each class item referenced by a stored pointer to the descendent class.
    Type: Application
    Filed: December 8, 2008
    Publication date: June 10, 2010
    Applicant: INTERNATIONAL BUSINESS MACHINES CORPORATION
    Inventors: Karen Holtz, Eitan Marcus, Ronny Morad
  • Patent number: 6757847
    Abstract: A synchronization method including running (10) a system (725) having multiple agents (730) in parallel operation and forcing synchronization order (20, 30, 40, 50) between the multiple agents at at least one intervention juncture. Preferably, the multiple agents (730) include at least two agents (570, 590) accessing a single address at almost the same time. Further preferably, the forcing step includes forcing a predetermined one (570) of said two agents to access said address before the other one (590) of said two agents accesses said address.
    Type: Grant
    Filed: December 27, 1999
    Date of Patent: June 29, 2004
    Assignee: International Business Machines Corporation
    Inventors: Monica Farkash, Danny Geist, Raanan Gewirtzman, Karen Holtz
  • Patent number: 6629174
    Abstract: A synchronization method including running a system (725) having multiple agents (730 and 780) in parallel operation, the multiple agents each having at least one path (732) to a common bus (734). A bus arbitration mechanism (728) is used to synchronize between said multiple agents in accordance with a predetermined scheme, including blocking (310) at least one individual agent's path to the common bus (734) if said scheme indicates (315) that said individual agent is not to be activated, and restoring (320) said at least one individual agent's path (730) to the common bus (734) once said scheme indicates that said individual agent (730) can be activated.
    Type: Grant
    Filed: December 14, 1999
    Date of Patent: September 30, 2003
    Assignee: International Business Machines Corporation
    Inventors: Monica Farkas, Daniel Geist, Raanan Gewirtzman, Karen Holtz