Patents by Inventor Michael David McCool

Michael David McCool 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 for type analysis in systems for code generation
    Patent number: 8984473
    Abstract: A method for identifying a structure of a type to generate a model of the type includes the step of providing at least one replacement type for a basic type provided by a programming language. An identification of initialization, by a constructor, of an instance of the at least one replacement type is received. A type model comprising a description of a data layout of the instance of the type is generated responsive to the received identification.
    Type: Grant
    Filed: October 4, 2012
    Date of Patent: March 17, 2015
    Assignee: Intel Corporation
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • Methods and systems for optimizing data accesses
    Patent number: 8712997
    Abstract: A method for optimizing data types includes the step of generating a data structure providing access to at least one data element, the data structure associated with a first representation of the at least one data element. A user is provided with a plurality of data types for accessing the at least one data element. A request for access to the at least one data element is received, the request including at least one of the plurality of data types. The request is responded to with a second representation of the at least one data element, the second representation generated responsive to the at least one of the plurality of data types.
    Type: Grant
    Filed: March 1, 2012
    Date of Patent: April 29, 2014
    Assignee: Intel Corporation
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • METHODS FOR TYPE ANALYSIS IN SYSTEMS FOR CODE GENERATION
    Publication number: 20130117726
    Abstract: A method for identifying a structure of a type to generate a model of the type includes the step of providing at least one replacement type for a basic type provided by a programming language. An identification of initialization, by a constructor, of an instance of the at least one replacement type is received. A type model comprising a description of a data layout of the instance of the type is generated responsive to the received identification.
    Type: Application
    Filed: October 4, 2012
    Publication date: May 9, 2013
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • Methods and systems for using type models to generate an implementation of a type
    Patent number: 8286130
    Abstract: A method for using type analysis to generate an implementation of a type includes the step of identifying a request to generate a first implementation of a type. A type model associated with the type is received. A second implementation of the type model is identified as suitable for a high-performance implementation. The second implementation is generated on a target processor. The second implementation is represented as the first implementation.
    Type: Grant
    Filed: April 24, 2007
    Date of Patent: October 9, 2012
    Assignee: Intel Corporation
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • Methods for type analysis in systems for code generation
    Patent number: 8286128
    Abstract: A method for identifying a structure of a type to generate a model of the type includes the step of providing at least one replacement type for a basic type provided by a programming language. An identification of initialization, by a constructor, of an instance of the at least one replacement type is received. A type model comprising a description of a data layout of the instance of the type is generated responsive to the received identification.
    Type: Grant
    Filed: April 24, 2007
    Date of Patent: October 9, 2012
    Assignee: Intel Corporation
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • METHODS AND SYSTEMS FOR OPTIMIZING DATA ACCESSES
    Publication number: 20120166418
    Abstract: A method for optimizing data types includes the step of generating a data structure providing access to at least one data element, the data structure associated with a first representation of the at least one data element. A user is provided with a plurality of data types for accessing the at least one data element. A request for access to the at least one data element is received, the request including at least one of the plurality of data types. The request is responded to with a second representation of the at least one data element, the second representation generated responsive to the at least one of the plurality of data types.
    Type: Application
    Filed: March 1, 2012
    Publication date: June 28, 2012
    Inventors: Michael David MCCOOL, Stefanus Jakobus Du Toit
  • Methods and systems for optimizing data accesses
    Patent number: 8145625
    Abstract: A method for optimizing data types includes the step of generating a data structure providing access to at least one data element, the data structure associated with a first representation of the at least one data element. A user is provided with a plurality of data types for accessing the at least one data element. A request for access to the at least one data element is received, the request including at least one of the plurality of data types. The request is responded to with a second representation of the at least one data element, the second representation generated responsive to the at least one of the plurality of data types.
    Type: Grant
    Filed: July 13, 2007
    Date of Patent: March 27, 2012
    Assignee: Intel Corporation
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • METHODS AND SYSTEMS FOR OPTIMIZING DATA ACCESSES
    Publication number: 20090018993
    Abstract: A method for optimizing data types includes the step of generating a data structure providing access to at least one data element, the data structure associated with a first representation of the at least one data element. A user is provided with a plurality of data types for accessing the at least one data element. A request for access to the at least one data element is received, the request including at least one of the plurality of data types. The request is responded to with a second representation of the at least one data element, the second representation generated responsive to the at least one of the plurality of data types.
    Type: Application
    Filed: July 13, 2007
    Publication date: January 15, 2009
    Applicant: RapidMind, Inc.
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • METHODS FOR TYPE ANALYSIS IN SYSTEMS FOR CODE GENERATION
    Publication number: 20080270972
    Abstract: A method for identifying a structure of a type to generate a model of the type includes the step of providing at least one replacement type for a basic type provided by a programming language. An identification of initialization, by a constructor, of an instance of the at least one replacement type is received. A type model comprising a description of a data layout of the instance of the type is generated responsive to the received identification.
    Type: Application
    Filed: April 24, 2007
    Publication date: October 30, 2008
    Applicant: RapidMind Inc.
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit
  • METHODS AND SYSTEMS FOR USING TYPE MODELS TO GENERATE AN IMPLEMENTATION OF A TYPE
    Publication number: 20080270979
    Abstract: A method for using type analysis to generate an implementation of a type includes the step of identifying a request to generate a first implementation of a type. A type model associated with the type is received. A second implementation of the type model is identified as suitable for a high-performance implementation. The second implementation is generated on a target processor. The second implementation is represented as the first implementation.
    Type: Application
    Filed: April 24, 2007
    Publication date: October 30, 2008
    Applicant: RAPIDMIND INC.
    Inventors: Michael David McCool, Stefanus Jakobus Du Toit