|
Match
|
Document |
Document Title |
|
|
7437281 |
System and method for monitoring and modeling system performance
The present invention provides a method for modeling the performance of a system by fitting non-linear curves to data points for system performance parameters, such as response time and throughput,...
|
|
|
7430498 |
System, method and computer program product for developing a system-of-systems architecture model
A method is provided for developing an architecture model for a system-of-systems (SoS) that includes n system levels L 1 . . . L n , each of which includes at least one component of the SoS. For...
|
|
|
7428486 |
System and method for generating process simulation parameters
A system and method is disclosed for generating process simulation parameters. The method discloses: identifying an execution process; partitioning the process in accordance with a partitioning...
|
|
|
7426668 |
Performing memory built-in-self-test (MBIST)
Programmable memory built-in self-test (MBIST) methods, apparatus, and systems are disclosed. Exemplary embodiments of the disclosed technology can be used, for example, to test one or more...
|
|
|
7426704 |
Design verification of highly optimized synchronous pipelines via random simulation driven by critical resource scheduling
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...
|
|
|
7424417 |
System and method for clock domain grouping using data path relationships
A method and system are disclosed, in a simulation of a design of a digital integrated circuit chip, to limit a number of scan test clocks and chip ports used for testing the chip. Clock domains...
|
|
|
7424384 |
Enhanced testing for compliance with universal plug and play protocols
The present invention extends to methods, systems, and computer program products for enhanced Universal Plug and Play (“UPnP™”) compliance testing. A control point (e.g., a computer system)...
|
|
|
7412371 |
Time synchronized playback and control of dissimilar data files
A system, and a corresponding method, provides time synchronized playback and control of dissimilar data in a simulation architecture. The system includes a master site including a controller, and...
|
|
|
7409330 |
Method and system for software debugging using a simulator
Systems and methods for debugging software and/or hardware are disclosed. A processor may execute a program for a certain amount of time. The context of the processor at the end of that time may...
|
|
|
7409316 |
Method for performance monitoring and modeling
The present invention provides a method for modeling the performance of a system comprising computer software operating on computer hardware. In accordance with the present invention, system...
|
|
|
7406404 |
Method for developing a machine
In a method for developing a machine for producing a product, properties of the product to be produced are defined and tasks to be performed for producing the product are defined. The tasks are...
|
|
|
7401012 |
Method and apparatus for characterizing computer system workloads
One embodiment of the present invention provides a system that characterizes computer system workloads. During operation, the system collects metrics for a number of workloads of interest as the...
|
|
|
7398445 |
Method and system for debug and test using replicated logic
A method and system for debug and test using replicated logic is described. A representation of a circuit is compiled. The circuit includes a replicated portion and delay logic to delay inputs into...
|
|
|
7397905 |
Interactive voice response (IVR) system providing dynamic resolution of data
An interactive voice response (IVR) system executes a call flow that references data objects holding information. The information within a data object includes a variable that holds a value...
|
|
|
7398193 |
Method of offering wall-thickness thinning prediction information, and computer-readable recording medium storing wall-thickness thinning prediction program, and method of planning piping work plan
A wall-thickness thinning rate at a not-measured position is estimated using information having a small number of measured points. Simulation of behavior of fluid flowing inside a pipe line is...
|
|
|
7398191 |
Method and apparatus for computing a distance metric between computer system workloads
One embodiment of the present invention provides a system that computes a distance metric between computer system workloads. During operation, the system receives a dataset containing metrics that...
|
|
|
7392162 |
System and method for device developing model networks purely by modelling as meta-data in a software application
A system, method and computer program that enables an application designer to automate the process of development of computational logic based applications. The designer develops the computational...
|
|
|
7389217 |
Method for delivering a technical framework
An Enterprise Service Delivery Technical Architecture includes a Technical Model, and a Technical Delivery Framework, and is designed to facilitate the development of complete enterprise service...
|
|
|
7383162 |
Harness design supporting apparatus and computer-readable recording medium recording harness design supporting program
The present invention relates to an apparatus for carrying out a harness design in a short time while taking a physical characteristic of a harness at the design and development of equipment...
|
|
|
7383161 |
Systems and methods for device simulation
In an implementation, a system includes a simulation engine that is executable to simulate actions performed by a plurality of devices in a distributed system. The system also includes a plurality...
|
|
|
7383168 |
Method and system for design verification and debugging of a complex computing system
A method and system for element testing is described. A first module is generated and has at least one associated state. A second module is generated based on the first module. The second module is...
|
|
|
7379860 |
Method for integrating event-related information and trace information
A method for emulating and debugging a microcontroller. In one embodiment, an event thread is executed on an emulator that operates in lock-step with the microcontroller. Event information is...
|
|
|
7379858 |
Computation of all-pairs reaching probabilities in software systems
A Markov chain model of a software system may be used to compute all-pairs reaching probabilities to provide guidance in performing speculative operations with respect to the software system.
|
|
|
7379857 |
Method and system for simulating computer networks to facilitate testing of computer network security
A method and system for simulating computer networks and computer network components to test computer network security is disclosed. A user specifies a desired configuration of a simulated computer...
|
|
|
7379861 |
Dynamic programming of trigger conditions in hardware emulation systems
An improved emulation system having an improved trigger mechanism is disclosed. During the compilation of the circuit design, a portion of the emulation resources are reserved for dynamic netlists....
|
|
|
7376808 |
Method and system for predicting the performance benefits of mapping subsets of application data to multiple page sizes
A method for modeling the performance of memory address translation mechanism (MATM), comprises: a) receiving an execution profile that contains a memory address reference stream of an application,...
|
|
|
7376548 |
Methods and apparatus for simulating industrial processes
In order to design and implement industrial processes in an efficient manner, an apparatus ( 1 ) is provided which can simulate a process to be implemented. The processing of the simulation is...
|
|
|
7376550 |
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...
|
|
|
7376549 |
System performance prediction mechanism and method based on software component performance measurements
A system performance prediction mechanism based on software component performance measurements. The system performance prediction of the present invention is performed in the following procedure:...
|
|
|
7373475 |
Methods for optimizing memory unit usage to maximize packet throughput for multi-processor multi-threaded architectures
Methods for optimizing memory unit usage to maximize packet throughput for a multiprocessor multithreaded architecture. One method employs a first phase of a software algorithm to allocate data...
|
|
|
7373550 |
Generation of a computer program to test for correct operation of a data processing apparatus
Software built in self test computer programs 12 are generated using a genetic algorithm 14 technique. A fault simulator 20 is used to simulate candidate software built in self test computer...
|
|
|
7373287 |
Finite element analysis tire footprint smoothing algorithm using multiple load cases
A method and apparatus for predicting the shape of a contact region of a finite element model deformed against a contact surface. The contact surface may be a rigid body or another finite element...
|
|
|
7369981 |
Method and system for forecasting computer capacity
The present invention provides at least a method and system for forecasting computer capacity. With respect to the present invention, performance data and information related to transactions...
|
|
|
7369975 |
Method and apparatus for pattern based generation of graphical user interfaces (GUI)
A software tool for modeling and generating user windows of a graphical user interface of a software application has a modeling component for creating models of window types and instances thereof,...
|
|
|
7366647 |
Bus performance evaluation method for algorithm description
The LSI design and development in manufacture is actualized by algorithm design, architecture design, actual hardware and software design, and verification. Herein, the architecture design contains...
|
|
|
7363198 |
Long elements method for simulation of deformable objects
Long Elements Method (LEM) for real time physically based dynamic simulation of deformable objects. The LEM is based on a new meshing strategy using long elements whose forms can be straight or...
|
|
|
7363211 |
Method and apparatus for modeling topology objects
The invention relates to a method for modeling a device in a topology including defining a managed object corresponding to the device, defining a managed resource using the managed object, and...
|
|
|
7360215 |
Application interface for analytical tasks
One implementation provides a computer system that is capable of processing task requests from front-end software applications. The computer system is programmed to receive a task request from a...
|
|
|
7356452 |
System and method for simulating performance of one or more data storage systems
This invention is a system and method for simulating performance of one or more data storage systems. This invention may be used in many useful ways including for configuring or modeling a data...
|
|
|
7356456 |
Computer storage exception handing 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,...
|
|
|
7356453 |
Computerized pattern texturing
A system and method for merging carpet design image patterns in order to create a custom-designed patterned carpet image. A customized carpet image is defined by identifying a plurality of carpet...
|
|
|
7353496 |
Storage controller software development support system and software development support method
In the present invention, the scope and degree of the effect of hardware alterations on software is grasped, and development is performed while making coordination between software and hardware....
|
|
|
7353144 |
Method for determining a set of materials
A computer-implemented method includes determining a set of materials for constructing a wood frame building, comprising selecting a plurality of parameters for the wood frame building, accessing a...
|
|
|
7349837 |
Systems and methods for a programming environment for a simulation of a computer application
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...
|
|
|
7350189 |
Automatic latch of signal attributes in modeling and execution environments
Methods and systems for automatically locking down the attributes of signals in modeling and execution systems are disclosed. Signal attributes automatic latch components are placed on the path of...
|
|
|
7349838 |
Management training simulation method and system
Developing decision-making skills of a user through practice in a simulated environment comprises defining a simulated situation to be influenced by the user including a set of objects that are...
|
|
|
7349836 |
Method and process to generate real time input/output in a voice XML run-time simulation environment
A method and system for testing voice applications, such as VoiceXML applications, is provided. The system provides a run-time simulation environment for voice applications that simulates and...
|
|
|
7346484 |
Monitor manager that creates and executes state machine-based monitor instances in a digital simulation
The monitor manager manages the execution of monitors during the simulation of a digital design. The monitor manager ( 20 ) includes an instance generator ( 32 ) that creates executable instances (...
|
|
|
7346485 |
Modeling an event using linked component modules provided in a spreadsheet environment
A method includes providing a plurality of component modules in a spreadsheet environment. Each component module is capable of modeling a portion of an event and includes at least one process. Each...
|
|
|
7346486 |
System and method for modeling, abstraction, and analysis of software
A system and method is disclosed for formal verification of software programs that advantageously translates the software, which can have bounded recursion, into a Boolean representation comprised...
|