|
Match
|
Document |
Document Title |
|
|
7213187 |
Digital logic test method to systematically approach functional coverage completely and related apparatus and system
A digital logic test method for systematically testing a pipeline-structured integrated circuit chip is disclosed. The method includes the steps of: providing an integrated circuit chip capable of...
|
|
|
7209799 |
Predictive modeling of machining line variation
A multistage machining process includes a plurality of stations. Workpiece feature quality is predicted based on decomposition of the machining process into sources of variation, reticulation of...
|
|
|
7206731 |
Electromagnetic/circuit co-simulation and co-optimization with parametric layout components
Simulation of electromagnetic characteristics of an electrical circuit uses netlist data defining component instances, including layout component instances, and their topological interconnection in...
|
|
|
7206730 |
HDL preprocessor
The present invention describes a VHDL preprocessor. Configurable and flexible VHDL sources comprise statements that are replaceable by specific values dependent on design requirements.
|
|
|
7206732 |
C-API instrumentation for HDL models
A method and system for instrumenting testcase execution processing of a hardware description language (HDL) model using a simulation control program. In accordance with the method of the present...
|
|
|
7207035 |
Apparatus and method for converting an instruction and data trace to an executable program
An apparatus and method for converting an instruction and data trace to an executable program are provided. The apparatus and method are used to convert an instruction and data trace to an...
|
|
|
7203633 |
Method and system for selectively storing and retrieving simulation data utilizing keywords
Disclosed herein is a method of storing data results of simulation processing of a hardware description language (HDL) model based upon keywords. In accordance with the method, result data obtained...
|
|
|
7203635 |
Layered models for context awareness
The present invention relates to a system and methodology providing layered probabilistic representations for sensing, learning, and inference from multiple sensory streams at multiple levels of...
|
|
|
7203634 |
Computational geometry system, interrupt interface, and method
A computational geometry server is provided that includes a server, a communication link, at least one client, and an interrupt interface. The server has processing circuitry and an operation...
|
|
|
7197445 |
Atomic transaction processing for logic simulation
A method ( 900 ) of modeling transactions and performing inertial rejection can include representing a plurality of scalar signals as one or more transaction objects, wherein each transaction...
|
|
|
RE39534 |
Method and apparatus to calibrate a semi-empirical process simulator
A method and apparatus for calibrating a semi-empirical process simulator used to determine process values in a plasma process for creating a desired surface profile on a process substrate includes...
|
|
|
7197447 |
Methods and systems for analyzing software reliability and availability
Disclosed is a software application reliability and availability tracking and reporting mechanism that collects event data from target computers, analyzes the data, and produces reliability and...
|
|
|
7194397 |
Robust uninhabited air vehicle active missions
A command sequence for an autonomous UAV mission is optimized by simulating the performance of a mission in a model environment. Using a genetic algorithm, neural net, or other suitable technique...
|
|
|
7191086 |
System for verifying media video decoding capability of a software model
A method for verifying operation of a media acceleration engine. The method includes providing input data to a replica of a media acceleration engine wherein the input data including a complete set...
|
|
|
7188061 |
Simulation monitors based on temporal formulas
A method for design verification includes receiving a software model of a design of a system under evaluation, and providing a property, which is dependent on a specified variable having a...
|
|
|
7188162 |
Method and equipment for setting up a protocol/system protocol
A method is used for generating a system protocol for control and/or monitoring equipment for one or more machines and/or processes. The equipment comprises a number of modules which can...
|
|
|
7188146 |
Navigation apparatus capable of generating and displaying information and method therefor
In a navigation system in which the page data loaded from a server are displayed in a terminal, the server receiving the request for data loading from the terminal transmits the requested data if...
|
|
|
7185104 |
Methods and systems for optimizing network traffic
The present invention provides methods and systems for evaluating network traffic. By generating successive sets of weights relating to a performance surface using a variety of heuristic...
|
|
|
7184346 |
Memory cell sensing with low noise generation
Various methods, apparatuses and systems in which a memory uses a noise reduction circuit to sense groups of memory cells. The memory has a plurality of memory cells organized into groups of memory...
|
|
|
7184945 |
Service distribution device
A service distribution device and method for balancing load distribution among servers without placing the servers in a high load or overloaded state. Models of the servers and services are...
|
|
|
7184946 |
Co-simulation via boundary scan interface
Method and apparatus for interfacing a high-level modeling system (HLMS) with a reconfigurable hardware platform for co-simulation. In one embodiment a boundary-scan interface is coupled to the...
|
|
|
7181727 |
Providing data indicative of the performance of a competing algorithm and an incumbent algorithm
A method for providing data indicative of the performance of a competing algorithm and an incumbent algorithm includes evaluating an incumbent-algorithm score indicative of a performance of an...
|
|
|
7181371 |
Apparatus and method for inputting measurements into a software product to construct software models of architectural structures
In accordance with the present invention, an apparatus and method for creating a model, including the third dimension (3D), in a CAD program directly from a laser or sonar measuring device. As the...
|
|
|
7181385 |
Process for distribution of a program code to a plurality of measuring instruments
A method for distributing a program code to a plurality of measuring instruments, each of which is coupled to a control computer respectively via a second bus wit the control computer being coupled...
|
|
|
7177786 |
Implementing a model on programmable hardware
A computer-implemented system and method for generating a hardware implementation of graphical code. The method comprises first creating a graphical program. A first portion of the graphical...
|
|
|
7174286 |
Systems and methods for defining a simulated interactive web page
The system includes a novel software application interactive representation modeling language, a software application ( 82 ) operative to use the modeling language to create, read and modify...
|
|
|
7174169 |
Design support system, design support method, and computer readable record medium on which program for use in those system and method is recorded
The present invention facilitates optimization of design values of system parameters in designing mobile communication system facilities. The present invention includes a criteria memory storing...
|
|
|
7171346 |
Mismatch modeling tool
A mismatch modeling tool ( 10 ) comprises a software implemented mismatch model ( 32 ). The software implemented mismatch model ( 32 ) accesses: at least one editable mismatch model data library (...
|
|
|
7171208 |
Method and system, with component kits for designing or deploying a communications network which considers frequency dependent effects
A computerized model provides a display of a physical environment in which a communications network is or will be installed. The communications network is comprised of several components, each of...
|
|
|
7167821 |
Evaluating hardware models having resource contention
A performance prediction simulator gives effect to the resource contention among multiple resources in a simulated system by adjusting event durations appropriately. A resource topology tree...
|
|
|
7165017 |
Method and apparatus for conducting linked simulation operations utilizing a computer-based system model
A method of conducting a sequence of linked simulation operations, utilizing a computer-based simulation model, commences with the performance of a first simulation operation to generate an output...
|
|
|
7158926 |
Cluster availability model
The present invention describes a method and system for creating a cluster availability model that takes into account availabilities of software components in the cluster. Aspects of the disclosure...
|
|
|
7155617 |
Methods and systems for performing dynamic power management via frequency and voltage scaling
Methods and systems are provided for dynamically managing the power consumption of a digital system. These methods and systems broadly provide for varying the frequency and voltage of one or more...
|
|
|
7152028 |
Software development tool with embedded cache analysis
This invention is a method of complex cache memory analysis and synthesis. This invention proceeds in the normal fashion of writing a program and simulating it, but makes use of a closed loop...
|
|
|
7151995 |
Method for the prediction of air traffic events, especially for assistance in decision-making for airlines and airports
In a method for the prediction of air-traffic events, with sending means being distributed on the sites of the air-traffic actors, and with data-processing means communicating with these sending...
|
|
|
7149679 |
Complex process modeling and simulation system and method
A method and apparatus for creating a complex process model for use in a graphical environment, with the process utilizing defined entities including places, transitions, and arcs. Places represent...
|
|
|
7149678 |
High level executable network abstract machine
A generic algorithm for simulating communications software in the network environment, based on the model of plural Abstract State Machines (ASMs) is discussed. Other properties and behaviors can...
|
|
|
7149677 |
Geometric model comparator and method
A geometric model comparator is provided, which includes processing circuitry, memory, and comparison circuitry. The processing circuitry is configured to generate a target model from a source...
|
|
|
7149664 |
Method and apparatus for queue modeling
A method, apparatus, and computer program product for modeling dynamics of a queue are disclosed. A queue law function can be used to determine a control function for use in a congestion control...
|
|
|
7149676 |
Variable accuracy modes in microprocessor simulation
The performance of a system is simulated in a method comprising: performing simulation in a first simulation mode for at least a first portion of code that models at least a portion of the system;...
|
|
|
7146305 |
Analytical virtual machine
An analytical virtual machine (AVM) analyzes computer code using a software processor including a register that stores behavior flags indicative of behaviors identified by virtually executing the...
|
|
|
7146304 |
Method and apparatus for lane and front-end planning and design analysis
The Lane and Front-end Effectiveness Model (LFEM) is a self-contained PC desktop application that allows an analyst to quantitatively predict the impact of changes to their checkout operations....
|
|
|
7146581 |
Automated repartitioning of hardware and software components in an embedded system
A hardware-software system design optimization tool is described. The tool allows a designer to optimize the system performance by allowing him to select software components of the system and move...
|
|
|
7143369 |
Design partitioning for co-stimulation
Method and apparatus for simulating operations of a circuit design that includes high-level components and HDL components. Groups of HDL components are associated with different co-simulation...
|
|
|
7133820 |
Method and apparatus for debugging programs in a distributed environment
A method and apparatus for debugging programs in a distributed environment, such as a set of heterogeneous hardware processors (integrated circuits or In-Circuit Emulators), and/or software-based...
|
|
|
7133813 |
Knowledge-based system and method for automated vehicle packaging design
A vehicle package design system includes a data store of vehicle packages defined in terms of spatial dimensions relating vehicle hard points. A design engine adaptively renders a vehicle space...
|
|
|
7133842 |
System, method and program for bidding for best solution process execution in a heterogeneous network
In a system, method and program for bidding for a best solution process execution in a heterogeneous network, a network client provides a request to a network server for process execution. The...
|
|
|
7130776 |
Method and computer program product for producing a pattern recognition training set
The present invention recites a method and computer program product for generating a set of training samples from a single ideal pattern for each output class of a pattern recognition classifier. A...
|
|
|
7130915 |
Fast transaction response time prediction across multiple delay sources
This solution uses a statistical characterization of the transaction to predict the total effect on response time of each network component.
|
|
|
7130786 |
Using kernel level simulation techniques to improve application program robustness
A method and system for simulating system conditions at a kernel-level is provided. In one aspect, process identifiers of processes for which simulation is to be performed are transmitted along...
|