Match Document Document Title
7827020 Post initial microcode load co-simulation  
Disclosed is simulation of circuit behavior by running a central electronic core simulation in a high level simulator up to and including initial microload, creation of a post-IML (initial...
7827022 Sequential function chart validation tool  
Automated program validation components are provided to facilitate software program development for industrial control systems and processes. In one aspect, a simulation tool is provided for an...
7827017 Method and system for implementing circuit simulators  
A system and method for performing circuit simulation is described. The present approach provides methods and systems that create reusable and independent measurements for use with circuit...
7823095 ***WITHDRAWN PATENT AS PER THE LATEST USPTO WITHDRAWN LIST***
Method and system for implementing parallel processing of electronic design automation tools
 
Disclosed is an improved method and system for processing the tasks performed by an EDA tool in parallel. The IC layout is divided into a plurality of layout windows and one or more of the layout...
7813910 System and method for developing an application playing on a mobile device emulated on a personal computer  
A system, method and software product emulate and profile an application to play on a mobile device. Characteristics defining performance of the mobile device are defined. The mobile device is...
7813912 Profiling a hardware system generated by compiling a high level language onto a programmable logic device  
A method of profiling a hardware system can include compiling a high level language program into an assembly language representation of the hardware system and translating instructions of the...
7813911 Model based testing language and framework  
A model based testing framework is provided that can be incorporated into and used to supplement existing testing approaches. Via annotation of custom attributes and requirements, the framework...
7809545 System and method for using execution contexts in block diagram modeling  
A method of controlling the conditional execution of elements and subsystems in a block diagram is disclosed. Data structures known as Execution Contexts are created and associated with individual...
7809455 Method of correcting die model data  
A die is produced based on die model data. The produced die is corrected. The corrected die is three-dimensionally measured by a measuring tool to produce measured three-dimensional die data. A...
7809936 Method and apparatus for reconfiguring a remote device  
A system (100) for reconfiguring a remote device (102) (e.g., a client device) that includes at least one processor (200) and reconfigurable logic (202) that is operatively coupled to the...
7809534 Enhanced simulation models for automation  
A simulation tool for an industrial automation system is provided. The tool includes a simulation component that simulates one or more components of an industrial control system. At least one...
7801710 Simulation controls for model variability and randomness  
A tool for simulating an industrial control system is provided. The tool includes a simulation component to emulate one or more simulation models according to a simulated execution environment. A...
7797147 Model-based system monitoring  
Model-based system monitoring includes accessing a model of a system that includes multiple components and identifying relationships among the multiple components based on the model of the system....
7797650 System and method for testing SLB and TLB cells during processor design verification and validation  
A system and method for re-executing a test case and modifying the test case's effective addresses, effective segment identifiers (ESIDs), and virtual segment identifiers (VSIDs) in order to fully...
7792931 Model-based system provisioning  
Model-based system provisioning includes accessing a model of an application to be installed in a system and further accessing a model of the system. An installation specification for the...
7792941 Method and apparatus to determine hardware and software compatibility related to mobility of virtual servers  
A method and system for determining hardware and software compatibility related to mobility of virtual servers. Upon receiving an inventory of properties of a managed server which are relevant for...
7793271 Bi-directional product development process simulation  
A bi-directional software development process simulation model is described. The model simulates the stages of a software development process, using equations relating to defect injection and...
7793154 Method and implementation for automating processes using data driven pre-recorded transactions  
A computer implemented method, data processing system, and computer program product for automating processes using data driven pre-recorded transactions. A process server comprising process...
7788080 Paper interface for simulation environments  
Techniques for using a paper interface to replay time-based media information captured for a simulation and/or restart execution of a simulation program from a user-selectable time point. A static...
7788081 Method of communicating data from virtual setting into real-time devices  
A method of communicating data from a virtual setting to a real-time communication device includes launching a simulation program on a computing device, activating a communication object within...
7783468 Automated system and method for service and cost architecture modeling of enterprise systems  
An automated system and method is provided for system architects to model enterprise-wide architectures of information systems. From an initial model of a proposed system architecture, performance...
7783469 Methods and computer program products for benchmarking multiple collaborative services provided by enterprise software  
A simulated collaborative mix workload for determining the performance of enterprise software includes a combination of mail, instant messaging, electronic meetings, documents, and electronic...
7783470 Verification of concurrent programs having parameterized qualities  
A system and method for computing dataflow in concurrent programs of a computer system, like device drivers which control computer hardware like disk drives, audio speakers, etc., includes, given...
7779368 Systems and methods for presenting managed data  
Systems and methods for presenting managed data from one or more applications are invented and disclosed. A data storage management system comprises a data store, a data storage manager, and a...
7778815 Method for the fast exploration of bus-based communication architectures at the cycle-count-accurate-at-transaction-boundaries (CCATB) abstraction  
A computer system simulation method starts with algorithmically implementing a specification model independently of hardware architecture. High level functional blocks representing hardware...
7774184 Brownfield workflow and production forecast tool  
Computer-based method and system are disclosed for conduction a brownfield assessment. The system/method involves a workflow manager that standardizes the tasks needed to be performed during the...
7774188 ***WITHDRAWN PATENT AS PER THE LATEST USPTO WITHDRAWN LIST***
Running a virtual machine directly from a physical machine using snapshots
 
Embodiments of the present invention are directed to the running of a virtual machine directly from a physical machine using snapshots of the physical machine. In one example, a computer system...
7769856 Automatic tuning of communication protocol performance  
A method or device may optimize applications on a parallel computing system. Environment variables data may be used as well as a test kernel of an application to optimize communication protocol...
7765096 Simulation of network traffic using non-deterministic user behavior models  
A network testing environment includes a control server and a testing cluster composed of one or more load generating devices. The load generating devices output network communications in a...
7765094 Method and system for performance profiling of software  
Performance profiling of software by producing a performance profile of a software processing unit and performing statistical analysis on the performance profile by matching the performance...
7761281 System and method for performing compound computational experiments  
A system and method for performing compound computational experiments include an experiment having at least one input. The experiment includes a process controllable by a computer and responsive...
7761282 System and method to simulate conditions and drive control-flow in software  
A method, information handling system, and computer program product to simulate conditions in a software module, by identifying, in the software module, whether a simulation environment has been...
7756690 System and method for supporting performance prediction of a system having at least one external interactor  
A system framework for supporting system performance prediction that includes a system having a plurality of external interactors interfacing thereto, each external operator operates to service a...
7756696 Simulation system of technical plant  
A simulation system includes a simulation computer having a Web server and a client computer with an Internet browser. On the simulation computer, a process engineering process model of a...
7757207 Form skin and design time WYSIWYG for .net compact framework  
A WYSIWYG visual programming environment for programming applications for portable computer devices is provided. The developer selects a form skin based on the underlying portable computer device...
7752604 Method, system and program product for recording and replaying target service interaction data  
An architecture that allows target service interactions to be realistically simulated in a development environment. The architecture includes a proxy service, an interaction recorder, an...
7752027 Methods and apparatus for simulating a distributed business process  
Methods and apparatus for simulating a distributed business process are disclosed. The methods and apparatus simulate an interdependent business process, such as a financial transaction system, in...
7752028 Signed/unsigned integer guest compare instructions using unsigned host compare instructions for precise architecture emulation  
Architecture for efficient translation and processing of PowerPC guest instructions on an x86 host machine. In an x86-based architecture, signed integer values are projected into the unsigned...
7747426 System simulation using multi-tasking computer code  
A system, such as hardware or software system having a number of modules, is simulated using multi-tasking computer code. Simulation computer code launches tasks simulating system execution, where...
7747422 Using constraint-based heuristics to satisfice static software partitioning and allocation of heterogeneous distributed systems  
Systems and methods automatically design a system's architecture by modeling the architectural complexity of large-scale distributed systems to drive a partitioning and allocation algorithm. The...
7743361 Providing block state information for a model based development process  
A method and system for providing a block for use in a block diagram in a graphical modeling environment which is capable of outputting information regarding the dynamic state of the block.
7742905 Method and system for dynamically adjusting speed versus accuracy of computer platform simulation  
Executing a simulation of a computer platform, the simulation including simulation models. A dynamic quantum is accessed whose current value specifies a maximum number of units of execution a...
7742902 Using interval techniques of direct comparison and differential formulation to solve a multi-objective optimization problem  
During operation, the system of an embodiment of the present invention receives a representation of multiple objective functions as well as a representation of a domain of interest for the...
7739099 Method and system for on-line performance modeling using inference for real production IT systems  
A system and method for performance modeling for an information technology (IT) system having a server(s) for performing a number of types of transactions includes receiving data for system...
7739083 Program and/or method for calculating tuning parameters for numerical computation library  
When a parameter for a numerical computation library is required, an optimum parameter reflecting a user policy is provided. A program calculates, based on a preset objective function, an optimum...
7739655 Version control in modeling environments  
Methods and systems for controlling versions of models in modeling environments are disclosed. The versions of models and component interfaces are stored in a repository and checked in and out of...
7739633 Verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling system and program product  
Testing a model of a logic circuit model. The testing includes generating valid random input stimulus sequences for a logic circuit model. Enumerating critical resource requirements, enumerating...
7730057 Computer data systems implemented using a virtual solution architecture  
Virtual solution architecture for computer data systems. In one aspect, providing an architecture for a computer data system includes creating a virtual solution architecture that includes a...
7730003 Predictive model augmentation by variable transformation  
Models are generated using a variety of tools and features of a model generation platform. For example, in connection with a project in which a user generates a predictive model based on...
7725300 Target profiling in predictive modeling  
Models are generated using a variety of tools and features of a model generation platform. For example, in connection with a project in which a user generates a predictive model based on...