Simulating Electronic Device Or Electrical System Patents (Class 703/13)
-
Patent number: 10832265Abstract: A computer-implemented method for prescriptive time-series forecasting, which combines both what-if analysis and goal-seeking analysis. The method comprises building a model for a target metric with a set of predictors, based on historical time-series data, and computing, using the model, a set of forecast values. Using the set of forecast values with respect to a forecasting period, both a set of goals for the target metric and a set of constraints for the predictors are analyzed. A set of updated forecasts based on the analyses with respect to the forecasting period is determined to meet the goals within the set of constraints. The updated set of forecasts is presented with respect to the forecasting period, e.g., using a table, a visualization, and/or an interactive user interface.Type: GrantFiled: December 2, 2016Date of Patent: November 10, 2020Assignee: International Business Machines CorporationInventors: Yea-Jane Chu, Richard J. Oswald, Jean-Francois Puget, Jing-Yun Shyr
-
Patent number: 10824948Abstract: A trigger element of a design-time flow plan is set so that the trigger element activates in response computing conditions being satisfied. A decision action element of the design-time flow plan executed at run-time in response to activation of the trigger element is set. The decision action element is implemented by a decision table that includes decision inputs and respective condition logic based on the decision inputs for each of a plurality of decision answers associated with the decision table. The decision table is external to the design-time flow plan. First and second decision answer action elements are defined to execute at run-time respectively when a decision answer served-up by the decision table corresponds to first and second decision answer paths in the design-time flow plan that are associated with a first and second one of the plurality of decision answers, respectively. The design-time flow plan is published.Type: GrantFiled: December 21, 2018Date of Patent: November 3, 2020Assignee: ServiceNow, Inc.Inventors: Harry Thomas Nelson, Jacob Samuel Burman, Juell Solaegui, Alberto Alvarado Jimenez, Rebecca Anita Dias
-
Patent number: 10826785Abstract: Methods, computing systems and computer program products implement embodiments of the present invention that include detecting, on a communications network in a computing facility including a first computer coupled to a second computer via the communications network, an input/output (I/O) request conveyed from the first computer to the second computer. Subsequent to detecting the I/O request, data traffic resulting from the second computer processing the I/O request is identified on the communications network, and network statistics are collected based on the I/O request and the data traffic. Upon detecting a performance degradation of the computing facility, the performance degradation greater than a predetermined amount, heuristics can be applied to the collected network statistics, to identify a cause of the performance degradation and to identify a remedy to the detected performance degradation. In some embodiments, the identified cause and the identified remedy can be presented to a user on a display.Type: GrantFiled: September 25, 2015Date of Patent: November 3, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Jonathan Amit, Lior Chen, Vladislav Drouker, Osnat Shasha
-
Patent number: 10818638Abstract: A set of the dies and the package are provided with a plurality of dies each including at least an accelerator core or a CPU core, an external interface, memory interfaces, and a die interface for connecting to another die. At least two dies of the set of dies include a first type die and a second type die each including both the accelerator core and the CPU core, and the core number ratio between the accelerator core and the CPU core in the first type die differs from that in the second type die. The memory interfaces include an interface conforming to TCI. The memory interfaces further include an interface conforming to HBM.Type: GrantFiled: November 30, 2015Date of Patent: October 27, 2020Assignee: Pezy Computing K.K.Inventor: Motoaki Saito
-
Patent number: 10810093Abstract: A distributed system implements initializing reliability data of a newly joined node of a cluster for purposes of leadership election. When a new node joins a cluster, the new node receives reliability data for one or more existing nodes of a cluster. The new node initializes its own reliability data based on the reliability data received from the existing nodes of the cluster. In some cases, the new node may calculate a median reliability of the existing nodes and then initialize its own reliability to be the median or slightly below the median. For example, if the median reliability is “two failures,” then the new node may set its reliability to be “three failures.” This may provide a more stable leadership election process, as the new nodes are unlikely to be elected as a leader node.Type: GrantFiled: February 7, 2018Date of Patent: October 20, 2020Assignee: Amazon Technologies, Inc.Inventor: Joseph Andrew Tucek
-
Patent number: 10812363Abstract: Some embodiments are associated with a data center cloud computing environment executing a plurality of virtual machines. A virtual machine data store may contain information about the plurality of virtual machines associated with the cloud computing environment. A virtual machine test platform may access the information in the virtual machine data store and periodically initiate a network test for each of the plurality of virtual machines based on the information in the virtual machine data store. The virtual machine test platform may then receive network test result signals from the virtual machines in response to the executed network tests and apply, for each virtual machine, a digital signal processing noise filter to successive network test result signals from that virtual machine. An output of the digital signal processing noise filters may then be transmitted from the virtual machine test platform.Type: GrantFiled: May 25, 2018Date of Patent: October 20, 2020Assignee: MICROSOFT TECHNOLOGY LICENSING, LLCInventors: Joseph Romeo, Vyjeyanthi Murthy, Shruti Ramesh, Anthony Howe, Ashutosh Dhiman
-
Patent number: 10795614Abstract: In a memory controller for controlling an operation of a memory device, the memory controller includes a buffer memory and a buffer management circuit. The buffer memory includes an input buffer for storing input data received from a host and an output buffer for storing output data received from the memory device. The buffer management circuit changes capacities of the input buffer and the output buffer, based on a use state of at least one of the input buffer and the output buffer.Type: GrantFiled: October 1, 2018Date of Patent: October 6, 2020Assignee: SK hynix Inc.Inventor: Ho Jung Yun
-
Patent number: 10791034Abstract: A method of simulating a scenario in a telecommunications network is provided. The method comprises: generating a network definition expressed in a common data model readable by first and second routing engines; generating a set of demand matrices describing demands on the network; incorporating a scenario definition into one or more of the network definition and the demand matrices; automatically determining a first aspect of a new network state associated with the scenario definition by determining a first optimised set of routes using the first routing engine based on the network definition and at least one of the demand matrices; and automatically determining a second aspect of the new network state by determining a second optimised set of routes using the second routing engine based on the first optimised set of routes and at least one other of the demand matrices.Type: GrantFiled: November 27, 2015Date of Patent: September 29, 2020Assignee: ARIA NETWORKS LIMITEDInventors: Jay Perrett, Arthur Wade, John Crickett
-
Patent number: 10788759Abstract: Prediction based systems and methods for optimizing wafer chucking and lithography control are disclosed. Distortions predicted to occur when a wafer is chucked by a chucking device are calculated and are utilized to control chucking parameters of the chucking device. Chucking parameters may include chucking pressures and chucking sequences. In addition, predicted distortions may also be utilized to facilitate application of anticipatory corrections. Controlling chucking parameters and/or applying anticipatory corrections help reducing or minimizing overlay errors.Type: GrantFiled: July 30, 2018Date of Patent: September 29, 2020Assignee: KLA-Tencor CorporationInventors: Bin-Ming Benjamin Tsai, Oreste Donzella, Pradeep Vukkadala, Jaydeep Sinha
-
Patent number: 10783061Abstract: A method for testing a user interface includes determining states and state transitions associated with the user interface. A first plurality of states and a first plurality of state transitions of the user interface may be explored. A subset of a second plurality of states and a second plurality of state transitions of the user interface may also be explored. Paths that lead to cycles within the subset of the second plurality of states and the second plurality of state transitions may be penalized.Type: GrantFiled: June 22, 2018Date of Patent: September 22, 2020Assignee: Microsoft Technology Licensing, LLCInventor: Parag Nandan Paul
-
Patent number: 10783536Abstract: A computer-implemented method for prescriptive time-series forecasting, which combines both what-if analysis and goal-seeking analysis. The method comprises building a model for a target metric with a set of predictors, based on historical time-series data, and computing, using the model, a set of forecast values. Using the set of forecast values with respect to a forecasting period, both a set of goals for the target metric and a set of constraints for the predictors are analyzed. A set of updated forecasts based on the analyses with respect to the forecasting period is determined to meet the goals within the set of constraints. The updated set of forecasts is presented with respect to the forecasting period, e.g., using a table, a visualization, and/or an interactive user interface.Type: GrantFiled: December 5, 2017Date of Patent: September 22, 2020Assignee: International Business Machines CorporationInventors: Yea-Jane Chu, Richard J. Oswald, Jean-Francois Puget, Jing-Yun Shyr
-
Patent number: 10782772Abstract: An energy-aware system, and method thereof are provided. The energy-aware system includes a microcontroller; an energy storage; a plurality of execution functions integrated in a system on chip (SoC); and a scheduler configured to schedule execution of operations based on available energy at the energy storage and energy requires to complete each of the operations.Type: GrantFiled: July 11, 2018Date of Patent: September 22, 2020Assignee: WILIOT, LTD.Inventors: Yaron Elboim, Dotan Ziv, Yuval Amran, Nir Shapira
-
Patent number: 10769008Abstract: The present disclosure relates to a computer-implemented method for use in an electronic design. The method may include receiving, using at least one processor, an electronic design and analyzing the electronic design. The method may further include generating one or more preconditions representative of metastability effects at the output of at least one synchronizer associated with the electronic design. The method may also include generating, based upon, at least in part, the one or more preconditions, one or more properties configured to analyze a propagation of the metastability effects associated with the at least one synchronizer.Type: GrantFiled: December 6, 2016Date of Patent: September 8, 2020Assignee: Cadence Design Systems, Inc.Inventors: Alberto Manuel Arias Drake, Andrea Iabrudi Tavares, Artur Melo Mota Costa, Fabiano Cruz Peixoto, Laiz Lipiainen Santos, Lucas Ferreira de Melo Diniz, Nathália Peixoto Reis, Patricia Sette Câmara Haizer, Regina Mara Amaral Fonseca, Tamires Vargas Capanema Franco Santos
-
Patent number: 10755015Abstract: The disclosed embodiments include systems and methods of building an agnostic model of a physically-based semiconductor device. The embodiments may include implementing, in the agnostic model, an arbitrary voltage source in series between a node voltage and a zero value voltage source, implementing, in the agnostic model, a reference capacitor in series between the node voltage and a dummy voltage source, implementing, in the agnostic model, an arbitrary current source between a first node and a second node. The arbitrary current source may include the dummy voltage source divided by the reference capacitor, and the arbitrary current source may model the change in the any property, such as charge, over time within the semiconductor device.Type: GrantFiled: August 21, 2018Date of Patent: August 25, 2020Assignee: SEMICONDUCTOR COMPONENTS INDUSTRIES, LLCInventors: James Joseph Victory, Mehrdad Baghaie Yazdi
-
Patent number: 10750126Abstract: One or more key performance indicators are necessary to properly measure the health of video surveillance applications and the supporting infrastructure. Some of the key performance indicators include: Video Path Uptime (VPU), Video Stream Delivery Index (VSDI), and, Video Retention Compliance (VRC). From these metrics, it is possible to calibrate whether a surveillance infrastructure is operating properly. These metrics can be used to properly alert video network administrators of problems that are actually affecting the video surveillance application. It is also possible to use these metrics to build better analytics to determine root cause of problems as well as build prediction models for potential problems before they occur.Type: GrantFiled: September 24, 2014Date of Patent: August 18, 2020Assignee: VIAKOO, INC.Inventors: Alex Sternberg, David Nelson-Gal, Jason Banich, Eric Green, Manqing Liu
-
Patent number: 10725893Abstract: A system and method for determination of code coverage for software applications in a network environment. In accordance with an embodiment, a software application can be instrumented by a code coverage tool to contain instructions for tracing executed code, and sending collected data to a network grabber at an indicated network address or port. A code coverage tool enables tests to be run on an instrumented software application. A network grabber receives, at a network address or port, code coverage data from one or more application tests.Type: GrantFiled: March 28, 2014Date of Patent: July 28, 2020Assignee: ORACLE INTERNATIONAL CORPORATIONInventors: Dmitry Fazunenko, Alexey Fedorchenko
-
Patent number: 10726182Abstract: Disclosed approaches involve simulating a circuit design specified in a hardware description language (HDL). During simulation, a thread is started at an edge of a simulation clock signal for evaluation of states of a finite state machine (FSM) that represent a series of events specified in a statement in the HDL. The thread transitions from one state to a next state in the FSM in response to evaluation of the one state. In response to encountering a fork state in the FSM, the thread is forked into two threads during simulation. The fork state represents a composite operator in the statement, and the FSM has a branch from the fork state for each operand of the composite operator. In response to encountering a join state in the FSM by the two threads, the two threads are joined into one thread.Type: GrantFiled: August 9, 2018Date of Patent: July 28, 2020Assignee: Xilinx, Inc.Inventors: Sandeep S. Deshpande, Feng Cai, Saikat Bandyopadhyay
-
Patent number: 10719299Abstract: A system and method for physical connection of components in a graphical modeling environment. For each component, a physical component subsystem is built by providing at least one functional block representative of a mathematical model of the component, associating one or more first unidirectional internal input ports and/or one or more first unidirectional internal output ports with the at least one functional block, and associating one or more second unidirectional internal input ports and/or one or more second unidirectional internal output ports with the at least one functional block, the physical component subsystem configured to receive first information from an upstream block through each first internal input port, output second information to a downstream block through each first internal output port, receive third information from the downstream block through each second internal input port, and output fourth information to the upstream block through each second internal output port.Type: GrantFiled: September 15, 2014Date of Patent: July 21, 2020Assignee: PRATT & WHITNEY CANADA CORP.Inventors: Jean Gagnon, Valeri Soukhostavets
-
Patent number: 10713268Abstract: The embodiments described herein relate to a method and system for social awareness which may be based on social networks for knowledge exchange. More specifically, the embodiments may refer to specific social networks with social elements in the user interface based on knowledge exchange, social theory of group memberships within an enterprise or organization context. In addition, the disclosed group memberships may be predicated upon many different types of relationships. Furthermore, the social network (through a program interface) may provide to users the required specific project resources (project team members), which may be need to develop a better project performance according to the experience and knowledge of the new members. The required project team members may match with the attributes and criteria established during the project planning.Type: GrantFiled: June 14, 2017Date of Patent: July 14, 2020Assignee: Massachusetts Mutual Life Insurance CompanyInventors: Gopika Kannan, Jennifer Fabrizi, Robert Polkowski
-
Patent number: 10712734Abstract: Continuous monitoring of a model in an interactive computer simulation station. The model comprises a plurality of interrelated parameters defining a dynamic behavior of a simulated interactive object in an interactive computer simulation when inputs are provided on tangible instrument(s) of the station. During a diagnostic period of time, a frequency sweep of the model is performed for measuring the dynamic behavior of the simulated interactive object. During the frequency sweep, each of the tangible instrument(s) is automatically mechanically moved following an input function defining an input range variation at a related frequency. The frequency sweep provides an actual frequency response function for the tangible instrument(s) defining the dynamic behavior. The station is determined to require maintenance when the dynamic behavior of the simulated interactive object, measured by the frequency sweep, is outside of a target dynamic behavior range for the simulated interactive object.Type: GrantFiled: March 31, 2017Date of Patent: July 14, 2020Assignee: CAE Inc.Inventor: Vincent Myrand-Lapierre
-
Patent number: 10708341Abstract: A lightweight and extensible information model for machine-to-machine systems is disclosed. A service layer information management architecture uses three categories of atomic objects, subjects, actions, and descriptions. Information for use within the model is built using the atomic information objects. Application programming interfaces are used to perform operations and information processing by different nodes. Common service functions are used in the model as instances of a generic common service information model.Type: GrantFiled: May 21, 2014Date of Patent: July 7, 2020Assignee: Convida Wireless, LLCInventors: Guang Lu, Dale N. Seed, Lijun Dong, Quang Ly, Shamim Akbar Rahman, Chonggang Wang
-
Patent number: 10698802Abstract: A method for generating a validation test for testing an electronic design may include using a processor, analyzing a plurality of actions of a validated scenario to identify an executable corresponding to each of the actions and to identify one or a plurality of variables referred to by each of the actions; using a processor, identifying actions in said plurality of actions that correspond to different executables of the identified executables but refer to a same variable of said one or a plurality of variables that is to be written to or read from a shared memory assigned to the different executables; and using a processor, generating a test code for the validated scenario that includes one or a plurality of access protection commands to manage access by the identified actions that correspond to the different executables and refer to the same variable.Type: GrantFiled: March 21, 2018Date of Patent: June 30, 2020Assignee: CADENCE DESIGN SYSTEMS, INC.Inventor: Meir Ovadia
-
Patent number: 10691517Abstract: In one example in accordance with the present disclosure, a method for determining operating frequencies includes receiving a warranty period for a computer component. The method includes determining an operating frequency that will cause a predicted life cycle of the computer component operating at the operating frequency to fall within the warranty period. The method includes setting the computer component to operate at the operating frequency.Type: GrantFiled: July 17, 2015Date of Patent: June 23, 2020Assignee: Hewlett Packard Enterprise Development LPInventors: Vincent Nguyen, Robert E Van Cleve, Kevin G Depew, Scott P Faasse
-
Patent number: 10684936Abstract: Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.Type: GrantFiled: September 11, 2018Date of Patent: June 16, 2020Assignee: The MathWorks, Inc.Inventors: Mahesh Nanjundappa, S. M. Shahed Nejhum, Vijaya Raghavan, Krishna Balasubramanian, John P. Dirner
-
Patent number: 10685147Abstract: Areas of non-conformances in a manufactured object are electronically mapped within a coordinate system of the object. Boundary lines of the areas containing the non-conformances are displayed on a 3-D image of the product. Visualization of the boundary lines of areas containing multiple non-conformances allows tracking of non-conformances, identification of trends in non-conformances and correction of production processes in order to reduce non-conformances.Type: GrantFiled: February 29, 2016Date of Patent: June 16, 2020Assignee: The Boeing CompanyInventors: Brian N. Slack, Thomas Alexander Brown, Jennifer Diane MacKay, Guy Stockie, Yanxin Emily Wang, Lori Lynne Woodbury
-
Patent number: 10685148Abstract: Disclosed aspects relate to managing a set of spatial zones associated with an architectural layout. A first spatial zone of the set of spatial zones is detected. The first spatial zone has a first spatial zone size value. By comparing the first spatial zone size value with a threshold spatial zone size value, it is determined to convert the first spatial zone. Based on proximity, a group of conversion candidates is identified from the set of spatial zones. Based on the first spatial zone and the group of conversion candidates, a second spatial zone is determined using an architectural criterion. Using the second spatial zone, a design-model of the architectural layout is established.Type: GrantFiled: July 26, 2016Date of Patent: June 16, 2020Assignee: MITEK HOLDINGS, INC.Inventors: William A. Wright, Michael G. Shnitman
-
Patent number: 10679228Abstract: Provided herein are methodologies, systems, and devices for simulating the performance of products a within a display area of a retail store. Data relating to a product's attributes, location within a display area, and historical performance can be used to create a model that can predict the impact on sales that will result from moving particular items from one location in a display area to another location. Once created, this model can predict a product's performance at various locations and assist in optimizing product placement within a display area. A GUI of an electronic device can display a virtual display area that allows a user to create various product placement scenarios. The model may also display product placement recommendations based on the predicted performance values of various products at different locations within a display area.Type: GrantFiled: March 30, 2016Date of Patent: June 9, 2020Assignee: Walmart Apollo, LLCInventor: Murthy Narayana Kolluru
-
Patent number: 10678673Abstract: According to an aspect of an embodiment, a method may include executing multiple tests with respect to code under test of a software program to perform multiple test executions. The method may further include identifying one or more passing tests and one or more failing tests of the test executions. In addition, the method may include determining an aggregated score for each statement based on two or more of: the passing tests and the failing tests; a semantic similarity between one or more statement tokens included in the respective statement and one or more report tokens included in an error report; and an amount of time that has passed from when the respective statement received a change. Moreover, the method may include identifying a particular statement of the plurality of statements as a fault location in the code under test based on the aggregated scores of the plurality of statements.Type: GrantFiled: July 12, 2017Date of Patent: June 9, 2020Assignee: FUJITSU LIMITEDInventors: Ripon K. Saha, Mukul R. Prasad
-
Patent number: 10678989Abstract: A method for timing optimization is disclosed. The method includes obtaining information on timing of paths in a chip, wherein the information includes a mean of slacks and a sigma of slacks of each of the paths, determining a sigma margin (SM) value each of the paths, the SM value being obtained by dividing the mean by the sigma, and determining that a first path of the paths is more critical than a second path of the paths, an SM value of the first path being smaller than that of the second path.Type: GrantFiled: January 18, 2018Date of Patent: June 9, 2020Assignee: TAIWAN SEMICONDUCTOR MANUFACTURING COMPANY LTD.Inventors: Yen-Pin Chen, Tzu-Hen Lin, Tai-Yu Cheng, Florentin Dartu, Chung-Hsing Wang
-
Patent number: 10679735Abstract: Improved computer-implemented tools for use in modeling/simulating spatial charge distributions for electrophysiological systems are provided. The improvements are in three areas: (1) the use of solid angles to calculate quantities of free charge and/or bound charge in calculation cells and/or the movement of quantities of free charge across one or more faces of a calculation cell; (2) the use of flattened calculations cells having only two faces with substantial areas as seen from the free charge and/or the bound charge of the electrophysiological system; and (3) the use of at least two spatial charge distributions, specifically, at least one for bound charge and at least one for free charge, so as to include the effects of relative dielectric constants greater than 1.0 for part or all of an electrophysiological system. The three improvements can be used individually or in combinations.Type: GrantFiled: November 27, 2018Date of Patent: June 9, 2020Inventor: Maurice M. Klee
-
Patent number: 10671785Abstract: Simulating a hardware description language design including a core and a testbench can include performing, using a processor, a first compilation of the hardware description language design by generating a compiled core unit for the core, a compiled testbench for the testbench, and synchronization data describing signals crossing a compile checkpoint boundary. A subsequent compilation of the hardware description language design can be performed by reusing the compiled core unit from the first compilation and generating a new compiled testbench for the testbench using the synchronization data.Type: GrantFiled: December 6, 2016Date of Patent: June 2, 2020Assignee: Xilinx, Inc.Inventors: Valeria Mihalache, Kumar Deepak, Saikat Bandyopadhyay, Sandeep S. Deshpande, Feng Cai
-
Patent number: 10656528Abstract: In the embodiments disclosed herein, an approach based on a mask function M is disclosed. This approach meets the requirement of the Hopkins model and at the same time incorporates the incident angle effects of a given partially coherent illumination. The new mask function M is referred to as a partially coherent mask function (PCMF). In the embodiments disclosed herein, the incident angle effects of individual source points of a given partially coherent illumination are removed from the mask function M and incorporated into a source function G. As a result, use of the partially coherent mask function M does not require an integration over individual plane waves in the illumination, as would be the case with a rigorous mask function M. Therefore, the Hopkins model can be used with partially coherent mask function M and at the same time capture the incident angle effects.Type: GrantFiled: January 2, 2019Date of Patent: May 19, 2020Assignee: Synopsys, Inc.Inventor: Peng Liu
-
Patent number: 10649887Abstract: An apparatus, a computer program product and a method for co-verification of systems comprising software and hardware components. The method comprises obtaining an over-approximation of the system that over-approximates the software or the hardware by using a non-deterministic version thereof; performing simulation of the over-approximation of the system; and utilizing an outcome of the simulation to guide a co-simulation of the system. The co-simulation comprises instrumenting the software to identify whether the coverage goals are reached during execution, generating a test input for the system, simulating execution of the test input by the instrumented software, wherein during said simulating, stimuli provided from the instrumented software to underlying hardware is provided to a hardware simulator that is configured to simulate the hardware-under-test; determining a coverage of the execution of the test input, and utilizing the coverage information in a successive iteration of the method.Type: GrantFiled: February 27, 2018Date of Patent: May 12, 2020Assignee: International Business Machines CorporationInventors: Fady Copty, Dov Murik, Sharon Keidar Barner
-
Patent number: 10650125Abstract: An electronic apparatus operated based on an OS is provided. The electronic apparatus includes a storage to store the OS, a virtual device program capable of generating a virtual device executed based on the OS, and at least one program; and at least one processor to execute the virtual device program to generate the virtual device, and to execute the OS to determine whether a first program having an administration authority assigned by the OS from among the at least one program has access authority to data about the virtual device in response to an attempt to access the data from the first program and to selectively permit the access to the data based on the determined access authority. With this, the electronic apparatus may restrain the access to the virtual device or the data thereabout according to a presence of the access authority, thereby safely protecting the virtual device or the data.Type: GrantFiled: March 1, 2017Date of Patent: May 12, 2020Assignee: Samsung Electronics Co., Ltd.Inventors: Dong-hwa Jeong, Sung-kyu Lee, Hyun-cheol Park, Chang-woo Lee
-
Patent number: 10650174Abstract: The present disclosure relates to a system and method for use in an electronic design environment. Embodiments may include receiving, using at least one processor, an electronic design and generating a unique name for each hardware state element associated with the electronic design. Embodiments may further include generating a unique name for each software state element associated with the electronic design. Embodiments may also include combining a plurality of unique names into an arbitrary expression, wherein the plurality of unique names includes at least one software state unique name and at least one hardware state unique name. Embodiments may further include evaluating the arbitrary expression at one or more discrete time points. Embodiments may also include recording an evaluated expression in an electronic design database.Type: GrantFiled: May 24, 2017Date of Patent: May 12, 2020Assignee: Cadence Design Systems, Inc.Inventors: Andrew Robert Wilmot, Rohan Kangralkar, George Franklin Frazier, Neeti Khullar Bhatnagar
-
Patent number: 10639547Abstract: A method of networked simulation during a multiplayer game for a server includes: simulating at the server at least a first interactive object of a virtual environment, detecting whether a user of a first client may interact with the first interactive object within the virtual environment, and if so, setting the server to a co-operative simulation mode in which the server is arranged to receive data corresponding to an outcome of a simulation by the first client of an interaction between the first interactive object and an avatar of the user; receiving data from the first client corresponding to the outcome of the simulation by the first client of the interaction between the first interactive object and the avatar of the user, and updating the server simulation of the first interactive object responsive to the received data.Type: GrantFiled: February 14, 2018Date of Patent: May 5, 2020Assignee: Sony Interactive Entertainment Inc.Inventor: Michael John Atkins
-
Patent number: 10643284Abstract: The present disclosure is directed to methods for providing insurance brokerage services for both a property owner and potential insurers. The methods provides for virtual websites and related mobile applications for estimating the value of a property based on current reconstruction costs. The methods also provide for aiding a property owner in procuring an insurer by compiling property valuation information in a format that is submitted to potential insurers to bid upon. The methods further provides for helping property owners manage changes to property value and updating insurance policy based on valuation changes to reconstruction costs as well as compiling information for reconstruction costs when damage does occur. Finally, disclosure provides for methods of maintaining important records for insurer, maintaining communications between insured and insurer, and providing emergency services related to the insured property in the time of emergencies related to the insured property.Type: GrantFiled: March 6, 2015Date of Patent: May 5, 2020Inventor: Christopher Rogers
-
Patent number: 10635765Abstract: Clusters of metrics in a system are stored. A display region is divided into n divided regions in such a way that an area of a divided region i (1?i?n) is equal to or larger than an area of a divided region i+1. Each cluster is allocated to the divided region i sequentially selected from i=1, in the decreasing order of the number of metrics contained in each of the clusters, in such a way that the number of the clusters allocated to the divided region i+1 is equal to or more than the number of clusters allocated to the divided region i. The cluster allocated to the divided region i is drawn in the divided region i.Type: GrantFiled: May 1, 2019Date of Patent: April 28, 2020Assignee: NEC CORPORATIONInventor: Masanao Natsumeda
-
Patent number: 10635577Abstract: A computer-implemented method may include: receiving a request to integrate a commit; obtaining analytics data of an author that developed the commit; executing a simulation using the analytics data of the author as inputs to the simulation; obtaining results from the simulation, wherein the results indicate error rates when one or more testing stages are omitted from a testing procedure of the commit; comparing the results of the simulation with a threshold; determining, by the computing the device, the testing procedure based on the comparing, wherein the testing procedure identifies the one or more testing stages that are omitted and one or more testing stages that are included in the testing procedure; and outputting information regarding the determined testing procedure, wherein the outputting causes an integration server to test the commit in accordance with the testing procedure as part of an integration process for integrating the commit to a project.Type: GrantFiled: April 7, 2017Date of Patent: April 28, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Aaron K. Baughman, Cameron McAvoy, Brian M. O'Connell
-
Patent number: 10634778Abstract: Camera-assisted tracking of point objects in a radar system is provided. An extended Kalman filter framework based on both radar and camera observations is used to track point objects detected in frames of radar signal data. This framework provides a minimum mean square estimation of the current state of a point object based on previous and current observations from both frames of radar signals and corresponding camera images.Type: GrantFiled: October 21, 2015Date of Patent: April 28, 2020Assignee: TEXAS INSTRUMENTS INCORPORATEDInventors: Yucheng Liu, Vikram VijayanBabu Appia, Muhammad Zubair Ikram
-
Patent number: 10635766Abstract: In a data processing system, a processor creating level qualifying logic within instrumentation of a hardware description language (HDL) simulation model of a design. The level qualifying logic is configured to generate a first event of a first type for a first simulation level and to generate a second event of second type for a second simulation level. The processor simulates the design utilizing the HDL simulation model, where the simulation includes generating the first event of the first type responsive to the simulating being performed at the first simulation level and generating the second event of the second type responsive to the simulating being performed at the second simulation level. Responsive to the simulating, the processor records, within data storage, at least one occurrence of an event from a set including the first event and the second event.Type: GrantFiled: December 12, 2016Date of Patent: April 28, 2020Assignee: International Business Machines CorporationInventors: Guy L. Guthrie, Hugh Shen, Derek E. Williams
-
Patent number: 10630643Abstract: In some embodiments, a protected client operates a live introspection engine and an on-demand introspection engine. The live introspection engine detects the occurrence of certain events within a protected virtual machine exposed on the respective client system, and communicates the occurrence to a remote security server. In turn, the server may request a forensic analysis of the event from the client system, by indicating a forensic tool to be executed by the client. Forensic tools may be stored in a central repository accessible to the client. In response to receiving the analysis request, the on-demand introspection engine may retrieve and execute the forensic tool, and communicate a result of the forensic analysis to the security server. The server may use the information to determine whether the respective client is under attack by malicious software or an intruder.Type: GrantFiled: December 19, 2016Date of Patent: April 21, 2020Assignee: Bitdefender IPR Management Ltd.Inventors: Dan H. Lutas, Daniel I. Ticle, Radu I. Ciocas, Sandor Lukacs, Ionel C. Anichitei
-
Patent number: 10622932Abstract: A method for emulating a three-phase, brushless DC motor using a load emulator that is connected in a three-phase manner via load terminals to supply terminals of a motor control unit. The load emulator has emulator power electronics and an emulator control unit for controlling the emulator power electronics. The emulator control unit determines the supply terminals that are actuated by the motor control unit and the supply terminals that are not actuated, and the emulator power electronics are actuated by the emulator control unit in such a way that phase currents calculated by the emulator control unit on the basis of a motor model flow in the supply terminals that are actuated by the motor control unit and a phase voltage calculated by the emulator control unit on the basis of a motor model is applied to the supply terminal that is not actuated by the motor control unit.Type: GrantFiled: October 28, 2016Date of Patent: April 14, 2020Assignee: dSPACE digital signal processing and control engineering GmbHInventor: Nils Holthaus
-
Patent number: 10621386Abstract: A method, a system and a non-transitory machine-readable storage medium are provided. In one or more aspects, a computer-implemented method for bias temperature instability (BTI) calculation of a device includes simulating the device, using an electronic design automation tool. The simulation includes determining a first degradation value after applying a first sequence of stress values to the device for a first plurality of time steps. The simulation further includes determining a first degradation recovery value after the first plurality of time steps. The simulation further includes determining a first recovered degradation value after the first plurality of time steps by combining the first degradation value and the first degradation recovery value. The first degradation value, the first degradation recovery value, and the first recovered degradation value are associated with one or more model parameters of the device.Type: GrantFiled: March 20, 2017Date of Patent: April 14, 2020Assignee: CADENCE DESIGN SYSTEMS, INC.Inventors: Alvin Chen, Jushan Xie, Si-Yu Liao, Chunyi Huang, Tianlei Guo, Yanhui Li, Runsheng Wang, Shaofeng Guo, Zhuoqing Yu, Ru Huang
-
Patent number: 10614193Abstract: This application discloses a design verification tool implementing in a functional verification environment with a computing system, a hardware emulator, or a combination thereof. The design verification tool can identify, from a power intent specification of a circuit design, operational states of circuitry described in the circuit design, and generate code coverage bins based on the operational states of the circuitry. The operational states of the circuitry correspond to operational capabilities of the circuitry supported by each of the power modes for the circuitry. The code coverage bins are configured to store code coverage events occurring when the circuitry operates in different power modes. The design verification tool can utilize the code coverage bins to record the code coverage events performed by the circuitry during functional verification operations in a verification environment, and also can generate at least one coverage metric based on the records of the code coverage events.Type: GrantFiled: January 31, 2018Date of Patent: April 7, 2020Assignee: Mentor Graphics CorporationInventors: Pankaj Kumar Dwivedi, Shweta Gulati
-
Patent number: 10614192Abstract: A method and apparatus for ranking combinations of mutants, test cases and random seeds in mutation testing, comprising obtaining, based on a signal of a test case target, logic gates related to the signal of the test case target and mutants on the related logic gates, for a compiled integrated circuit under test; calculating distances between the mutants and the signal of the test case target; performing a circuit simulation on the compiled integrated circuit under test to obtain activation cycle numbers corresponding to combinations of the mutants, test cases and random seeds; obtaining activation cycle number variances corresponding to combinations of the mutants and the test cases; and ranking the combinations of the mutants, the test cases and the random seeds based on the distances, the activation cycle numbers and the activation cycle number variances. The invention can reduce the probability that the mutation simulation selects equivalent mutants.Type: GrantFiled: January 18, 2018Date of Patent: April 7, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Peng Fei Gou, Bodo Hoppe, Yang Li, Dan Liu, Yang Liu
-
Patent number: 10607117Abstract: The invention provides a method for recognition of information in digital image data, said method comprising a learning phase on a data set of example digital images having known information, and characteristics of categories are computed automatically from each example digital image and compared to its known category, said method comprises training a convolutional neural network comprising network parameters using said data set, in which via deep learning each layer of said convolutional neural network is represented by a linear decomposition of all filters as learned in each layer into basis functions.Type: GrantFiled: June 3, 2016Date of Patent: March 31, 2020Assignee: KEPLER VISION TECHNOLOGIES B.V.Inventors: Jorn-Henrik Jacobsen, Johannes Christianus Van Gemert, Reinier Van Den Boomgaard, Zhongyu Lou, Arnoldus Wilhelmus Maria Smeulders
-
Patent number: 10609034Abstract: Case management systems and techniques are disclosed. In various embodiments, a hierarchical permission model is received, comprising for each of at least a subset of case nodes comprising a hierarchical data model associated with a case model a corresponding set of case roles to be afforded permissions with respect to that case node and for each such case role a set of permissions to be associated with that case role with respect to that case node. The hierarchical permission model is used to enforce with respect to one or more case instances associated with the case model the permissions defined in the hierarchical permission model.Type: GrantFiled: June 21, 2018Date of Patent: March 31, 2020Assignee: Open Text CorporationInventors: Satyapal P. Reddy, Jeroen van Rotterdam, Muthukumarappa Jayakumar, Michael T. Mohen, Ravikumar Meenakshisundaram
-
Patent number: 10600007Abstract: A method and system to perform spatio-temporal prediction are described. The method includes obtaining, based on communication with one or more sources, multi-scale spatial datasets, each of the multi-scale spatial datasets providing a type of information at a corresponding granularity, at least two of the multi-scale spatial datasets providing at least two types of information at different corresponding granularities. The method also includes generating new features for each of the multi-scale spatial datasets, the new features being based on features of each of the multi-scale spatial datasets and spatial relationships between and within the multi-scale spatial datasets. The method further includes selecting, using the processor, features of interest from among the new features, training a predictive model based on the features of interest, and predicting an event based on the predictive model.Type: GrantFiled: August 4, 2014Date of Patent: March 24, 2020Assignee: INTERNATIONAL BUSINESS MACHINES CORPORATIONInventors: Wei Shan Dong, Arun Hampapur, Hongfei Li, Li Li, Xuan Liu, Chun Yang Ma, Songhua Xing
-
Patent number: 10599799Abstract: Computer-implemented systems and methods for modeling low-dropout (LDO) regulators and charge pumps are provided. A relationship between an output voltage of an LDO regulator or charge pump and a loading condition is determined. A frequency-domain analysis is performed at multiple frequencies to determine an impedance function representative of an impedance of the LDO regulator or charge pump at each of the multiple frequencies. A vector-fitting algorithm is applied to approximate the impedance function using a plurality of poles and residues. A circuit is synthesized based on the plurality of poles and residues. A model for the LDO regulator or charge pump is generated, where the model includes the synthesized circuit and components that model the relationship between the output voltage and the loading condition.Type: GrantFiled: October 25, 2017Date of Patent: March 24, 2020Assignee: ANSYS, Inc.Inventors: Deqi Zhu, Yi Cao, Shan Wan, Norman Chang