Patents by Inventor Appa Rao NIRAKH

Appa Rao NIRAKH 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 computer-executable code generated from a model
    Patent number: 9612806
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and or other forms of equivalence between the selected slice and the identified generated code.
    Type: Grant
    Filed: September 2, 2014
    Date of Patent: April 4, 2017
    Assignee: The MathWorks, Inc.
    Inventors: Mirko Conrad, Xiaocang Lin, Jun Yan, Peter S. Szpak, Appa Rao Nirakh, Jayaprabha Shankar
  • VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
    Publication number: 20140380269
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
    Type: Application
    Filed: September 2, 2014
    Publication date: December 25, 2014
    Inventors: Mirko Conrad, Xiaocang Lin, Jun Yan, Peter S. Szpak, Appa rao Nirakh, Jayaprabha Shankar
  • Using intermediate representations to verify computer-executable code generated from a model
    Patent number: 8869103
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
    Type: Grant
    Filed: September 30, 2011
    Date of Patent: October 21, 2014
    Assignee: The MathWorks, Inc.
    Inventors: Mirko Conrad, Xiaocang Lin, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar
  • Verification of computer-executable code generated from a slice of a model
    Patent number: 8856726
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
    Type: Grant
    Filed: September 30, 2011
    Date of Patent: October 7, 2014
    Assignee: The Mathworks, Inc.
    Inventors: Mirko Conrad, Xiaocang Lin, Jun Yan, Peter Szpak, Appa Rao Nirakh, Jaya Shankar
  • VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
    Publication number: 20120254827
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
    Type: Application
    Filed: September 30, 2011
    Publication date: October 4, 2012
    Applicant: THE MATHWORKS, INC.
    Inventors: Mirko CONRAD, Xiaocang LIN, Jun YAN, Peter SZPAK, Appa Rao NIRAKH, Jaya SHANKAR
  • VERIFICATION OF COMPUTER-EXECUTABLE CODE GENERATED FROM A MODEL
    Publication number: 20120254830
    Abstract: In an embodiment, a model is sliced into a plurality of slices. A slice in the plurality of slices is selected. A portion of code, that corresponds to the selected slice, is identified from code generated from the model. The identified code is verified to be equivalent to the selected slice. Equivalence may include equivalent functionality, equivalent data types, equivalent performance, and/or other forms of equivalence between the selected slice and the identified generated code.
    Type: Application
    Filed: September 30, 2011
    Publication date: October 4, 2012
    Applicant: THE MATHWORKS, INC.
    Inventors: Mirko CONRAD, Xiaocang LIN, Jun YAN, Peter SZPAK, Matthew Wnglehart, Appa Rao NIRAKH, Jaya SHANKAR