Famous Patents
The first match was accidentally discovered in 1826 when John Walker scraped a stick with chemicals on the end against a stone floor.
PatentStorm News
Make the Most of Our Site
See this month's Top Inventors and Most Cited Patents.
Stay on top of the latest innovations by subscribing to an RSS feed.
Registered users: Manage your profile.
| Number | Title | Issue Date |
| 8180623 | Integration of a discrete event simulation with a configurable software application In general terms, the invention can be described as a computer system for enhancing the performance of underlying policies and execution-rules of real-world activities. The computer system includes a demand input section for providing demand information to drive the... | 05/15/2012 |
| 8175863 | Systems and methods for analyzing performance of virtual environments Intelligent monitoring systems and methods for virtual environments are disclosed that understand various components of a virtual infrastructure and how the components interact to provide improved performance analysis to users. In certain examples, a monitoring syst... | 05/08/2012 |
| 8170859 | Methods, apparatuses and computer program products for simulating arbitrary unmodified code Arbitrary, unmodified code and/or software may be executed directly on a host processor operating in a virtualized mode using hardware virtualization support and performance counters. The arbitrary software may be run on the host processor until the host processor e... | 05/01/2012 |
| 8150673 | Partitioning a model in modeling environments Methods and systems for partitioning objects in modeling environments are disclosed. The modeling environments enable users to partition an object (parent object) to include other objects (child objects). The parent object may reference the child objects (referenced... | 04/03/2012 |
| 8150674 | Automated testing platform for event driven systems A platform for the automated testing of event driven software applications is provided. A source environment is replicated to a target environment. The target environment includes a target system. A test case is defined with a target system, specific attributes and ... | 04/03/2012 |
| 8145468 | Non-intrusive model annotation Development models of software applications may be annotated with additional information and transformed within a transformation chain into a resulting model that may be used to evaluate the development model, for example, for simulation and/or performance support o... | 03/27/2012 |
| 8146040 | Method of evaluating an architecture for an integrated circuit device A method of evaluating an architecture for an integrated circuit device is disclosed. The method comprises generating a library of primitives for a predetermined architecture; transforming an original dataflow program into an intermediate format; transforming the in... | 03/27/2012 |
| 8140320 | Modelizing resources and external data of a program for procedural language coding A method and system to represent in UML the resources and external data manipulated by a program to be coded in a procedural language is disclosed. The usual UML class diagram is enhanced with two new stereotypes “Program” and “Data Object”. The program ster... | 03/20/2012 |
| 8140318 | Method and system for generating application simulations A method and system for generating application simulations and, more particularly, a method and system for graphical data scrubbing in application simulation image sequences. The method comprises creating a graphical representation of identified data and scrubbing i... | 03/20/2012 |
| 8140319 | Method and system for predicting system performance and capacity using software module performance statistics A method and system for predicting performance and capacity of an information technology (IT) system before the IT system is built, where the predicting uses a database of performance statistics measured for reusable software modules. A performance simulation modeli... | 03/20/2012 |
| 8135572 | Integrated debugger simulator Various technologies and techniques are disclosed that provide an integrated debugger simulator. A debugger is provided that allows a user to debug an application in a live mode. A simulator is provided to read recorded data from an earlier point in time in an execu... | 03/13/2012 |
| 8131533 | Reporting model generation within a multidimensional enterprise software system Techniques are described for automatically generating a reporting model based on a relational database storing multidimensional data in accordance with a relational database schema. A model generator may, for example, produce a base reporting model from the database... | 03/06/2012 |
| 8131532 | Software verification using range analysis A system and method is disclosed for formal verification of software programs that advantageously bounds the ranges of values that a variable in the software can take during runtime. ... | 03/06/2012 |
| 8108198 | Memory tracing in an emulation environment A system and method are disclosed to trace memory in a hardware emulator. In one aspect, a first Random Access Memory is used to store data associated with a user design during emulation. At any desired point in time, the contents of the first Random Access Memory a... | 01/31/2012 |
| 8108199 | Phase events in a simulation model of a digital system According to a method of simulation processing, an instrumented simulation executable model of a design is built by compiling one or more hardware description language (HDL) files specifying one or more design entities within the design and one or more instrumentati... | 01/31/2012 |
| 8103495 | Feature oriented protocol modeling Modeling protocols. A method includes accessing a number of model programs. Each model program includes computer-executable instructions. The computer-executable instructions describe the behavior of at least one of another program, system, or component. Model progr... | 01/24/2012 |
| 8086437 | Modeling and simulating software contention Aspects of the subject matter described herein relate to modeling and simulating software contention. In aspects, a model declares properties of a scarce software object and models software components that need the scarce software object to execute. A simulator uses... | 12/27/2011 |
| 8086436 | Preliminary data representations of a deployment activity model A deployment activity model is automatically generated from a deployment topology model. The operations to automatically generate the deployment activity model may be visible or “under the covers.” Regardless of visibility, a deployment model tool traverses a re... | 12/27/2011 |
| 8073671 | Dynamic software performance models Simulating an application. A method that may be practiced in a computing environment configured for simulating an application modeled by an application model deployed in a performance scenario of a computing system by deploying service models of the application mode... | 12/06/2011 |
| 8065132 | Computer-implemented systems and methods for augmenting stochastic event simulations for design of experiments Computer-implemented systems and methods for executing stochastic discrete event simulations for a stochastic model through a design of experiments approach. Streams of random numbers are associated with stochastic model components that are sources of random variati... | 11/22/2011 |
| 8046210 | Computer-aided modeling To enable the utilization of a definition or definitions once made as the definitions of a similar object, a set of conditions for similarity comprising one or more conditions is defined (201) and a set of definitions (202), which explicitly or inexpli... | 10/25/2011 |
| 8041554 | Method and system for the development of high-assurance microcode The present invention is a methodology for developing high-assurance microcode. The method may comprise one or more of the following steps: (a) receiving a plurality of requirements detailing intended behavior of microcode (b) creating a model of microcode behavior;... | 10/18/2011 |
| 8036874 | Software executing device and co-operation method There is provided with a software executing device co-operating with a hardware circuit or a hardware simulator, including: a software executing unit configured to execute a software; an execution monitoring unit configured to monitor execution of the software by th... | 10/11/2011 |
| 8019588 | Methods and systems to compare screen captures from emulated devices under test Systems and methods for reviewing test results are disclosed. In one embodiment, the method includes receiving a first display capture from a testing of a first emulated device executing an application, wherein the first display capture is from a first instance in t... | 09/13/2011 |
| 8014994 | Simulation business object for service oriented architecture Methods and apparatuses enable creating a stateful simulation process with stateless messages. A stateless message instantiates a simulation object for a system to be simulated. The simulation object is identified by an identifier. Activity request messages, which a... | 09/06/2011 |
| 8010337 | Predicting database system performance A prediction system may perform capacity planning for one or more resources of a database systems, such as by understanding how different workloads are using the system resources and/or predicting how the performance of the workloads will change when the hardware co... | 08/30/2011 |
| 8005661 | Modeling and verification of concurrent systems using SMT-based BMC A computer implemented method for modeling and verifying concurrent systems which uses Satisfiability-Modulo Theory (SMT)-based Bounded Model Checking (BMC) to detect violations of safety properties such as data races. A particularly distinguishing aspect of our inv... | 08/23/2011 |
| 8000952 | Method and system for generating multiple path application simulations A system and method to generate simulations of a target application or software. The method comprises recognizing a start point associated with a multiple path simulation of a target application and automatically generating simulation branches of the multiple path s... | 08/16/2011 |
| 8000953 | Augmenting of automated clustering-based trace sampling methods by user-directed phase detection Computer implemented method, system, and computer usable program code for simulating processor operation in a data processing system. An instruction trace is generated, wherein the instruction trace includes markers specified by a user for identifying interval bound... | 08/16/2011 |
| 7996204 | Simulation using resource models Operational resource modeling is usable to analyze application and computer system performance over a wide range of hypothetical scenarios. Operational resource modeling involves creating and training one or more resource models, and/or simulating hypothetical scena... | 08/09/2011 |
| 7996205 | 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 a secure distributed manner. Each business entity that is part of the... | 08/09/2011 |
| 7996763 | Generating metrics on data representations One embodiment of the present disclosure is a method for assessing complexity levels in data representations. Such a method can be broadly summarized by the following: obtaining a first document having information associated with a data representation being used to ... | 08/09/2011 |
| 7983892 | System and method for accessing and presenting health information for field devices in a process control system A system includes a server configured to generate a request for status information and/or diagnostic information associated with a field device in a process control system. The system also includes an interface component having (i) an emulator configured to emulate ... | 07/19/2011 |
| 7979263 | Method, system and program for developing and scheduling adaptive integrated circuitry and corresponding control or configuration information A method, system and program are provided for development of an adaptive computing integrated circuit and corresponding configuration information, in which the configuration information provides an operating mode to the adaptive computing integrated circuit. The exe... | 07/12/2011 |
| 7974827 | Resource model training Operational resource modeling is usable to analyze application and computer system performance over a wide range of hypothetical scenarios. Operational resource modeling involves creating and training one or more resource models, and/or simulating hypothetical scena... | 07/05/2011 |
| 7949511 | System and method for tunneling and slicing based BMC decomposition A system and method for bounded model checking of computer programs includes providing a program having at least one reachable property node. The program is decomposed for bounded model checking (BMC) into subproblems by creating a tunnel based on disjunctive contro... | 05/24/2011 |
| 7933762 | Predictive model generation 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 historical data about a system being modeled, the user is provided through a gr... | 04/26/2011 |
| 7930164 | System and method for simulating a software protocol stack using an emulated protocol over an emulated network A computer storage system executes a host operating system on the computer. A plurality of storage operating system simulators are executed by the host operating system, each storage operating system simulator simulating an operating system of a storage system. Inpu... | 04/19/2011 |
| 7925491 | Simulation of installation and configuration of distributed software Method and framework for identifying optimal allocations of computing resources in a complex, distributed data processing environment. A plurality of server models are established, with each server model including one or more server nodes and each server node having... | 04/12/2011 |
| 7917349 | Combined hardware and software instrument simulator for use as a teaching aid An improved simulator for an analytical instrument that provides the student with an experience similar to that of operating the actual instrument. In one preferred embodiment, the invention combines real functionality and simulated functionality where at least one ... | 03/29/2011 |
