Patents by Inventor Matthew A. Haley

Matthew A. Haley 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).

  • Analysis of the effect of program execution of calling components with data variable checkpointing and resource allocation analysis
    Patent number: 6154876
    Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.
    Type: Grant
    Filed: July 30, 1997
    Date of Patent: November 28, 2000
    Assignee: Intrinsa Corporation
    Inventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
  • Computer process resource modelling method and apparatus
    Patent number: 6079031
    Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.
    Type: Grant
    Filed: August 1, 1997
    Date of Patent: June 20, 2000
    Assignee: Microsoft Corporation
    Inventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
  • Computer process resource modelling method and apparatus
    Patent number: 5968113
    Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.
    Type: Grant
    Filed: August 1, 1997
    Date of Patent: October 19, 1999
    Assignee: Intrinsa Corporation
    Inventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
  • Computer process resource modelling method and apparatus
    Patent number: 5857071
    Abstract: An error detection mechanism for detecting programming errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.
    Type: Grant
    Filed: July 30, 1997
    Date of Patent: January 5, 1999
    Assignee: Intrinsa Corporation
    Inventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush
  • Computer process resource modelling method and apparatus
    Patent number: 5694539
    Abstract: An error detection mechanism for detecting programing errors in a computer program. A component of the computer program, e.g., a procedure or function of the computer program, is analyzed to determine the effect of the component on resources used by the computer program. A component is analyzed by traversing the computer instructions, i.e., statements, of the component and tracking the state of resources used by the component as affected by the statements of the component. Each resource has a prescribed behavior represented by a number of states and transition between states. Violations in the prescribed behavior of a resource resulting from an emulated execution of the statements of the component are detected and reported as programming errors. Resources used by two or more components are modelled by modelling externals of the components.
    Type: Grant
    Filed: August 10, 1994
    Date of Patent: December 2, 1997
    Assignee: Intrinsa Corporation
    Inventors: Matthew A. Haley, Jonathan D. Pincus, William R. Bush