|
Match
|
Document |
Document Title |
|
|
7617303 |
Systems and method for optimizing access provisioning and capacity planning in IP networks
The present invention provides a method for avoiding demand forecast errors in a network topology model having a plurality of nodes, by monitoring and controlling the quantity of a selected port...
|
|
|
7613597 |
Non-intrusive method for simulation or replay of external events related to an application process, and a system implementing said method
This invention relates to a method for replaying, from a log file, events in a process belonging to a software application. This method in particular relates to internal events within a process...
|
|
|
7610569 |
Chip design verification apparatus and data communication method for the same
A method of verifying a chip design includes: a software side operation step of transmitting output data generated by an operation of a software block to an interface unit, determining whether...
|
|
|
7606695 |
Self-checking simulations using dynamic data loading
A system for evaluating a simulation includes a reference simulator configured to execute a simulation image to obtain golden data, a test simulator configured to execute the simulation image to...
|
|
|
7606684 |
Model creation tool for econometric models
A model creation tool is provided that automatically evaluates potential econometric models and, given a set of historical data on which the model is intended to operate and other constraints,...
|
|
|
7606165 |
What-if analysis for network diagnostics
A network troubleshooting framework is described. In an implementation, a method includes generating a first estimation of network performance by a simulator based on network settings obtained from...
|
|
|
7603573 |
System and method for optimizing computational density
A system and method of designing a computer system having a plurality of processors. A computational density is selected for the computer system, wherein the computational density is expressed as a...
|
|
|
7603372 |
Modeling file system operation streams
A method and a system for modeling file system operation streams of a computing environment. File system operations of the file system operation streams are workloads produced by the devices of the...
|
|
|
7599827 |
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...
|
|
|
7596654 |
Virtual machine spanning multiple computers
In one embodiment, a virtual NUMA system may be formed from multiple computer systems coupled to a network such as InfiniBand, Ethernet, etc. Each computer includes one or more software modules...
|
|
|
7590521 |
Method and system for probe optimization while instrumenting a program
A method and system is provided for instrumenting a program by optimizing probe insertion. The number of probe insertions into instrumented code is reduced by providing optimal probe insertion...
|
|
|
7590520 |
Non-deterministic testing
A computerized method creates test coverage for non-deterministic programs. The method receives a graph of edges and states representing a program under test, and creates a continuous cycle of...
|
|
|
7590508 |
Method and system for forecasting usage costs and computer capacity
The present invention provides at least a method and system for forecasting usage costs and computer capacity. With respect to the present invention, performance data and information related to...
|
|
|
7584083 |
Modeling and simulation of workcenter processes
A method includes generating a model of an existing workcenter process and a modified version of the existing workcenter process based on one or more decision-making parameters. The workcenter...
|
|
|
7584029 |
Telematics-based vehicle data acquisition architecture
A method of acquiring vehicle data from a vehicle data bus is disclosed. The method is responsive to the execution of a telematics application on a local telematics unit. The method comprises first...
|
|
|
7580962 |
Automatic code generation for co-simulation interfaces
A method of programmatically generating code from the elements of a system simulation is disclosed. The programmatic code generation includes the ability to generate code for foreign code...
|
|
|
7574625 |
Active content wizard testing
Automated testing of active content wizards is provided. A test infrastructure (TI) accesses a list of ACW to test and controls an ACW runtime engine to execute the ACWs. During ACW execution, the...
|
|
|
7574344 |
Static timing based IR drop analysis
A method for determining a maximum IR drop on a power grid of a circuit is disclosed. The method includes dividing a reference timing signal into multiple bins. Each one of the bins having a...
|
|
|
7571087 |
Computer storage exception handling apparatus and method for virtual hardware system
In a design system using virtual hardware models, a filtering manager for filtering execution results and determining which software instructions are candidates for restructuring. In some examples,...
|
|
|
7571082 |
Common component modeling
A method and apparatus for producing predictive performance and capacity information employing a type of factory to reduce the ongoing cost of providing simulation models to answer questions raised...
|
|
|
7565280 |
Solver for simulating a system in real time on a programmable hardware element
A method for performing a simulation of a system. The system includes an FPGA that is configured to implement simulation logic, such as a generic solver. For example, the FPGA device may implement...
|
|
|
7565275 |
Model and system state synchronization
Embodiments of model and system state synchronization are presented herein. An exemplary model of a distributed system includes a plurality of instances where an instance includes an instantiation...
|
|
|
7562004 |
Determining better configuration for computerized system
A better configuration for a computerized system is determined by performing a first stage and a second stage. In the first stage, the performance of each system configuration, including candidate...
|
|
|
7562003 |
Method for performing dynamic simulations within virtualized environment
A method and apparatus for and article of manufacture for simulating workloads experienced by multiple partitions in a virtualized system are provided. A master workload driver initiates,...
|
|
|
7562002 |
Agent, method and computer system for negotiating in a virtual environment
A multi-agent system is described that uses software agents to represent objects in a chosen real world environment. Each agent has structure having certain characteristics where a relation with...
|
|
|
7561994 |
Method for a virtual pregnancy experience
A system and method for delivering a virtual pregnancy experience over a computer network and creating a customized offspring based on traits of the virtual parents.
|
|
|
7559032 |
System and method for enabling a graphical program to respond to user interface events
A system and method for enabling a graphical program to receive and respond to programmatic events. The graphical program may include a graphical user interface having various user interface...
|
|
|
7558711 |
Generating a hardware description of a block diagram model for implementation 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...
|
|
|
7555689 |
Generating responses to patterns stimulating an electronic circuit with timing exception paths
Improved responses can be generated to scan patterns (e.g., test patterns) for an electronic circuit design having timing exception paths by more accurately determining the unknown values that...
|
|
|
7555419 |
Simulation of system execution of instructions
Instructions to be executed on a system are simulated. Representative simulation phases of the instructions, which most affect simulation results of the instructions to be executed on the system,...
|
|
|
7555418 |
Procedure summaries for multithreaded software
Procedure summaries can be generated and used for multithreaded software. A set of actions for a software procedure can be identified as atomically modelable with respect to multithreaded execution...
|
|
|
7552044 |
Simulated storage area network
Aspects of the subject matter described herein relate to simulating storage devices. In aspects, a test automation engine instructs a simulator to simulate a storage device having certain...
|
|
|
7552042 |
Method for message processing on a programmable logic device
Programmable architecture for implementing a message processing system using an integrated circuit is described. In an example, configurable logic of an integrated circuit is configured to have a...
|
|
|
7552040 |
Method and system for modeling logical circuit blocks including transistor gate capacitance loading effects
A method and system for modeling logical circuit blocks including transistor gate capacitance loading effects provides improved simulation of logical circuit block transition times and delay times....
|
|
|
7549165 |
Trusted operating system with emulation and process isolation
A trusted computer system that offers Linux® compatibility and supports contemporary hardware speeds. It is designed to require no porting of common applications which run on Linux, to be easy to...
|
|
|
7549069 |
Estimating software power consumption
Techniques are provided for characterizing processor designs and estimating power consumption of software programs executing on processors. A power model of a processor may be obtained by...
|
|
|
7548879 |
Convenience store effectiveness model (CSEM)
Convenience Store Effectiveness Model (CSEM) is a self-contained PC application to quantitatively predict operational and financial impact of changes to Convenience Store (CStore) and Financial...
|
|
|
7548844 |
Sequential tester for longest prefix search engines
The present invention is directed to a sequential tester for longest prefix search engines. The tester may include a longest prefix search engine, an inputs generator for providing a nearly random...
|
|
|
7548843 |
Simulation of distributed networks
Simulating network connections. A method includes generating a transaction by simulating a method model of a service model. The transaction includes representations of network interactions. A...
|
|
|
7546225 |
Methods and systems for electronics assembly system consultation and sales
Methods and systems for electronics assembly system consultation and sales build upon an approach to modeling and simulation of such systems in which the system is modeled at a preselected level of...
|
|
|
7543279 |
Method for simulating back program execution from a traceback sequence
A program execution data trace is created by instrumenting a program to record value sets during execution and an instruction trace. By simulating instructions either backward or forward from a...
|
|
|
7543266 |
Lock-free state merging in parallelized constraint satisfaction problem solvers
Solver state merging in parallel constraint satisfaction problem (CSP) solvers. Solver state during processing of a computational thread of parallel CSP solvers is represented as a set of support...
|
|
|
7539992 |
Scheduling method, program product for use in such method, and task scheduling apparatus
A task generation unit extracts classes forming a system from design information of the system designed on an object-oriented basis and generates tasks corresponding to the extracted classes. A...
|
|
|
7539980 |
Method and apparatus for concurrency testing within a model-based testing environment
A method and apparatus for concurrency testing within a model-based testing environment is provided. One implementation involves concurrency testing within a model-based software system testing...
|
|
|
7539495 |
Node placement method within a wireless network, such as a wireless local area network
The disclosure includes a method of and associated system for placing nodes ( 104 - 109 ) in a wireless local area network (WLAN). The method includes receiving user-specified parameters regarding...
|
|
|
7536292 |
Method of generating a performance model from a functional model
A process for generating a performance model from a functional model for a system including a plurality of distributed hardware and software entities that engage to provide a service to at least...
|
|
|
7536288 |
Method, system and program product supporting user tracing in a simulator
According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more...
|
|
|
7536284 |
Electrical wire interconnect system risk assessment tool
A system, method, and computer program product for assessing risk to an aircraft electrical wire interconnect system (EWIS). Information describing an aircraft EWIS, historical failure information,...
|
|
|
7526353 |
Sequence design support system
A sequence design support system is used to support a design of a sequence control program which controls a flow path condition of a fluid in an apparatus and piping system which is constructed...
|
|
|
7523030 |
Simulation system and computer program
Disclosed is a simulation system for displaying source lines in a behavior level description during execution of simulation to indicate the execution status of a conditional branch statement in a...
|