Patents by Inventor Claudio Basile

Claudio Basile 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: 8756220
    Abstract: Methods, systems, and apparatus, including computer program products, for ranking search results of a search query using corpus search statistics. In one aspect, a method includes determining a first relevance of a first corpus to a search query, determining a second relevance of a second corpus to the search query, determining a measure of relative relevance of the first corpus and the second corpus to the search query, and providing the measure of relative relevance to a ranking engine for ranking of search results for a new search corresponding to the search query.
    Type: Grant
    Filed: January 14, 2013
    Date of Patent: June 17, 2014
    Assignee: Google Inc.
    Inventors: John R. Provine, Claudio Basile, Alexander L. Vasserman
  • Patent number: 8738350
    Abstract: A method of simulating a design described in HDL is provided. In this method, modules of the design can be partitioned into first modules for simulation by a serial simulation engine and second modules for simulation by a concurrent simulation engine. The first and second modules can be prioritized for simulation based on classes of events consistent with an execution model of the HDL. Simulations of the serial and concurrent simulation engines can be synchronized for each class of events. Synchronizing can include transferring updated interface variable values, which are shared by the second modules and at least a subset of the first modules, between the serial simulation engine and the concurrent simulation engine. This transferring can include translating representations of the updated interface variable values.
    Type: Grant
    Filed: February 18, 2011
    Date of Patent: May 27, 2014
    Assignee: Synopsys, Inc.
    Inventors: Keith Whisnant, Claudio Basile, Giacinto Paolo Saggese
  • Patent number: 8359309
    Abstract: Methods, systems, and apparatus, including computer program products, for ranking search results of a search query using corpus search statistics. In one aspect, a method includes determining a first relevance of a first corpus to a search query, determining a second relevance of a second corpus to the search query, determining a measure of relative relevance of the first corpus and the second corpus to the search query, and providing the measure of relative relevance to a ranking engine for ranking of search results for a new search corresponding to the search query.
    Type: Grant
    Filed: February 7, 2011
    Date of Patent: January 22, 2013
    Assignee: Google Inc.
    Inventors: John R. Provine, Claudio Basile, Alexander L. Vasserman
  • Patent number: 8156457
    Abstract: Simulating hardware includes generating a data flow representation of the hardware, based on a hardware description language (HDL) description. The data flow representation including compatibility information that preserves behavioral and synthesizable characteristics of the HDL description. Simulating hardware further includes generating code from the data flow representation, and executing the code concurrently.
    Type: Grant
    Filed: September 24, 2009
    Date of Patent: April 10, 2012
    Assignee: Synopsys, Inc.
    Inventors: Claudio Basile, Giacinto Paolo Saggese, Keith Whisnant
  • Publication number: 20110218792
    Abstract: A method of simulating a design described in HDL is provided. In this method, modules of the design can be partitioned into first modules for simulation by a serial simulation engine and second modules for simulation by a concurrent simulation engine. The first and second modules can be prioritized for simulation based on classes of events consistent with an execution model of the HDL. Simulations of the serial and concurrent simulation engines can be synchronized for each class of events. Synchronizing can include transferring updated interface variable values, which are shared by the second modules and at least a subset of the first modules, between the serial simulation engine and the concurrent simulation engine. This transferring can include translating representations of the updated interface variable values.
    Type: Application
    Filed: February 18, 2011
    Publication date: September 8, 2011
    Applicant: Synopsys, Inc.
    Inventors: Keith Whisnant, Claudio Basile, Giacinto Paolo Saggese
  • Publication number: 20110072403
    Abstract: Simulating hardware includes generating a data flow representation of the hardware, based on a hardware description language (HDL) description. The data flow representation including compatibility information that preserves behavioral and synthesizable characteristics of the HDL description. Simulating hardware further includes generating code from the data flow representation, and executing the code concurrently.
    Type: Application
    Filed: September 24, 2009
    Publication date: March 24, 2011
    Inventors: Claudio Basile, Giacinto Paolo Saggese, Keith Whisnant