Match Document Document Title
7627843 Dynamically interleaving randomly generated test-cases for functional verification  
The input for a test generator is a plurality of test templates, each of which typically aims at covering a specific verification task. Test templates direct the production of distinct...
7620537 Distributed communications effects module  
A distributed communications effects module (DCEM) method, apparatus, and computer medium are adapted to provide communications effects to a simulated message in a distributed simulation in order...
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...
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...
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,...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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.
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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...
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 the...
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...
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...
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...
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...
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...
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...
7523025 Host terminal emulator  
Disclosed is a host terminal emulator installed in a client computer to detect a coordinate at which a non-protecting attribute is set from coordinates in CUI screen data when it is received from...