Match Document Document Title
8019447 Method and system to control operation of a device using an integrated simulation with a time shift option  
A method to control a device may include forming an integrated simulation model of an actual environment in which the device is or will be operating. The integrated simulation model may be formed...
8014983 Computer-implemented system and method for storing data analysis models  
Computer-implemented systems and methods for processing time series data that is indicative of a data generation activity occurring over a period of time. A model specification hierarchical data...
8015276 Method to identify performance and capacity bottlenecks of complex systems  
Systems and methods are described that analyze complex systems and identify potential performance bottlenecks that may affect capacity and response time. The bottlenecks are identified to resolve...
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...
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...
8010325 Failure simulation and availability report on same  
A simulation may be performed to assess availability of a service in the event of various types of failures. A specification may describe a behavior to be induced on a machine, and a formula under...
8010324 Computer-implemented system and method for storing data analysis models  
Computer-implemented systems and methods for processing time series data that is indicative of a data generation activity occurring over a period of time. A model specification hierarchical data...
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...
8005707 Computer-implemented systems and methods for defining events  
Computer-implemented systems and methods to process time-series data. As an example, a system and method can use a first data store to store time series data, and a second data store to store...
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...
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...
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...
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...
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...
7991953 Method of verifying pseudo-code loaded in an embedded system, in particular a smart card  
The invention relates to a verification of applications in interpreted language of the byte-code type (pseudo-code) loaded on portable electronic devices, in particular a chipcard and a method for...
7987075 Apparatus and method to develop multi-core microcomputer-based systems  
A method and apparatus for developing multicore microcomputer-based systems. A dual core controller model having at least one parameter is simulated and, similarly, a plant model having at least...
7987086 Software entity for the creation of a hybrid cycle simulation model  
Disclosed is a software entity for constructing a Hybrid Cycle Simulation model comprising Compiled Data Units (CDUs) for use in design verification. The simulation model may contain a plurality...
7983890 Method and apparatus performing automatic mapping for a multi-processor system  
A method, apparatus and computer program product for mapping and executing an application on a multi-processor system is presented. At least one array to be considered for distribution among...
7984354 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 designs having timing exception paths by more accurately determining the unknown values that...
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...
7983178 Fibre channel fabric simulator  
A fabric simulation device implementing a method for generating a simulated fabric of a simulated storage area network. In operation, the fabric simulation device logs into a physical storage area...
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...
7979247 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 L1 . . . Ln, each of which includes at least one component of the SoS. For at...
7975198 Test system and back annotation method  
A test system for performing a test of a device is provided that comprises a source file of a test plan that describes a program for performing a test, and one or more of elements that are formed...
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...
7974829 System for simulating mobile phone and method thereof  
A system for simulating mobile phone and method thereof is provided. The system has separately designed man-machine-interface (MMI) kernel module, simulator module and plug-in module. If a...
7974725 Integrated testing system and method for validation of a manufacturing automation system  
A method of testing a physical manufacturing automation system for manufactured work pieces is provided via a testing system and includes connecting a computer-simulated manufacturing automation...
7966391 Systems, apparatus and methods for managing networking devices  
Provided are systems, apparatus and methods for the management and control of a plurality of networking devices. Embodiments include a database at each node of a communications network, where the...
7962901 Using dynamic analysis to improve model checking  
Model checking has been used to verify program behavior. However, exploration of the model is often impractical for many general purpose programs due to the complexity of an exploding state space....
7957948 System and method for capacity planning for systems with multithreaded multicore multiprocessor resources  
A method for expressing a hierarchy of scalabilities in complex systems, including a discrete event simulation and an analytic model, for analysis and prediction of the performance of multi-chip,...
7957950 Hard/soft cooperative verifying simulator  
A hard/soft cooperative verifying simulator is based on a SystemC simulator, and provides the capability of reducing overhead of context switching control thereby to shorten processing time. Time...
7954091 Method and apparatus for testing of business processes for web services  
A method for unit testing of business processes for Web services, including steps of mapping the Web service description language (WSDL) elements of a process under test and its partner processes...
7953580 Method and a system relating to network management  
The present invention relates to a method for network management comprising configuration of control protocols between network elements in a network represented through a current, static, network...
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...
7949504 System and method for optimizing block diagram models  
A method includes in a system determining a constraint for constraining operation of a portion of a block diagram model, determining if the portion of the block diagram model violates the...
7945657 System and method for emulating input/output performance of an application  
A system and method for emulating the input/output performance of an application. A workload description language is used to produce a small but accurate model of the application, which is...
7945918 Generalized WBEM/CIM indication provider simulation engine  
A simulator of WBEM/CIM indication providers conforming to the CIM Indication Provider object specification simulates both the CIM indication provider and the means to drive the associated CIM...
7945878 Rules and directives for validating correct data used in the design of semiconductor products  
A method to validate data used in a design of a semiconductor product currently in a partially fabricated state is disclosed. The partially fabricated state having a plurality of layers up to and...
7945392 Methods and systems for drug screening and computational modeling based on biologically realistic neurons  
A method for screening a test composition for potential efficacy in treatment of a disorder includes a first computer model representative of a volume of disease-afflicted neural tissue comprising...
7945898 Handling loops in programs and examining feasible software behavior for detecting malicious code  
The present invention is directed to automatically analyzing software systems for identifying faults or bugs and/or detection of malicious code. In various embodiments, the present invention...
7941309 Modeling IT operations/policies  
Modeling operational policies of operating a business's or institution's actual or planned IT system. The IT system may include components such as applications, application hosts, one or more...
7941308 Disease simulation system and method  
A system and method for predicting the effect of patient self-care actions on a disease control parameter. A future disease control parameter value X(tj) at time tj is determined from a prior...
7937257 Estimating performance of application based on automatic resizing of shared memory for messaging  
Methods and systems for estimating the hypothetical performance of a messaging application are disclosed. A number of pool sizes may be identified, each pool size being a potential size for the...
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...
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...
7930700 Method of ordering operations  
An embodiment of a method of ordering operations begins with a first step of a computing entity storing a training data set, which includes previously executed operation pairs, attribute data, and...
7925940 Enhancing speed of simulation of an IC design while testing scan circuitry  
A computer is programmed to prepare a computer program for simulating operation of an integrated circuit (IC) chip, in order to test scan circuitry therein. The computer is programmed to trace a...
7926024 Method and apparatus for managing complex processes  
A software program, for allowing users to manage the execution of a complex set of steps toward the solution of complex system analysis problems. The set of steps is termed a recipe. A step is a...
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...
7925489 Defining and recording threshold-qualified count events of a simulation by testcases  
A design is simulated utilizing a hardware description language (HDL) simulation model by stimulating the HDL simulation model with a testcase. The HDL simulation model includes instrumentation...