|
Match
|
Document |
Document Title |
|
|
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...
|
|
|
7346483 |
Dynamic FIFO for simulation
To perform a simulation, a design can be divided into “blocks” described by models. To ensure that data is efficiently transferred from an source model to a destination model, a dynamic...
|
|
|
7343592 |
Benchmark synthesis using workload statistics
A synthetic benchmark for a computer program and a method and computer program product for creating a synthetic benchmark for a computer program. The synthetic benchmark is created using...
|
|
|
7332345 |
Chemical sensor system
A chemical sensing apparatus and method for the detection of sub parts-per-trillion concentrations of molecules in a sample by optimizing electron utilization in the formation of negative ions is...
|
|
|
7328144 |
System and method for simulating a software protocol stack using an emulated protocol over an emulated network
A system and method for simulating a software protocol stack over an emulated network using an emulated protocol. A storage operating system simulator, executing on a host computer, includes an...
|
|
|
7328429 |
Instruction operand tracing for software debug
A tool that enables a user to perform instruction operand tracing during debug is presented. While executing microcode on a simulator, a history of register and memory values is saved. A graphic...
|
|
|
7324934 |
Feedback process to model CP utilization in multi-processor performance models
Feedback control algorithms for controlling a given simulation model which relates to a computer-program-based method and respective system for providing a feedback control for a given set of...
|
|
|
7324856 |
Autogeneration of code via human-machine interfaces (HMI) and self-building HMI
A system that facilitates generation of code from a HMI representation of objects in an industrial automation environment. A component analyzes the HMI representation of objects, and a code...
|
|
|
7325010 |
Information modeling method and database searching method using the information modeling method
An information modeling method receives various kinds of data; analyzes the data into semantic elements, that is, temporal information data including temporal information, spatial information data...
|
|
|
7318228 |
System and method for task arbitration in multi-threaded simulations
Present herein is a system and method for arbitration in multi-threaded programming. Task calls are directed to a task wrapper that associates the task call with a particular unique identifier, and...
|
|
|
7315807 |
System and methods for storage area network simulation
A storage area network simulator, operable to simulate an exchange of calls emanating from a SAN management application to a plurality of manageable entities, allows analyzing SAN management...
|
|
|
7315803 |
Verification environment creation infrastructure for bus-based systems and modules
A method of building a verification environment within a software-based development tool for a programmable logic device can include determining an interface description for a bus functional model....
|
|
|
7313511 |
Method and apparatus for computer simulation of flight test beds
Virtual Real Time (VRT) provides high fidelity timing for software simulator environment running in a workstation. VRT is scalable and controllable. VRT provides flight and simulation software...
|
|
|
7310672 |
Method and system for exploiting service level objectives to enable resource sharing in a communication network having a plurality of application environments
A method and system for resource sharing in a communication network supporting a plurality of application environments. Specifically, one embodiment of the present invention discloses a method...
|
|
|
7310590 |
Time series anomaly detection using multiple statistical models
A time series is analyzed by multiple functions simultaneously to identify an anomaly for a data point in the series. Data point values are predicted by the multiple functions. An anomaly occurs...
|
|
|
7308497 |
On-line experimentation
An automated system for experimentation includes an experiment engine which can define an experiment relating to various treatments for a set of content elements. The experiment engine conducts the...
|
|
|
7305466 |
Network fault isolation
Techniques are provided for improved fault isolation and fault reduction. A system for use with a data network includes multiple diagnostic units each adapted to communicate with the network...
|
|
|
7302380 |
Simulation apparatus, method and program
A simulation apparatus for simulating a pipeline processor including a pipeline simulation unit and an instruction simulation unit. The simulation apparatus includes a pipeline simulation unit is...
|
|
|
7299447 |
Method of testing a mapping of an electrical circuit
An electrical circuit can be described with a reference model that has a plurality of states and a plurality of state transitions. Acceptable and/or unacceptable instruction sets are predefined for...
|
|
|
7299382 |
System and method for automatic test case generation
A system and method provide testing of software in different configurations automatically. Templates may be provided for developers to create an application or for generating tests. One or more...
|
|
|
7296054 |
Model simulation and calibration
Simulate and calibrate a process by generating a modular representation of a process using modules and variables, each module representing a portion of the process, each variable representing an...
|
|
|
7295201 |
Method and system for generating automated exploded views
A method for generating an automated exploded view of an assembly of parts is presented. The method includes determining at least one sequence of viable directions of motion of at least one moving...
|
|
|
7295884 |
System and method of designing a load bearing layer of an inflatable vessel
A computer-implemented method is provided for designing a restraint layer of an inflatable vessel. The restraint layer is inflatable from an initial uninflated configuration to an inflated...
|
|
|
7295956 |
Method and apparatus for using interval techniques to solve a multi-objective optimization problem
One embodiment of the present invention provides a system that uses interval techniques to solve a multi-objective optimization problem. During operation, the system receives a representation of...
|
|
|
7292969 |
Method and system for simulating performance on one or more data storage systems
This invention is a system and method for determining configuration or simulating performance of one or more data storage systems. This invention may be used in many useful ways including for...
|
|
|
7292964 |
Translating of geometric models into block diagram models
Methods and systems for translating models generated in one modeling environment into models that can be used in other modeling environments are disclosed. Models are created using different data...
|
|
|
7289940 |
Method and device for analyzing a technical system, in addition to a computer program product
The inventive system is used to design a technical system, which is characterized by condition variables and by diagnostic variables. A measurement field comprising first measured variables is...
|
|
|
7289947 |
Finding and removing performance bottlenecks in large systems
A method and apparatus for finding bottlenecks in software systems and other systems, given profiles that measure costs of the system. A simple profile interface, which is independent of the system...
|
|
|
7287114 |
Simulating multiple virtual channels in switched fabric networks
Methods and systems, including computer program products, implementing techniques for receiving, at a first device of a switched fabric network, requests from one or more applications, each request...
|
|
|
7286975 |
Method for developing embedded code for system simulations and for use in a HMI
The present invention concerns a method and apparatus for integrating a CAD model of a product and an HMI simulation model of a product into a format suitable to be run in a virtual reality...
|
|
|
7287231 |
Logistics simulator
A graphical user interface devices, methods, and systems for creating and editing a simulation model and for presenting the simulation model simulated within a scenario are provided. The device...
|
|
|
7283944 |
Circuit simulation bus transaction analysis
While simulating a circuit described by the netlist, a circuit simulator produces a dump file containing a set of waveform data sequences, each corresponding to a separate signal within the...
|
|
|
7283945 |
High level verification of software and hardware descriptions by symbolic simulation using assume-guarantee relationships with linear arithmetic assumptions
A state-transition system is extracted from a high-level description of a design. Assumptions regarding states of the design are determined for an initial clock cycle. Linear arithmetic relations...
|
|
|
7283942 |
High speed techniques for simulating circuits
The present invention provides techniques for high speed electrical simulation of circuits. According to one embodiment of the present invention, a delay path can be divided into sub-paths called...
|
|
|
7280954 |
System operation test facilitating program and method
A method and system are provided by the present invention for developing functional software element that operates in an environment comprising a plurality of computer programs that are being...
|
|
|
7280879 |
Interfaces from external systems to time dependent process parameters in integrated process and product engineering
A method and apparatus for computer modeling the production process is disclosed. An integrated product and process engineering system may be a computer modeling system that models both a generic...
|
|
|
7275027 |
Facilitating communication with automotive vehicle buses
Facilitating communication with automotive vehicle buses may be enabled using a vehicle gateway device (VGWD) and/or a vehicle gateway server (VGWS). In a described implementation, a VGWS may use a...
|
|
|
7272549 |
Restoring base configuration on software testing computer
A method of testing computer software. A test computer has a base configuration, which is imaged to a removable hard drive. The base configuration is then stored in data storage of a master...
|
|
|
7272546 |
Apparatus and methods for importing hardware design and generating circuit interfaces
A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description...
|
|
|
7272458 |
Control system setting device
A control system with a plurality of devices connected through a network may be started up by connecting a control system setting device including a computer accessible to profile data which...
|
|
|
7269542 |
System and method for determining a cache optimized ordering of cells in an unstructured graph
One embodiment of the present invention provides a system and method for determining a cache optimized ordering of cells in an unstructured graph. Cells bounding a region defined along a portion of...
|
|
|
7269722 |
Preview of UNIX boot process from multi-user level
A system and method for previewing a reboot. In one embodiment the method comprises modifying a configuration of a computer system and previewing a reboot, wherein previewing the reboot comprises...
|
|
|
7266488 |
Programmable pattern generation for dynamic bus signal integrity analysis
A technique for performing signal integrity analysis of a system includes providing a stimulus pattern and a model of the system and performing analog simulation of the model utilizing the stimulus...
|
|
|
7266490 |
Apparatus and method for connecting hardware to a circuit simulation
A system and method is described for connecting a logic circuit simulation to a hardware peripheral that includes a computer running software for communicating data to and from the hardware...
|
|
|
7254524 |
Method and system for a simulation authoring environment implemented in creating a simulation application
A method and system for creating a simulation authoring environment. Specifically, the present invention discloses a method and system for creating a simulation application that simulates a...
|
|
|
7243059 |
Simulation of hardware based on smart buffer objects
Methods, articles of manufacture, and systems for software simulation of hardware, for use in testing firmware, are provided. The software simulation may be accomplished through the creation and...
|