Patents by Inventor James D. Grundy

James D. Grundy 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).

  • Methods and systems for an interactive theorem-proving tool with reflective capabilities
    Patent number: 7181729
    Abstract: Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are tracked. Moreover, the series of commands and assumptions are automatically replayed when a change is received. In some embodiments, the commands are validated for correct syntaxes and data types before the commands are processed.
    Type: Grant
    Filed: December 30, 2002
    Date of Patent: February 20, 2007
    Assignee: Intel Corporation
    Inventors: James D. Grundy, Mark D. Aagaard
  • Methods and systems for an interactive theorem-proving tool with reflective capabilities
    Publication number: 20040128649
    Abstract: Methods and systems are provided for improved operation of a theorem-proving tool. Logic statements that are to be proved are loaded and a series of interactive commands and assumptions are interactively processed. As the series of commands and assumptions are processed they are tracked. Moreover, the series of commands and assumptions are automatically replayed when a change is received. In some embodiments, the commands are validated for correct syntaxes and data types before the commands are processed.
    Type: Application
    Filed: December 30, 2002
    Publication date: July 1, 2004
    Applicant: Intel Corporation
    Inventors: James D. Grundy, Mark D. Aagaard
  • Compliant and crosslinkable thermal interface materials
    Patent number: 6238596
    Abstract: Described is a compliant and crosslinkable thermal interface material of at least one malenized rubber with maleic anhydride adducted to the molecule and at least one hydroxyl terminated olefin rubbers, and a method of making and using same; as well as a method of improving thermal conductivity of polymer systems.
    Type: Grant
    Filed: September 17, 1999
    Date of Patent: May 29, 2001
    Assignee: Johnson Matthey Electronics, Inc.
    Inventors: My N. Nguyen, James D. Grundy
  • Compliant and crosslinkable thermal interface materials
    Patent number: 5989459
    Abstract: Described is a compliant and crosslinkable thermal interface material of at least one malenized rubber with maleic anhydride adducted to the molecule and at least one hydroxyl terminated olefin rubbers, and a method of making and using same; as well as a method of improving thermal conductivity of polymer systems.
    Type: Grant
    Filed: March 9, 1999
    Date of Patent: November 23, 1999
    Assignee: Johnson Matthey, Inc.
    Inventors: My N. Nguyen, James D. Grundy
  • Method for producing nickel metal powder
    Patent number: 4089676
    Abstract: A method for producing nickel powder of controlled geometry useful for conductive or resistive pastes or inks. A nickel salt is precipitated by means of hydrazine, an alkali metal base is added to the precipitate, and the resulting mixture is heated under ambient pressure until nickel powder is precipitated. The geometry such as powder surface area, particle size, and particle shape of the nickel powder end product is controlled by means of the added amount of alkali metal base or added amount of hydrazine and in some instances by means of the temperature.
    Type: Grant
    Filed: May 24, 1976
    Date of Patent: May 16, 1978
    Assignee: Williams Gold Refining Company Incorporated
    Inventor: James D. Grundy