Patents by Inventor Gregory V. ALOE

Gregory V. ALOE 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: 9223595
    Abstract: A device receives a first result that includes first data, and a second result that includes second data, and determines whether a comparator supports the first data and the second data. When the comparator supports the first data and the second data, the device utilizes the comparator to select comparison logic for the first data of the first result and for the second data of the second result, compares the first result and the second result, using the selected comparison logic, to determine whether the first result is equivalent to the second result, and outputs or stores the determination of whether the first result is equivalent to the second result.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: December 29, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Andrew T. Campbell, Gerhard P. Stoeckel, David M. Saxe, Gregory V. Aloe, Ajay B. Puvvala, David Hruska
  • Patent number: 9117029
    Abstract: A device receives code generated via a technical computing environment (TCE), performs a test on the code to generate a test result, and generates test information based on the performance of the test on the code. The device outputs or stores the test result, and receives, based on the test result, a request for a diagnostic analysis of the code. The device performs, based on the request, the test information, and at least one diagnostic, a diagnostic analysis of the code to generate a diagnostic result, and outputs or stores the diagnostic result.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: August 25, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Jeremy B. Nersasian
  • Patent number: 9064053
    Abstract: A device receives code generated via a technical computing environment (TCE), where the code includes one or more values to be tested. The device receives Boolean constraints and diagnostic information, and generates a test based on the Boolean constraints and the diagnostic information. The device performs the test on the one or more values of the code to generate a result, and outputs or stores the result.
    Type: Grant
    Filed: December 5, 2012
    Date of Patent: June 23, 2015
    Assignee: The MathWorks, Inc.
    Inventors: Andrew T. Campbell, David M. Saxe, Gregory V. Aloe, Gerhard P. Stoeckel
  • Publication number: 20140156689
    Abstract: A device receives a first result that includes first data, and a second result that includes second data, and determines whether a comparator supports the first data and the second data. When the comparator supports the first data and the second data, the device utilizes the comparator to select comparison logic for the first data of the first result and for the second data of the second result, compares the first result and the second result, using the selected comparison logic, to determine whether the first result is equivalent to the second result, and outputs or stores the determination of whether the first result is equivalent to the second result.
    Type: Application
    Filed: December 5, 2012
    Publication date: June 5, 2014
    Applicant: The MathWorks, Inc.
    Inventors: Andrew T. CAMPBELL, Gerhard P. STOECKEL, David M. SAXE, Gregory V. ALOE, Ajay B. PUVVALA, David HRUSKA
  • Publication number: 20140157236
    Abstract: A device receives code generated via a technical computing environment (TCE), where the code includes one or more values to be tested. The device receives Boolean constraints and diagnostic information, and generates a test based on the Boolean constraints and the diagnostic information. The device performs the test on the one or more values of the code to generate a result, and outputs or stores the result.
    Type: Application
    Filed: December 5, 2012
    Publication date: June 5, 2014
    Applicant: THE MATHWORKS, INC.
    Inventors: Andrew T. CAMPBELL, David M. SAXE, Gregory V. ALOE, Gerhard P. STOECKEL
  • Publication number: 20140157242
    Abstract: A device receives code generated via a technical computing environment (TCE), performs a test on the code to generate a test result, and generates test information based on the performance of the test on the code. The device outputs or stores the test result, and receives, based on the test result, a request for a diagnostic analysis of the code. The device performs, based on the request, the test information, and at least one diagnostic, a diagnostic analysis of the code to generate a diagnostic result, and outputs or stores the diagnostic result.
    Type: Application
    Filed: December 5, 2012
    Publication date: June 5, 2014
    Applicant: The MathWorks, Inc.
    Inventors: Andrew T. CAMPBELL, David M. SAXE, Gregory V. ALOE, Jeremy B. NERSASIAN