Patents Issued in March 8, 2016
-
Patent number: 9280590Abstract: Systems and methods for attribute-based user data visualizations are described, including determining that an event is associated with a category, the event is one of a plurality of events that are associated with a user using one or more products; clustering the event with a group of events that are associated with the category; identifying at least a portion of the group of events and at least a portion of another group of events of another category, based on one or more time periods; and providing the at least the portion of the group of events and the at least the portion of the another group of events of the another category for visual presentation.Type: GrantFiled: October 10, 2013Date of Patent: March 8, 2016Assignee: GOOGLE INC.Inventors: Jonathan McPhie, Finnegan Southey, Dan Fredinburg
-
Patent number: 9280591Abstract: A distributed database system may efficiently replicate system transactions one or more read-only nodes. An update to a distributed database may be received. One or more system transactions may be performed to apply the update. For each system transaction, one or more change notifications may be generated which indicate changes to be applied in order to perform the system transaction. A particular one of the change notifications may be identified as the last change to be applied in order to complete the system transaction. The change notifications may be sent to one or more read-only nodes. The read-only nodes may process read requests for the distributed database system. The identified change notification may indicate to the read-only nodes the last change to be applied prior to presenting a state of the database that includes the system transaction when servicing read requests.Type: GrantFiled: September 20, 2013Date of Patent: March 8, 2016Assignee: Amazon Technologies, Inc.Inventors: Tengiz Kharatishvili, Pradeep Jnana Madhavarapu, Anurag Windlass Gupta
-
Patent number: 9280592Abstract: A computer-implemented method, including identifying user subscriptions that meet at least one criterion of a plurality of criteria for detecting subscriptions that are no longer active, classifying the user subscriptions into a first group and a second group, where user subscriptions in the first group have at least one context factor associated with the at least one criterion, matching the user subscriptions of the second group with data of unavailable users to produce a third group of user subscriptions, where the user subscriptions of the third group are successfully matched with some of the data of unavailable users.Type: GrantFiled: March 15, 2013Date of Patent: March 8, 2016Assignee: GOOGLE INC.Inventors: Dan Fredinburg, Keith Patrick Enright, Andrew Swerdlow
-
Patent number: 9280593Abstract: A method of categorizing data points is described which, when combined with a clustering algorithm, provides groupings of data points that have an improved confidence interval. The method can be used to find an optimal number of groupings for a dataset, which in turn allows a user to categorize a group of data points for processing. In some examples, a dataset containing a number of data points may be accessed. Additionally, in some aspects, groupings of data points within the dataset may be grouped based at least in part on similarities between the data. Further, a number of groupings of data points may be adjusted so that the distance between the data points within one or more groupings of data points may fit within a confidence level.Type: GrantFiled: July 24, 2013Date of Patent: March 8, 2016Assignee: Amazon Technologies, Inc.Inventors: Aaron James Dykstra, Diwakar Chakravarthy, Siyang Dai
-
Patent number: 9280594Abstract: Methods and apparatus consistent with the invention provide the ability to organize and build understandings of machine data generated by a variety of information-processing environments. Machine data is a product of information-processing systems (e.g., activity logs, configuration files, messages, database records) and represents the evidence of particular events that have taken place and been recorded in raw data format. In one embodiment, machine data is turned into a machine data web by organizing machine data into events and then linking events together.Type: GrantFiled: January 31, 2015Date of Patent: March 8, 2016Assignee: Splunk Inc.Inventors: Michael Joseph Baum, R. David Carasso, Robin Kumar Das, Bradley Hall, Brian Phillip Murphy, Stephen Phillip Sorkin, Andre David Stechert, Erik M. Swan, Rory Greene, Nicholas Christian Mealy, Christina Frances Regina Noren
-
Patent number: 9280595Abstract: A set of potential search-query terms can be identified based on empirical queries for apps. For each potential search-query term, a subset of documents within a set of documents can be identified based on apps that users were likely to click on or download following entry of a search query with a comparable or same term. One or more other indicator terms can be identified as being related to the potential search-query term based on the one or more second indicator terms being prevalent within the subset of documents. Upon receipt of a subsequent search query, a search can then be performed using both a term within the search query and one or more related other indicator terms.Type: GrantFiled: August 30, 2012Date of Patent: March 8, 2016Assignee: Apple Inc.Inventors: Catherine A. Edwards, Natalia Hernandez-Gardiol
-
Patent number: 9280596Abstract: A method for scoring and ranking knowledge articles in an on-demand service environment in a database network system. The scoring allows users to have input into the scoring to determine relevancy and authenticity to solve particular problems.Type: GrantFiled: April 7, 2011Date of Patent: March 8, 2016Assignee: salesforce.com, inc.Inventor: Vinodh Rajagopal
-
Patent number: 9280597Abstract: A new approach is proposed that contemplates systems and methods to generate customized subjective search results from the perspective of a user who conducts the search or any other subject entity of chosen by the user. A scored subject list is created from the user's network of sources/subjects/contacts, where each element on the list is a subject/source and the score reflects the subject's potential influence or closeness of its connection/relation with the user. Once created, the subject list is then used as a bias filter on the list of citations from search results. With such influence-weighted citation scores, objects and/or subjects from citations of subjects that have big influence on or enjoy high respect from the user will be ranked prominently in the search result presented to the user, thus biasing the search results from the user's perspective.Type: GrantFiled: June 16, 2011Date of Patent: March 8, 2016Assignee: Apple Inc.Inventors: Rishab Aiyer Ghosh, Lun Ted Cui
-
Patent number: 9280598Abstract: Systems and methods for recognizing sounds are provided herein. User input relating to one or more sounds is received from a computing device. Instructions, which are stored in memory, are executed by a processor to discriminate the one or more sounds, extract music features from the one or more sounds, analyze the music features using one or more databases, and obtain information regarding the music features based on the analysis. Further, information regarding the music features of the one or more sounds may be transmitted to display on the computing device.Type: GrantFiled: May 4, 2010Date of Patent: March 8, 2016Assignee: Soundhound, Inc.Inventors: Aaron Steven Master, Timothy P. Stonehocker, Benjamin John Levitt, Jun Huang, Keyvan Mohajer
-
Patent number: 9280599Abstract: An audio recognition service recognizes an audio sample across multiple content types. At least a partial set of results generated by the service are returned to a client while the audio sample is still being recorded and/or transmitted. The client additionally displays the results in real-time or near real-time to the user. The audio sample can be sent over a first HTTP connection and the results can be returned over a second HTTP connection. The audio recognition service further processes check-in selections received from the client for content items indicated by the results. Responsive to receiving the check-in selections, the service determines whether a user is eligible for a reward. If the user is eligible, the service provides the reward.Type: GrantFiled: February 24, 2012Date of Patent: March 8, 2016Assignee: Google Inc.Inventors: Matthew Wiseman, Dominik Roblek, Yaniv Bernstein, Matthew Sharifi, Annie Chen, Tim C. Jones, Ehud Graff
-
Patent number: 9280600Abstract: A system and a method for decompression-free inspection of compressed data are provided herein. The method includes the following stages: obtaining a dictionary file comprising a string of symbols, each associated with a respective index; obtaining at least one delta file associated with said dictionary file, wherein said delta file comprises a sequence of instructions that include at least one copy instruction pointing to an index within said dictionary and a length of a copy substring to be copied; scanning said dictionary using a pattern matching algorithm associated with a plurality of patterns and implemented as a Deterministic Finite Automaton (DFA), to yield DFA execution data; scanning said at least one delta file, using said pattern matching algorithm, wherein said DFA execution data is used to skip at least part of the scanning of the copy substrings for at least one of the copy instructions.Type: GrantFiled: March 20, 2013Date of Patent: March 8, 2016Inventors: David Hay, Yaron Koral, Anat Brembler-Barr, Shimrit Tzur-David
-
Patent number: 9280601Abstract: Systems and methods for generating search results are provided. In some aspects, a method includes receiving a query, obtaining a search result that is responsive to the query, obtaining content from a social networking service that is responsive to the query and related to the search result, modifying the search result to include a first portion associated with the content from the social networking service, providing for display the modified search result and an interface component for receiving a request for interacting with the content, and modifying the search result to include a second portion of the content and to provide an interface to facilitate an interaction, in response to receiving a request for interacting with the content.Type: GrantFiled: February 14, 2013Date of Patent: March 8, 2016Assignee: Google Inc.Inventors: Sean Yaoxing Liu, David Yen, Sanghoon Cha, Sagar Kamdar, Andrew Hyatt, Kumar Mayur Thakur, Yihua Wu
-
Patent number: 9280602Abstract: A computing device includes one or more rich internet application (RIA) client engines. Each RIA client engine includes a corresponding private RIA storage area. The computing device also includes a per-RIA public storage area for each RIA. The per-RIA public storage area including a subset of data items in the private RIA storage area of the corresponding RIA client engine. A search engine of the computing device may search the data items in the one or more per-RIA public storage areas and link to content in the private RIA storage area of the corresponding RIA client engine at a given data item matching a search request.Type: GrantFiled: July 9, 2013Date of Patent: March 8, 2016Assignee: Microsoft Technology Licensing, LLCInventor: Jonathan C. Hawkins
-
Patent number: 9280603Abstract: Techniques are provided for generating descriptions of matching resources in a manner that takes into account the kind, quality, and relevance of the available sources of information about the matching resources. For example, after the search engine identifies matching resources based on the query terms, the search engine determines the kinds of available sources of information about each matching resource. For each matching resource, based on the kinds of available sources of information about the matching resource, one of a plurality of processes is selected to generate a description for the matching resource. Using the content-sensitive description generation techniques described herein, a single result set may include abstracts that were generated using several different processes, where the difference in process corresponds to a difference in the kind, quality, and relevance of the available sources of information about each matching resource.Type: GrantFiled: June 3, 2014Date of Patent: March 8, 2016Assignee: Yahoo! Inc.Inventors: Chad Carson, Mohan V. Nibhanupudi, Robert Meyers, Dmitri Pavlovski, Douglas M. Cook
-
Patent number: 9280604Abstract: Providing for dynamic auditing of components of a communication network is provided herein. By way of example, network components can be queried by way of dynamic and intelligent application programming interface (APIs) queries to extract data for the network components. Such data can then be compared with best practice rules to identify potential enhancements to efficiency or scalability of such components. In some aspects, an audit report can be output summarizing identified enhancements. In other aspects, data can be written to an updated component according to protocols suited to such component. Accordingly, an audit can provide feedback in light of best practices or can be utilized to dynamically upgrade a legacy system to newer system software and/or hardware components.Type: GrantFiled: January 6, 2015Date of Patent: March 8, 2016Assignee: Cisco Technology, Inc.Inventors: Talal Ahmad Siddiqui, Ramesh Kumar Kaza, Stuart Edward Biggs, Sanjay Jani, Narayanan Thyagarajan
-
Patent number: 9280605Abstract: Messages are targeted to travelers based on travel itineraries. Targeting may also be based on real-time travel status information. The targeted messages communicate their purpose and priority to respective travelers within the context of the travel itineraries. A disclosed method includes accessing a travel itinerary database including a plurality of travel itineraries. Each travel itinerary is associated with a traveler and defines itinerary segments of a corresponding travel schedule. A message is associated with a set of targeting rules used to identify a subset of itineraries in the travel itinerary database. The targeting rules may be used with real-time travel status information to identify the subset of itineraries.Type: GrantFiled: March 9, 2011Date of Patent: March 8, 2016Assignee: FLIGHTSTATS, INC.Inventors: Mark D. Tilden, Jeff M. Kennedy, Steve C. Wilson, Scott D. Hopkins
-
Patent number: 9280606Abstract: Aspects retrieve, organize and display different classifications of sets of search results in different, respective tabbed sheets that are nested on top of one another in a web-based interface dashboard. A text string search query is classified into constituent primary search terms that are likely to return satisfactory search results as indicated by retrieved search history data as a function of search resources and language classification rules associated with the user identity indicia. Secondary search terms related to the primary search terms and including synonyms and antonyms are determined as substitutes for the primary search terms in response to search history indicating follow-up searches immediately subsequent to searches of the primary search terms at less than a specified threshold of frequency. The set of peripheral knowledge article results is generated by searching knowledge article resources for background information on the primary search terms or the secondary search terms.Type: GrantFiled: March 18, 2015Date of Patent: March 8, 2016Assignee: International Business Machines CorporationInventors: Divya Gopinath, Gili Mendel, Rajesh Radhakrishnan, Jennifer A. Watson
-
Patent number: 9280607Abstract: A memory efficient method and electronic device for counting frequencies of various events. The structure for storing frequency data comprises primary (204) and secondary (206) storages which contain frequency data (208, 210, 214) in different levels of detail. The primary storage (204) is a detailed storage comprising both event type and count information units in a fully restorable form. The secondary storage (206) is targeted for more infrequent events with lower level of detail and constructed as an array of count values addressed by a hash function using event type as an input. Another option is to derive a shortened ID from the event type by utilizing a hash function and exploit the ID as an addressing key for the corresponding count. Events are moved between primary (204) and secondary (206) storages depending on the detected event type frequencies. The invention is utilized in a recommendation engine for grading and sorting bookmarks stored in browsers for accessing the Internet.Type: GrantFiled: March 7, 2003Date of Patent: March 8, 2016Assignee: Nokia Technologies OyInventors: Hannu Toivonen, Antti Sorvari, Markus Kähäri
-
Patent number: 9280608Abstract: Group bookmarks are provided. A uniform resource locator (URL) is received and parsed to identify a URL domain, a parameter, and a first parameter value. Multiple bookmarks are examined to determine whether a pattern match is found for a bookmark including the URL domain and the parameter. The bookmark has a second parameter value. The first parameter value is stored with the bookmark as a group bookmark. The group bookmark includes: the URL domain, the parameter, and entries for the first parameter value and the second parameter value.Type: GrantFiled: May 15, 2012Date of Patent: March 8, 2016Assignee: International Business Machines CorporationInventor: Soobaek Jang
-
Patent number: 9280609Abstract: An exact match lookup system includes a hash function that generates a hash value in response to an input hash key. The hash value is used to retrieve a hash bucket index value from a hash bucket index table. The hash bucket index value is used to retrieve a plurality of hash keys from a plurality of hash bucket tables, in parallel. The retrieved hash keys are compared with the input hash key to identify a match. Hit logic generates an output index by concatenating the hash bucket index value with an address associated with the hash bucket table that provides the matching hash key. An exact match result is provided in response to the output index. A content addressable memory (CAM) may store hash keys that do not fit in the hash bucket tables.Type: GrantFiled: September 8, 2009Date of Patent: March 8, 2016Assignee: Brocade Communications Systems, Inc.Inventor: Jian Liu
-
Patent number: 9280610Abstract: A user request is received from a mobile client device, where the user request includes at least a speech input and seeks an informational answer or performance of a task. A failure to provide a satisfactory response to the user request is detected. In response to detection of the failure, information relevant to the user request is crowd-sourced by querying one or more crowd sourcing information sources. One or more answers are received from the crowd sourcing information sources, and the response to the user request is generated based on at least one of the one or more answers received from the one or more crowd sourcing information sources.Type: GrantFiled: March 15, 2013Date of Patent: March 8, 2016Assignee: Apple Inc.Inventors: Thomas R. Gruber, Adam J. Cheyer, Donald W. Pitschel
-
Patent number: 9280611Abstract: The present disclosure provides a method and an apparatus for storing data classification structure. Based on an initial classification structure tree, a reorganized classification structure tree that stores data classifications structure differently from that of the initial classification structure is generated. As the reorganized classification structure tree is flexible, when maintaining data and searching data by using the search engine, the present techniques may quickly find the desired data, thereby reducing the heavy burden of the search engine under the conventional techniques to conduct data search and high pressure of conducting data maintenance and data search. Further, the present techniques may not only reduce the burden of the search engine, but also relieve the pressure for maintaining data and searching data.Type: GrantFiled: October 11, 2012Date of Patent: March 8, 2016Assignee: Alibaba Group Holding LimitedInventors: Baihan Kong, Mei He, Jie Zhou
-
Patent number: 9280612Abstract: For plural categorical values of a first attribute, more relevant categorical values of a second attribute are selected from among candidate categorical values of the second attribute, where the selecting uses a relevance determination process that considers frequencies of occurrence of respective pairs of the categorical values of the first and second attributes. A visualization that includes groups of cells corresponding to the respective pairs of categorical values of the first and second attributes is generated. At least one of the groups includes cells assigned visual indicators based on values of a third attribute.Type: GrantFiled: December 14, 2012Date of Patent: March 8, 2016Assignee: Hewlett Packard Enterprise Development LPInventors: Ming C. Hao, Sebastian Mittelstaedt, Umeshwar Dayal, Meichun Hsu, Daniel Keim
-
Patent number: 9280613Abstract: Techniques are disclosed for methods, architectures and security mechanisms for a third-party application to access content in a cloud-based platform. In one embodiment, a method includes, receiving, at the third-party application, metadata that identifies the file. The method further includes transmitting the metadata to a server which is associated with the third-party application. The metadata enables the server to request the file from the cloud-based environment.Type: GrantFiled: May 20, 2013Date of Patent: March 8, 2016Assignee: Box, Inc.Inventors: Michael Smith, Benjamin Campbell Smith, Simon Tan, Rico Yao
-
Patent number: 9280614Abstract: In one embodiment of the invention, a method of physical clock topology planning for designing integrated circuits is disclosed. The method includes reading an initial placed netlist of an integrated circuit design and a floorplan of the integrated circuit design, analyzing the integrated circuit design to determine potential enable signals to gate clock signals that clock the plurality of flip flops to reduce power consumption; simultaneously optimizing and placing the clock enable logic gates to gate clock signals to the plurality of flip flops; and minimizing timing variation of the clock signals to the plurality of flip flops.Type: GrantFiled: March 15, 2013Date of Patent: March 8, 2016Assignee: Cadence Design Systems, Inc.Inventors: Ankush Sood, Aaron Paul Hurst
-
Patent number: 9280615Abstract: A method of providing a flow rack system design using a flow rack design application is provided. The method includes selecting a first tier menu item from a plurality of first tier menu items saved in memory using a computer. A second tier menu item is selected, wherein the second tier menu item has project level standards information associated with the second tier menu item saved in memory. A virtual flow rack system is generated using the computer, the project level standards information and parts information saved in memory.Type: GrantFiled: September 16, 2013Date of Patent: March 8, 2016Assignee: Toyota Motor Engineering & Manufacturing North America, Inc.Inventors: John B. Gittings, Brian C. Feldman
-
Patent number: 9280616Abstract: A method includes obtaining a data file that includes print instructions for causing a three dimensional printer to print a three dimensional object, wherein the data file describes external surfaces of the object, and providing user instructions for positioning a preformed structure so that the three dimensional printer can print the object around the preformed structure, wherein the preformed structure has a size and a shape to be subsumed within the external surfaces of the object. The method further comprises modifying the print instructions so that the printer will print the object around the preformed structure, and printing material around the preformed structure using the modified print instructions to form the object.Type: GrantFiled: April 15, 2014Date of Patent: March 8, 2016Assignee: Lenovo Enterprises Solutions (Singapore) Pte. Ltd.Inventors: Gary D. Cudak, Luis J. Flores, Christopher J. Hardee, Xiaoli Shi
-
Patent number: 9280617Abstract: A system may include a model library configured to model a system, wherein the model library includes a plurality of subsystem models, and each of the plurality of subsystem models is configured to derive a reliability measure. The system further includes a fault tolerance input and a maintenance policy input. The system further includes a dynamic risk calculation engine (DRCE) configured to use a user-defined set of the plurality of subsystem models, the fault tolerance input and the maintenance policy input, to derive a system risk for an apparatus.Type: GrantFiled: November 6, 2012Date of Patent: March 8, 2016Assignee: General Electric CompanyInventors: Maria Cecilia Mazzaro, Frederick William Block, Pablo Enrique Acevedo Giraldi, Charles Scott Sealing, Atanu Talukdar, Mark Andrew Runkle
-
Patent number: 9280618Abstract: The systems and methods perform simulations in a systematic way as to minimize redundant data fetching and computations and reduce run-time. The systems and methods can cache information that can be used across multiple control strategies and speed up the process of simulation by several orders of magnitude. A business analyst can first generate a set of matching criteria that meets business intuition for the specific initiative and set of stores under analysis. A systematic approach in building similar sites models from control strategies that are combinations of this set of matching criteria can be applied to minimize data extraction and processing. The similarity function allows for the distance of each criterion to be combined linearly. Data for each matching criteria only needs to be extracted once but can be used in all control strategies that uses that criteria.Type: GrantFiled: July 26, 2013Date of Patent: March 8, 2016Assignee: Applied Predictive Technologies, Inc.Inventors: Anthony Bruce, Zhichao Han, Genevieve Williams
-
Patent number: 9280619Abstract: Virtual material handling systems can be used to drive the operation of real material handling systems for purposes such as testing and validation of the components of the real material handling systems. The real material handling system, in turn, can provide data regarding system operation which may be fed back to the virtual material handling system to control its function.Type: GrantFiled: April 29, 2014Date of Patent: March 8, 2016Inventors: William A. Magato, Brian John Resnick
-
Patent number: 9280620Abstract: A probabilistic estimation of fatigue crack life of a component is provided. A plurality of representations of the component is defined from material property scatter data and flaw-size scatter data, wherein each representation is defined by one possible material condition and flaw-size condition associated with the component. For each representation, a component location is selected and a determination is made whether said individual representation fails after a given number of cycles N, based on the calculation of a crack growth in the selected location. The crack growth is calculated on the basis of the material condition and the flaw-size condition in the selected location. Failure of the individual representation is determined if the crack growth is determined to be unstable. The sum total of the number of the representations that failed after N cycles is determined. A probability of failure of the component after N cycles is then determined.Type: GrantFiled: October 16, 2012Date of Patent: March 8, 2016Assignee: SIEMENS AKTIENGESELLSCHAFTInventors: Christian Amann, Phillip W. Gravett, Kai Kadau
-
Patent number: 9280621Abstract: Disclosed are techniques to analyze multi-fabric designs. These techniques generate a cross-fabric analysis model by at least identifying first design data in a first design fabric of a multi-fabric electronic design using a first session of a first electronic design automation (EDA) tool, update the cross-fabric simulation model by at least identifying second design data in a second design fabric using a second session of a second EDA tool, and determine analysis results for the multi-fabric electronic design using at least the cross-fabric simulation model. Analysis results may be determined using parasitic, electrical, or performance information.Type: GrantFiled: October 1, 2014Date of Patent: March 8, 2016Assignee: Cadence Design Systems, Inc.Inventors: Arnold Ginetti, Vikas Kohli, Taranjit Singh Kukal
-
Patent number: 9280622Abstract: A circuit verifying apparatus, which calculates code coverage of a measurement-target logic circuit written in a hardware description language, including: a coverage observing unit which measures whether a code corresponding to a measurement-target signal extracted from each of plural observation points, which are arranged inside the measurement-target logic circuit, is carried out or not; and a coverage collecting unit which collects measurement results acquired by the coverage observing unit, and measures quantitatively a ratio of tested codes to whole codes which describe the measurement-target logic circuit, and outputs the ratio.Type: GrantFiled: June 11, 2014Date of Patent: March 8, 2016Assignee: NEC CORPORATIONInventor: Shusaku Uchibori
-
Patent number: 9280623Abstract: Disclosed is a system in which in order to obtain the operation parameter of a circuit based on an implementable area indicating a circuit scale that can be implemented on a circuit implementation device, circuit area information, and operation parameter measuring circuit area information, an observation signal number determining means determines observation signal information on a circuit that obtains the operation parameter of the circuit. The number of the extracted signals is determined in view of the area that can be implemented on a digital LSI or an emulator and the area of the circuit to be implemented (refer to FIG. 1).Type: GrantFiled: April 15, 2014Date of Patent: March 8, 2016Assignee: NEC CORPORATIONInventor: Kohei Hosokawa
-
Patent number: 9280624Abstract: A method and a system performing selected timing comparisons in a digital electronic design includes propagating from signal sources to timing comparisons of one or multiple signal labels. The signal label includes signal source identifiers and signal path cycle adjust information. Timing comparisons are determined in which signal label values at each input of the timing comparison are required to compute the selected timing comparisons. The propagation back from the timing comparisons are needed signal labels, followed by the propagation and computing timing data from the signal source applied to the propagated signal labels corresponding to the required signal labels.Type: GrantFiled: April 29, 2014Date of Patent: March 8, 2016Assignee: International Business Machines CorporationInventors: David J. Hathaway, Kerim Kalafala, Stephen G. Shuma, Chandramouli Visweswariah
-
Patent number: 9280625Abstract: Techniques and systems are described for improving the efficiency of timing calculations in numerical sequential cell sizing and for improving the efficiency of incremental slack margin propagation. Some embodiments cache timing-related information associated with a source driver that drives an input of a sequential cell that is being sized, and/or timing-related information for each output of the sequential cell that is being sized. The cached timing-related information for the source driver can be reused when sizing a different sequential cell. The cached timing-related information for the outputs of the sequential cell can be reused when evaluating alternatives for replacing the sequential cell. Some embodiments incrementally propagate slack margins in a lazy fashion (i.e., only when it is necessary to do so for correctness or accuracy reasons) while sizing gates in the circuit design in a reverse-levelized processing order.Type: GrantFiled: September 21, 2015Date of Patent: March 8, 2016Assignee: SYNOPSYS, INC.Inventors: Amir H. Mottaez, Mahesh A. Iyer
-
Patent number: 9280626Abstract: A mechanism is provided for efficiently determining Boolean satisfiability (SAT) using lazy constraints. A determination is made as to whether a SAT problem is satisfied without constraints in a list of constraints. Responsive to the SAT problem being satisfied without constraints, a set of variable assignments that are determined in satisfying the SAT problem without constraints are fixed. For each constraint in the list of constraints, a determination is made as to whether the SAT problem with the constraint results in the set of variable assignments remaining constant. Responsive to the SAT problem with the constraint resulting in the set of variable assignments remaining constant, the constraint is added to a list of non-affecting constraints and a satisfied result is returned.Type: GrantFiled: April 27, 2012Date of Patent: March 8, 2016Assignee: International Business Machines CorporationInventors: Jason R. Baumgartner, Michael L. Case, Robert L. Kanzelman, Hari Mony
-
Patent number: 9280627Abstract: A system and method that implement an object-oriented model for requirements of a hardware design in order to verify the design. The object-oriented model abstractly captures the design topology, capability, control, and status of the design. An object-oriented model or definition of a hardware design is based on one or more specifications or standards implemented with the design. With the object-oriented model, a system and method for storing and displaying data captured during a test run is implemented. Graphical displays are defined to show run information for abstract objects of the design. Predefined graphical displays may be altered to accommodate the features of the object-oriented model and new graphical displays may be defined for objects in the model.Type: GrantFiled: August 12, 2013Date of Patent: March 8, 2016Assignee: Cadence Design Systems, Inc.Inventors: David Guoqing Zhang, Tal Tabakman, Yonatan Ashkenazi, Nir Paz, Yochi Bilitski
-
Patent number: 9280628Abstract: In accordance with some embodiments of the present disclosure a method for constructing a clock network comprises receiving design specifications for a clock network. The method further comprises determining a topology of the clock network based on the design specifications. The topology indicates at least one of a plurality of levels of the clock network, a buffer type for each level and a buffer fanout for each level. The method additionally comprises determining design parameters for the clock network based on the determined topology and generating a clock network synthesis tool specification file that includes the design parameters. The method also comprises synthesizing the clock network using the specification file such that the clock network includes the determined topology and such that the clock network synchronously distributes a clock signal from a clock generator to endpoints of the clock network.Type: GrantFiled: August 22, 2011Date of Patent: March 8, 2016Assignee: Fujitsu LimitedInventors: William Walker, Subodh M. Reddy
-
Patent number: 9280629Abstract: A method for generating a circuit description for a multi-die field-programmable gate array, FPGA, comprising a first FPGA die and at least one further FPGA die is described. The method is performed in an FPGA design tool and comprises automatically evaluating a first and a second partition of a partitioned circuit description, the partitions being associated with respective ones of the FPGA dies. At least one multiplexing element is inserted into the first partition and a corresponding de-multiplexing element is inserted into the second partition based on the automated evaluation.Type: GrantFiled: November 4, 2014Date of Patent: March 8, 2016Assignee: Synopsys, Inc.Inventor: Frederic Emirian
-
Patent number: 9280630Abstract: Circuitry including a logic circuitry portion and a delay circuitry portion, with the circuitry having the following features: (i) the logic circuitry is designed to receive a set of input signals including a first input signal and a second input signal; and (ii) the delay circuitry portion includes a transistor connected so that the first input signal gates the second input signal. In some embodiments, the first and second input signals are chosen because it is expected that the second input signal will arrive at the circuitry before the first input signal so that the gating of the second signal by the first signal will cause the logic circuitry portion to receive the first and second signals at substantially the same time. Also, circuitry where a first output signal from a logic circuitry portion is gated by a second output signal.Type: GrantFiled: November 7, 2014Date of Patent: March 8, 2016Assignee: International Business Machines CorporationInventors: Daniel Lewis, Rahul M. Rao, Adarsh Subramanya
-
Patent number: 9280631Abstract: Optical proximity correction techniques performed on one or more graphics processors improve the masks used for the printing of microelectronic circuit designs. Execution of OPC techniques on hardware or software platforms utilizing graphics processing units. GPUs may share the computation load with the system CPUs to efficiently and effectively execute the OPC method steps.Type: GrantFiled: December 20, 2013Date of Patent: March 8, 2016Assignee: D2S, Inc.Inventors: Ilhami H. Torunoglu, Ahmet Karakas
-
Patent number: 9280632Abstract: In one aspect of an embodiment, a method implemented on a data processing system for circuit design, includes identifying one or more first portions of a design of a circuit, each of the one or more first portions containing a set of elements interconnected via timing nets and generating weights for the timing critical nets, the weights being generated after identifying the one or more first portions and executing a placer algorithm which uses the weights for the timing critical nets to place the set of elements on a representation of the design. In this method, in one embodiment, the weights for the timing critical nets can be generated to have values that differ from weights for non-critical nets. The placer algorithm can be any one of a variety of conventional placer algorithms such as a weighted wire length driven placer algorithm or a force directed timing driven placer algorithm or a min-cut placer algorithm.Type: GrantFiled: November 2, 2012Date of Patent: March 8, 2016Assignee: Synopsys, Inc.Inventors: Saurabh Adya, Kenneth S. McElvain, Gael Paul
-
Patent number: 9280633Abstract: A method of designing a content-addressable memory (CAM) includes associating CAM cells with a summary circuit. The summary circuit includes a first level of logic gates and a second level of logic gates. The first level of logic gates have inputs each configured to receive an output of a corresponding one of the plurality of CAM cell. The second level of logic gates have inputs each configured to receive an output of a corresponding one of the first level of logic gates. Logic gates in at least one of the first level of logic gates or the second level of logic gates are selected to have an odd number of input pins so that an input pin and an output pin share a layout sub-slot.Type: GrantFiled: May 16, 2014Date of Patent: March 8, 2016Assignee: TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY, LTD.Inventors: Young Seog Kim, Kuoyuan Hsu, Jacklyn Chang
-
Patent number: 9280634Abstract: In an electronic design automation technique for optical proximity correction, an optimized mask function that has values other than those allowed for a particular mask type, such as 0 and 1 for a chrome-on-glass binary mask, evolves it to a solution restricted to these values or narrow intervals near them. The technique “regularizes” the solution by mixing in a new cost functional that encourages the mask to assume the desired values. The mixing in may be done over one or more steps or even “quasistatically,” in which the total cost functional and the mask is brought from pure goodness-of-fit to the printed layout for given conditions to pure manufacturability by keeping the total cost functional minimized step-by-step. A goal of this gradual mixing-in is to do thermodynamically optimal work on the mask function to bring it to manufacturable values.Type: GrantFiled: March 31, 2014Date of Patent: March 8, 2016Assignee: D2S, Inc.Inventor: P. Jeffrey Ungar
-
Patent number: 9280635Abstract: Systems in a flow cytometer having an interrogation zone and illumination impinging the interrogation zone include: a lens subsystem including a collimating element that collimates light from the interrogation zone, a light dispersion element that disperses collimated light into a light spectrum, and a focusing lens that focuses the light spectrum onto an array of adjacent detection points; a detector array, including semiconductor detector devices, that collectively detects a full spectral range of input light signals, in which each detector device detects a subset spectral range of the full spectral range of light signals; and a user interface that enables a user to create a set of virtual detector channels by grouping detectors in the detector array, such that each virtual detector channel corresponds to a detector group and has a virtual detector channel range including the sum of subset spectral ranges of the detectors in the corresponding detector group.Type: GrantFiled: October 25, 2011Date of Patent: March 8, 2016Assignee: Accuri Cytometers, Inc.Inventor: Collin A. Rich
-
Patent number: 9280636Abstract: Systems and methods for distributing Electronic Medical Records (EMR) from a private practice to authorized mobile devices are presented. EMR data can be exchanged from a private practice with a remote mobile device via an intermediary mobile access service. The service can include one or more servers that tunnel EMR data between the mobile devices and the practice, where a relay server located at the service communicates via an a priori instantiated persistent session with a relay client installed at the practice. The persistent session can be maintained by the relay client thus reducing the burden on the practice to configure or change local network infrastructure.Type: GrantFiled: April 12, 2011Date of Patent: March 8, 2016Assignee: QSI Management, LLCInventor: Konstantinos Raggousis
-
Patent number: 9280637Abstract: Systems, methods, and computer-readable media for providing a multi-action button for mobile devices are provided. Alerts are received and multi-action buttons are determined corresponding to the alerts and clinicians associated with mobile devices. The multi-action buttons are displayed on the mobile devices.Type: GrantFiled: December 11, 2012Date of Patent: March 8, 2016Assignee: CERNER INNOVATION, INC.Inventors: Jay Christopher Vaglio, Matt Ryan Anderson
-
Patent number: 9280638Abstract: An image processing apparatus includes a deleted differential image generator and a region specifying unit. The deleted differential image generator generates, from first image data generated by reading an image of an unfilled or filled-in sheet and second image data generated by reading an image of a sheet being in a format identical to the unfilled or filled-in sheet and having a superimposed sheet superimposed thereon, deleted differential image data representing an image that is not represented in the second image data but is represented in the first image data. The region specifying unit specifies a region where the superimposed sheet is represented in the second image data, based on a region where the deleted differential image data is.Type: GrantFiled: August 4, 2014Date of Patent: March 8, 2016Assignee: FUJI XEROX CO., LTD.Inventor: Kunihiko Kobayashi
-
Patent number: 9280639Abstract: Systems and methods are disclosed for evaluating a patient with vascular disease. One method includes receiving patient-specific data regarding a geometry of the patient's vasculature; creating an anatomic model representing at least a portion of a location of disease in the patient's vasculature based on the received patient-specific data; identifying one or more changes in geometry of the anatomic model based on a modeled progression or regression of disease at the location; calculating one or more values of a blood flow characteristic within the patient's vasculature using a computational model based on the identified one or more changes in geometry of the anatomic model; and generating an electronic graphical display of a relationship between the one or more values of the calculated blood flow characteristic and the identified one or more changes in geometry of the anatomic model.Type: GrantFiled: February 12, 2015Date of Patent: March 8, 2016Assignee: HeartFlow, Inc.Inventors: Sethuraman Sankaran, Charles A. Taylor, Gilwoo Choi, Michiel Schaap, Christopher K. Zarins, Leo J. Grady