Inventors list

Assignees list

Classification tree browser

Top 100 Inventors

Top 100 Assignees


Software program (i.e., performance prediction)

Subclass of:

703 - Data processing: structural design, modeling, simulation, and emulation

703013000 - SIMULATING ELECTRONIC DEVICE OR ELECTRICAL SYSTEM

Patent class list (only not empty are listed)

Deeper subclasses:

Entries
DocumentTitleDate
20110178790ELECTRONIC DATA STORE - An apparatus and method of providing conditional access to an electronic data store including a storage controller and a data storage resource. The method includes receiving, at the storage controller, a network request for access to the data storage resource from a client, the request including at least one required parameter defining the requested connection, obtaining information on the performance of the data storage resource, determining, based upon the information, whether a) the data storage resource can meet the or each required parameter of the request; and b) meeting the or each required parameter of the request will not violate any previously agreed parameters defining existing connections on the data storage resource; and denying the request if at least one of a) and b) are determined to be negative.07-21-2011
20080275690Automated visualization of a selection of simulation data - The visualization of a selection of data can be simplified. The data occurs during the execution or simulation of a function model on a computer system. It is possible in particular to configure the process of designing or developing functionalities of a control device (e.g. a motor control device) more efficiently. Software operating on the computer system is configured to use a set of rules to select some of all the data items occurring in the function model automatically as the data items to be visualized. A continuous and automated solution for the definition, selection and visual display of the data items required in individual instances is allowed.11-06-2008
20080262823Training of 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 scenarios using resource models.10-23-2008
20120203536METHOD AND SYSTEM FOR SOFTWARE BEHAVIOUR MANAGEMENT - A performance or reliability model representing the behaviour of an application under different system resource conditions is provided. This model may take the form of one or more sparse matrix providing a reliability or performance values for different combinations of conditions. This model is distributed to a user of the application, and is consulted during execution of the application with reference to system resource information provided by the operating system or other monitoring software so as to provide an indication of the expected performance of the application under present operating conditions. This indication may be notified to a user, for example in a case where the indication falls outside predetermined bounds of satisfactory operation. The system may also attempt to renegotiate attributed system resources to as to improve performance.08-09-2012
20130211812CONVEYING DATA FROM A HARDWARE DEVICE TO A CIRCUIT SIMULATION - 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 peripheral. The software transmits the data received from the hardware peripheral to the device being simulated by the logic circuit simulation. The computer also transmits the data received from the device being simulated by the electronic circuit simulation to the hardware peripheral. This allows the user to test the device being simulated using real hardware for input and output instead of simulated hardware.08-15-2013
20130211811Electrical Submersible Pump Design Parameters Recalibration Methods, Apparatus, and Computer Readable Medium - Apparatus, computer readable medium, program code, and methods for performing a parameter recalibration on parameters for an electrical submersible pump application model, are provided. An example of a method can include generating a data set containing a plurality of winning data sets or rows containing ESP application model input parameters and associated theoretical output parameters for an ESP application model substantially matching a corresponding set of measured ESP output parameters, through application of a self-organizing map analysis on a substantial number of training data sets. An averaging analysis is performed on the plurality of winning data sets or rows to obtain a set of ESP application model input parameters that can be used to recalibrate the ESP application model.08-15-2013
20100153088SENSOR NODE INCLUDED IN SENSOR NETWORK, UPDATE SERVER UPDATING THE SAME, AND METHOD OF UPDATING SENSOR NODE - Provided are a sensor node included in a sensor network, an update server updating the sensor node, and a method of updating a sensor node. The update server updating a sensor node included in a sensor network includes an execution code manager managing execution codes for a plurality of sensor nodes included in the sensor network, a rule generator generating an update rule based on a result of comparing an existing execution code managed by the execution code manager with an update execution code required for a new function update of the sensor node, and a downloader causing the sensor node to download the update rule generated by the rule generator. Accordingly, an execution code can be updated by a small amount of data transmission.06-17-2010
20120245917Virtualized Policy Tester - Embodiments of the present invention are directed to testing policy changes associated with a production network. A virtual network that represents at least a portion of the production network can be generated. A first transaction log based on a first execution of the virtual network using test traffic and a first set of policies that are implemented in the production network can be obtained. A second transaction log based on a second execution of the virtual network using the test traffic and a second set of policies to be implemented in the production network can be obtained. Based on a comparison of the first and second transaction logs, it can be determined whether the second set of policies has a desired effect in the virtual network.09-27-2012
20130080142Predicting Resource Requirements for a Computer Application - A resource consumption model is created for a software application, making it possible to predict the resource requirements of the application in different states. The model has a structure corresponding to that of the application itself, and is interpreted to some degree in parallel with the application, but each part of the model is interpreted in less time than it takes to complete the corresponding part of the application, so that resource requirement predictions are available in advance. The model may be interpreted in a look-ahead mode, wherein different possible branches of the model are interpreted so as to obtain resource requirement predictions for the application after completion of the present step. The model may be derived automatically from the application at design or compilation, and populated by measuring the requirements of the application in response to test scenarios in a controlled environment.03-28-2013
20130085742SERVICE LEVEL AGREEMENT-AWARE MIGRATION FOR MULTITENANT DATABASE PLATFORMS - A method for migration from a multitenant database is shown that includes building an analytical model for each of a set of migration methods based on database characteristics; predicting performance of the set of migration methods using the respective analytical model with respect to tenant service level agreements (SLAs) and current and predicted tenant workloads, where the prediction includes a migration speed and an SLA violation severity; and selecting a best migration method from the set of migration methods according to the respective predicted migration speeds and SLA violation severities.04-04-2013
20130035924Electronic Data Processing System Having A Virtual Bus Server Application - An electronic data processing system comprises a first application program that is capable of operating in a first mode and a second mode. The first mode comprises software emulation of a vehicle data bus and one or more network elements. The second mode comprises communications access to the vehicle bus and the one or more network elements. The electronic data processing system is capable of executing an operating system. A virtual bus server application comprises a shared memory and a message router. The operating system facilitates communication between at least two dynamic link libraries in shared memory. The message router is capable of routing data messages between the first application and a first hardware module as a network element in the second mode. A first dynamic link library interface provides an interface between the first application program and the virtual bus server application. The first dynamic link library is capable of communicating with the shared memory of the virtual bus server application. A second dynamic link library interface provides an interface between the virtual bus server application and the first hardware module. The second dynamic link library is capable of communicating with the shared memory of the virtual bus server application.02-07-2013
20090006071Methods for Definition and Scalable Execution of Performance Models for Distributed Applications - A method and system for defining performance models of distributed applications such as distributed systems or network systems in a way that combines discrete and analytical models and simulating such performance models for analyzing software performance and impacts on devices of the distributed applications is described. Also described is a method for accelerating the simulation process by converting the discrete load into aggregate load dynamically based on the statistical analysis of the simulation results.01-01-2009
20090171649USER-DEFINED APPLICATION MODELS - A system (and corresponding method) that employs wiki-type models to consider authoring rather than composition in an application environment is provided. The innovation enables collaborative information and templates to be used to enhance quality, productivity, etc. within a software application environment. These wiki-type models can provide features, functions and benefits related to, but not limited to, general information, auto-fills, formats, schema, conversions, preferences, etc.07-02-2009
20090157378Method, Apparatus and Computer Program Product for Intelligent Workload Control of Distributed Storage - A method, apparatus and computer program product are provided for generating a multiple-input, multiple output (MIMO) workload model of a distributed storage environment on a plurality of predictive controller devices. The MIMO models can then be utilized by the predictive controller to manage storage resources on a distributed storage system.06-18-2009
20120185232SYSTEM AND METHOD FOR PROVIDING A STATIC MODEL MAP OF BEHAVIORS IN A MIDDLEWARE SYSTEM, FOR USE IN IDENTIFYING SYSTEM PROBLEMS - A system and method for providing a static model map of behaviors in a middleware system, for use in identifying system problems. In accordance with an embodiment, the system provides a view of the system, such as a middleware system, which allows for analysis of the various components involved, such that analysis of one component does not affect the analysis of a second component. Locations within the middleware system where a particular request spends its time before returning a response are broadly categorized into either “wait” or “execution” locations. Irrespective of which request calls a component, the components exhibit the same behaviors which affect the response time of the request serviced. These exhibited behaviors are static and can be predefined for different types of components and analyzed independently of each other. In turn the behaviors can be similarly classified as either “wait” or “execution”, each of which can be considered aspects of a component. Each aspect of a component must satisfy the same efficiency/inefficiency as defined by the requirements on the middleware system. An aspect that does not meet the criteria is considered a “problem aspect” and is analyzed further to find the cause of the problem.07-19-2012
20120185233Method and System for Analyzing Temporal Flow Characteristics - A method and a system for analyzing temporal flow characteristics by which processing times for module labels of program modules can be graphically represented in a display to provide a user of an industrial controller with an enhanced way to analyze a distribution of the computing times of each individual program module.07-19-2012
20090125294SYSTEM 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 control paths through the program. A reduced BMC sub-problem obtained using BMC unrolling, while using path constraints imposed by the at least one tunnel. For the reachable property node, determining a quantifier-free formula (QFP) in a decidable subset of first order logic. Satisfiability of the QFP is checked, independently and individually, to determine whether the QFP is satisfiable for the subproblem. The decomposing is continued until the a BMC bound is reached.05-14-2009
20090326907PROGRAM ANALYSIS AS CONSTRAINT SOLVING - Described is a technology by which program analysis uses rich invariant templates that may specify an arbitrary Boolean combination of linear inequalities for program verification. Also described is choosing a cut-set that identifies program locations, each of which is associated with an invariant template. The verification generates second-order constraints, converts second-order logic formula based on those constraints into first-order logic formula, then converts the first-order logic formula into a quantifier-free formula, which is then converted into a Boolean satisfiability formula. Off-the-shelf constraint solvers may then be applied to the Boolean satisfiability formula to generate program analysis results. Various templates may be used to convert the second-order logic formula into the first-order logic formula. Further described are interprocedural analysis and the determination of weakest precondition and strongest postcondition with applications to termination analysis, timing bounds analysis, and generation of most-general counterexamples for both termination and safety properties.12-31-2009
20090306955METHOD AND SYSTEM FOR ANALYZING ROLLING ELEMENT BEARING SYSTEMS - Methods and systems for analyzing rolling element bearing systems are provided. A graphical user interface (GUI) is rendered on a display device. The graphical user interface includes a plurality of characteristics of the rolling element bearing system and a plurality of widgets associated with the characteristics. An indication of a value is received with each of the widgets. Each value is representative of the respective characteristic of the rolling element bearing system. A first analysis of the rolling element bearing system is performed based on the values with a first rolling element bearing solver. A second analysis of the rolling element bearing system is performed based on the values with a second rolling element bearing solver. Results of at least one of the first and second analyses are displayed on the display device.12-10-2009
20120191444SIMULATION DEVICE, SIMULATION METHOD, AND COMPUTER PROGRAM THEREFOR - Disclosed is a simulation device capable of simulating a functional IP with high accuracy. The simulation device includes a first CPU that controls the functional IP by executing a user program, a second CPU that simulates the functional IP by executing a simulator program, and a shared memory that is accessed by the first and second CPUs. In the shared memory, a built-in register area corresponding to a built-in register of the functional IP is mapped. The first CPU writes data into the built-in register area to control the simulation to be performed by the second CPU. The second CPU simulates the functional IP in accordance with the data written in the built-in register area. Consequently, the functional IP can be simulated with high accuracy.07-26-2012
20120191443MODEL BASED VERIFICATION USING INTELLIGENT CONNECTORS - Verifying operation of a device, where the device may have one or more inputs and one or more outputs, with at least one input and/or output associated with an intelligent connector. The intelligent connector is a data structure that contains the name of a variable transported by that connector, an address of the variable itself as a value in memory, and further information of the device producing the variable, at least in the form of address or pointer to the device data structure and the addresses of all other devices consuming that variable.07-26-2012
20100082321SCALING A PREDICTION MODEL OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a method for scaling a prediction model of resource usage of an application in a virtual environment, comprising: providing a predetermined set of benchmarks, wherein the predetermined set of benchmarks includes at least one of: a computation-intensive workload, a network-intensive workload, and a disk-intensive workload; executing the predetermined set of benchmarks in a first native hardware system in which the application natively resides; executing the predetermined set of benchmarks in the virtual environment; generating at least one first prediction model that predicts a resource usage of the application running in the virtual environment based on the executions of the predetermined set of benchmarks in the first native hardware system and the virtual environment; determining a resource usage of the application running in a second native hardware system in which the application also natively resides; generating at least one second prediction model based on a scaling of the at least one first prediction model by a predetermined constant; and predicting a resource usage of the application running in the virtual environment based on the resource usage of the application running in the second native hardware system and the at least one second prediction model.04-01-2010
20100082319PREDICTING RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a system for predicting resource usage of an application running in a virtual environment. The system comprises a first hardware platform implementing a native hardware system in which an application natively resides and executes, the native hardware system operating to execute a predetermined set of benchmarks that includes at least one of: a computation-intensive workload, a network-intensive workload, and a disk-intensive workload; a second hardware platform implementing a virtual environment therein, the virtual environment operating to execute the predetermined set of benchmarks; a third hardware platform operating to collect first resource usage traces from the first hardware platform and second resource usage traces from the second hardware platform; wherein the third hardware platform further operating to generate at least one prediction model that predicts a resource usage of the application executing in the virtual environment based on the collected first and second resource usage traces.04-01-2010
20130066621Automated Discovery of Resource Definitions and Relationships in a Scripting Environment - Embodiments of the invention use incomplete metadata, automated heuristics, and user input to construct a data model implemented by a set of commands used in a scripting environment. A combination of a static analysis and a runtime analysis of the scripting environment may be used to determine the data model. Commands that enumerate resources are identified. Return types for the commands are discovered either from a definition of the command or by running the command with default parameters. Properties for the return types are identified and key fields are identified for indexing. Relationships between the return types are identified, and additional commands associated with the return types are identified. The return type properties are analyzed to identify updatable return types. A data model of the scripting environment is created from the collected information.03-14-2013
20130066622SIMULATION OF STATIC MEMBERS AND PARAMETERIZED CONSTRUCTORS ON AN INTERFACE-BASED API - Embodiments are directed to providing a simulation of a type-level construct on an interface instance and to maintaining a token-based event handling system. In one scenario, a computer system instantiates an interface instance that includes an instance object and multiple instance members. The computer system also instantiates a separate typed object which is configured to maintain one or more simulated type-level parameterized constructors. The computer system then associates the instantiated interface instance with the separate typed object. The typed object routes method invocations from the interface instance to various simulated type-level parameterized constructors and static members of the type.03-14-2013
20120116747Recommending Alternatives For Providing A Service - In certain embodiments, one or more current service elements that can provide a service for a client are monitored. An event associated with a current service element is detected. One or more candidate service elements are analyzed with respect to the one or more current service elements operating for the client. The one or more candidate service elements operate in a client scenario corresponding to the client. A recommendation is provided in response to the analysis.05-10-2012
20130166271SIMULATING AND TESTING AVIONICS - An avionics application host system and method for simulating and/or testing a plurality of partitioned applications arranged to be periodically executed on a target system. The target system is a distributed avionics control system of an aerial vehicle. The host system includes a plurality of functional modules. The plurality of functional modules includes: an application module arranged to import the plurality of partitioned applications in un-modified form, a configuration module arranged to configure the operations of the host system, at least one communication module arranged to provide communication between the partitioned applications, a control module arranged to provide coordinated execution time to the functional modules, a service module associated to each imported partitioned application arranged to provide services to the imported partitioned applications so as to enable execution of the imported partitioned applications and to preserve the temporal order of events related to communication and execution.06-27-2013
20080294420SYSTEM AND METHOD FOR MODEL DRIVEN TRANSFORMATION FILTERING - A method and system for model-driven transformation are provided. The method and system in one aspect allows selecting of one or more model elements in a model. Transformation definitions are evaluated to identify one or more transformations that may be applicable to the selected one or more model elements. In one aspect, transformations may be identified that are applicable in an entire model, those that take the selected one or more model elements as input parameters, those that affect one or more model element, or any combination thereof. In one aspect, a list of applicable transformations is presented. In another aspect, the method and system automatically apply the one or more applicable transformations to the model.11-27-2008
20080294419Apparatus and method for simulating multi-dimensional non-linear multivariable processes - A process simulator is provided for simulating the behavior of multi-dimensional non-linear multivariable processes. A multi-dimensional non-linear multivariable model of a process can be generated, such as by using smaller building blocks. One or more inputs are provided to the model, a behavior of the process is simulated in real-time using the model, and one or more outputs of the model are provided. The model could represent a two-dimensional non-linear multivariable model, and the one or more inputs to the model and/or the one or more outputs of the model could be array-based. The process simulator could be formed from multiple components, such as a regulatory loop simulator object, a process model object, a disturbance generator object, and a scanner simulator object. The arrangement of the objects can be flexible and configurable, such as by designing the objects in an object-oriented manner utilizing a sink/source architecture.11-27-2008
20110035205TECHNIQUES TO AUTOMATICALLY GENERATE SIMULATED INFORMATION - Techniques to automatically generate simulated information are described. A method comprises receiving by a processor a structured input file with definitions to generate simulated data for a simulation database, and producing by the processor a data generator program based on the structured input file, the data generator program arranged to generate the simulated data for the simulation database using multiple data generating sessions executed concurrently or sequentially. Other embodiments are described and claimed.02-10-2011
20120330639AUTOMATIC MODEL EVOLUTION - A method includes performing, on a processor, evaluating log data; determining at least one discrepancy between the log data and a system model; generating a candidate model based on the discrepancy and a model template; and updating the system model based on the candidate model.12-27-2012
20120290283Workload Partitioning Procedure For Null Message-Based PDES - An embodiment of the invention includes applying a first partition to a plurality of LPs, wherein a particular LP is assigned to a first set of LPs. A second partition is applied to the LPs, wherein the particular LP is assigned to an LP set different from the first set. For both the first and second partitions, lookahead values and transit times are determined for each of the LPs and related links. For the first partition, a first system progression rate is computed using a specified function with the lookahead values and transit times determined for the first partition. For the second partition, a second system progression rate is computed using the specified function with the lookahead values and transit times determined for the second partition. The first and second system progression rates are compared to determine which is the lowest.11-15-2012
20110301933METHODS 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 interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation.12-08-2011
20110066420SYSTEM AND METHOD FOR SYSTEM INTEGRATION TEST (SIT) PLANNING - A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a system architecture model of a system and receive trigger coverage rules. Additionally, the programming instructions are operable to determine system integration test (SIT) coverage for each connection and interface of the system architecture model and select a set of use cases execution scenarios to satisfy the SIT coverage.03-17-2011
20110295588METHOD AND DEVICE FOR SIMULATING A SOFTWARE APPLICATION TO EXECUTE IN A SYSTEM - A method for simulation of a software program able to be run in a system and to control at least one action on expiration of a counter of the system, includes: 12-01-2011
20090313003Computer-Implemented Systems And Methods For Executing Stochastic Discrete 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 variation within the stochastic model. A system is configured to manage the streams while the stochastic model is being executed during a simulation.12-17-2009
20100114554PREDICTIVE MODELING - Predictive modeling, in which a first simulation model that simulates a first policy for managing a set of data is determined based on a pattern representative of the set of data and first operating variables for the first policy. The first simulation model is optimized and first prediction data that estimates performance of the first policy is computed using the optimized first simulation model. A second simulation model that simulates a second policy for managing the set of data is determined based on the pattern and second operating variables for the second policy. The second simulation model is optimized and second prediction data that estimates performance of the second policy is computed using the optimized second simulation model. The first prediction data is compared with the second prediction data, and a determination of whether the first policy is better than the second policy is made.05-06-2010
20120239376PREDICTING PERFORMANCE OF A CONSOLIDATED VIRTUALIZED COMPUTING ENVIRONMENT - Implementations of the present disclosure provide computer-implemented methods for predicting a performance of a consolidated virtualized computing environment. Methods include processing benchmark workloads using a plurality of virtual machines to generate a plurality of traces, each trace including data corresponding to requests issued by a respective virtual machine operating in an isolated environment, storing the plurality of traces in one or more trace repositories, each trace repository provided as a computer-readable storage medium, selecting a trace from the plurality of traces stored in the one or more trace repositories, parameterizing a queuing model based on the trace, the queuing model representing request queuing in the consolidated virtualized computing environment, and processing the queuing model using one or more processors to generate one or more response time estimates for the consolidated virtualized computing environment.09-20-2012
20100082322OPTIMIZING A PREDICTION OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a method for optimizing a prediction of resource usage of an application running in a virtual environment, comprising: providing a predetermined set of benchmarks, wherein the predetermined set of benchmarks; executing the predetermined set of benchmarks in a native hardware system in which the application natively resides; executing the predetermined set of benchmarks in the virtual environment; collecting first traces of first resource utilization metrics in the native hardware system based on the execution of the predetermined set of benchmarks in the native hardware system; collecting second traces of second resource utilization metrics in the virtual environment based on the execution of the predetermined set of benchmarks in the virtual environment; generating a first prediction model and a second prediction model; generating a third prediction model that maps all of the first traces of the selected first metric to the second traces of resource utilization metrics; comparing the first and second prediction models against the third prediction model; and predicting a resource usage of the application running in the virtual environment with either a) a combination of the first and second prediction models or b) the third prediction model based on the comparing.04-01-2010
20090006069REAL-TIME PERFORMANCE MODELING OF APPLICATION IN DISTRIBUTED ENVIRONMENT AND METHOD OF USE - A system and method of managing computing systems and, more particularly, to a system and method for modeling applications in a network. The method includes determining dependency of components in a shared distributed computing environment and measuring consumption of the dependent components. The method further includes building a model to compare component behavior with a current load of the dependent components to optimize component performance or to find a deviation and hence a “troubled spot”. The system includes a local agent configured to perform the method and to provide data to a centralized storage.01-01-2009
20080228462Generating synthetic workloads to measure power utilization in a computer system - One embodiment of the present invention provides a system that generates a synthetic workload to test power utilization in a computer system. During operation, the system monitors power utilization of a reference computer system while the reference computer system executes a workload-of interest, wherein the monitoring process produces a power profile. Next, the system determines characteristics of the workload-of-interest from the power profile. Finally, the system uses the determined characteristics to construct the synthetic workload, wherein the synthetic workload has similar power utilization to the workload-of-interest.09-18-2008
20080288234METHOD, SYSTEM AND PROGRAM PRODUCT SUPPORTING USER TRACING IN A SIMULATOR - According to a method of specifying a trace array for simulation of a digital design, one or more entities within a simulation model are specified with one or more statements in one or more hardware description language (HDL) files. In addition, a trace array for storing data generated through simulation of the simulation model is specified in one or more statements in the one or more HDL files. The HDL files may subsequently be processed to create a simulation model containing at least one design entity and a trace array within the design entity for storing trace data regarding specified signals of interest.11-20-2008
20080312899Software feature modeling and recognition - Described is a technology by which software program feature usage is located within a sequence of commands collected during program usage sessions. For example, feature generally corresponds to a series of commands, such as copy and paste. A visual modeling component is controlled via drag-and-drop operations to describe a feature model, which is then compiled by a compiler into a finite state machine. Noise models may be used to exclude any command in the sequence that is irrelevant to the feature usage. A recognition process uses the finite state machine to locate program feature usage within the sequence of recorded commands by matching command sub-sequences corresponding to the feature model via the state machine. An analyzer may then use the located matches to provide an analysis report on feature usage.12-18-2008
20080270103Method for Functional Verification of an Integrated Circuit Model for constituting a Verification Platform, Equipment Emulator and Verification Platform - The present invention relates to a method for on demand functional verification of a software model of an application specific integrated circuit (ASIC), in a low-level programming language (for example of the HDL type), which separately handles the creation of the model and the debugging of the functional verification tests to be applied to the model of the circuit in order to create a verification platform. The method for verification comprises a transmission mode and a verification mode. In the transmission mode an autonomous circuit emulator (10-30-2008
20090006070Simulation of Installation and Configuration of Distributed Software - A simulator is provided with a computer system configured with a CMDB to project hardware and software configuration information prior to installation thereof. The CMDB preserves a repository of information related to all the components of an information system. The simulator searches the CMDB and provides a list of installation candidates that would enhance system performance. The candidates are presented to the user in an associated visual display, together with associated performance information and required changes to the hardware resources, prior to installation of any of the candidates on the associated computer system.01-01-2009
20090006072Method 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 processors of said multi-processor system is indicated. The application is mapped according to a performance model associated with benchmark performance data of a parallel library on a parallel computer architecture. Then either the application is executed on the multi-processor system, or the application is simulated using a specified machine model for a multiprocessor system. Feedback information is then provided to influence architecture parameters for a multiprocessor system.01-01-2009
20080319731SYSTEM AND METHOD FOR MANAGING THE PERFORMANCE OF A COMPUTER SYSTEM BASED ON OPERATIONAL CHARACTERISTICS OF THE SYSTEM COMPONENTS - A performance manager and method for managing the performance of a computer system based on a system model that includes measured entities representing the operational characteristics of the system components and relationships among the measured entities. The performance manager includes data producers for interacting with the interface agents of the components, an engine for exchanging information with the data producers and the system model, and an interaction model for determining relevant measured entities in the system model. The system model and interaction model are maintained in a repository where data might be accessed via an access interface. Incoming performance data is analyzed by an analyzer in the background to detect trends and relationships among the entities. An operator might review the relevant entities and apply controls to selected entities to manage the overall system performance as well as to resolve problems affecting the performance of the components in the system.12-25-2008
20090055156USING COMMERCIAL COMPUTING PACKAGE MODELS TO GENERATE MOTOR CONTROL CODE - Systems and methods for designing and/or diagnosing industrial applications including the use of a simulation of hardware and/or software elements. A correlation component can assess the degree of accuracy with which the simulation represents the operation of the hardware counterparts. A customer assistance system and method whereby a customer can describe a desired industrial application and request a simulative evaluation of the performance of the proposed equipment and software, and receive purchase information, suggested solutions, and diagnostic insight.02-26-2009
20090055155SIMULATING EXECUTION OF SOFTWARE PROGRAMS IN ELECTRONIC CIRCUIT DESIGNS - In some embodiments disclosed herein, the execution of a software program by processor can be simulated using two models of the processor: one “detailed” model that offers a relatively high level of detail and operates relatively slowly; and another “fast” model that offers a relatively low level of detail and operates relatively quickly. Portions of the software program are simulated as being executed on one model or the other according to simulation selection information (e.g., user input). State information is passed between models as the system switches from one model to another. The detailed model can comprise, for example, a “full functional” processor model, while the fast model can comprise, for example, an instruction set simulator (ISS) and a bus cycle engine (BCE). Further embodiments allow a plurality of software programs to be simulated in batch using the disclosed technologies.02-26-2009
20090055154METHOD 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 instances of the identified data. The method further comprises replacing the scrubbed identified data with the graphical representation of the identified data. The system includes a computer infrastructure to perform at least the steps of the method.02-26-2009
20110231178MODELING AND GENERATING COMPUTER SOFTWARE PRODUCT LINE VARIANTS - A system for modeling computer software product line variants may include a model builder configured to construct a model of a plurality of variants of a computer software application. The model may include at least one common-to-variants element that may be common to a plurality of the variants, a plurality of variant-specific elements, and interface code configured to adapt any of the variant-specific elements to any of the common-to-variants elements. The model may further include an application generator configured to generate a plurality of computer software applications for a corresponding plurality of combinations of the common-to-variants elements and the variant-specific elements, where the model builder and the application generator may be implemented in at least one of computer hardware and computer software embodied in a tangible computer-readable storage medium.09-22-2011
20080262824Creation of 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 scenarios using resource models.10-23-2008
20090198484SCALABLE AUTOMATED EMPIRICAL TESTING OF MEDIA FILES ON MEDIA PLAYERS - Scalable empirical testing of media file playback utilizes test hooks in each media player to support simulated human interaction and playback monitoring. A media crawler catalogs media files accumulated in a media file database to create a wordlist. One or more scalable instances of media tester accesses the wordlist to select items of work linked to media files. Work items and/or operating modes of media tester specify test parameters such as performance profiles or further define testing such as specifying repetitious playback on one or more media players. Media files are downloaded to and played by a scalable number of media players. Playback performance is monitored, analyzed and reported. Failure reports are accompanied by instructions to reproduce failures and cross-references to content or source code in media files. Failures can be audited by additional work items for follow-up testing.08-06-2009
20120197626Method and System for Predicting Performance of Software Applications on Prospective Hardware Architecture - A system and method for identifying optimal system architectures for a reference application are provided. The system and method comprise executing a reference application and a plurality of test applications on a current system architecture and sampling performance data for each of the applications. The performance data is used to compute an application signature for each application. A similarity element is derived from the application signatures that illustrates the similarity between each application and every other application. Using a similarity threshold and an algorithm, a subset of test applications that are similar to the reference application are derived.08-02-2012
20090259455METHOD AND SYSTEM FOR AUTOMATIC TRACKING OF A COMPUTERIZED PROCESS USING A RELATIONSHIP MODEL - A system and method are provided for tracking an executed process. The method includes identifying a key computer object in a process. A computer object relationship model of the computer objects is analyzed to identify computer objects that are independent of and dependent on the key computer object in the model. In the executed process, instances of the key computer object, its dependent and its independent objects are located. The results of the analyzing of the computer object relationship model and the locating of the computer object instances are stored for analysis. Thus, the executed process flow can be reconstructed based on the sequence of involved instances of the computer objects without any prerequisite knowledge about how the process has been designed and should have been executed. The reconstructed process can be compared with a designed process to identify and analyze deviations between both.10-15-2009
20120197625Data-dependency-Oriented Modeling Approach for Efficient Simulation of OS Preemptive Scheduling - In the present disclosure, the DOM approach for the simulation of OS preemptive scheduling has presented and demonstrated. By maintaining the data-dependency between the software tasks, and guaranteeing the order of shared variable accesses, it can accurately simulate the preemption effect. Moreover, the proposed DOM OS model is implemented to enable preemptive scheduling in SystemC.08-02-2012
20090043560FEATURE 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 programs may be disjointed in that they have independent meaning or dependent in that they include at least one of a state variable, action, or precondition that is dependent on another model program to impart meaning to the model program. An output model program is composed by unification including substituting state variables into another of the model programs without executing the model programs. Traces are generated from the output model program. Each of the traces includes a path of labels. The labels describe actions of the output model program from an initial state to an accepting state where a run is allowed to stop. The traces are output to a user.02-12-2009
20120143588CONCURRENT WORKLOAD SIMULATION FOR APPLICATION PERFORMANCE TESTING - Embodiments of the present invention provide a method, system and computer program product for concurrent workload simulation for application performance testing. In an embodiment of the invention, a method for concurrent workload simulation for application performance testing is provided. The method includes loading a list of recorded workloads for different tasks of a computing application under test in a workload simulator executing in memory by at least one processor of a host computer. The method also includes grouping the recorded workloads by common task in a corresponding block. Finally, the method includes generating loads for simulating performance of the computing application under test from the grouped workloads so as to require serial execution of workloads in a common block in order of appearance in the common block, but to allow concurrent execution of workloads in different blocks.06-07-2012
20090326908Simulation support method, computer-readable storage medium storing simulation support program, and simulation support apparatus - A simulation support method includes generating an operation interface used to convert a subject model to a model for parallel computation, in which a plurality of subsystem models are connected to each other, wherein the plurality of subsystem models correspond to a plurality of processes in one step, and the processes repeatedly run in parallel in a cluster computer; inserting dummy blocks in the subject model, when an instruction for converting the subject model to the model for parallel computation is provided through the operation interface, wherein the dummy blocks are used to synchronize the data in the processes, which are transmitted between the processes that run in parallel; and editing a simulation program for parallel computation, based on the model for parallel computation, wherein the simulation program for parallel computation is used to generate the processes that run in parallel in the cluster computer.12-31-2009
20090319255MAXIMIZING THROUGHPUT FOR A GARBAGE COLLECTOR - Some embodiments of the present invention provide a system that executes a garbage collector in a computing system. During operation, the system obtains a throughput model for the garbage collector and estimates a set of characteristics associated with the garbage collector. Next, the system applies the characteristics to the throughput model to estimate a throughput of the garbage collector. The system then determines a level of performance for the garbage collector based on the estimated throughput. Finally, the system adjusts a tunable parameter for the garbage collector based on the level of performance to increase the throughput of the garbage collector.12-24-2009
20090112566AUTOMATED GENERATION OF EXECUTABLE DEPLOYMENT CODE FROM A DEPLOYMENT ACTIVITY MODEL - Although a modeling language can be used to create a deployment diagram to graphically depict a deployment model, the utility of the deployment diagram is limited to easing understanding of the model. Automated generation of executable deployment code that implements a deployment model allows benefits of modeling to be realized. Automated generation of executable deployment code from a deployment model provides efficiency in time and resource utilization.04-30-2009
20090112569Method and Apparatus for Simulating Aircraft Data Processing Systems - A method, apparatus, and computer program product for simulating mobile platforms. In one advantageous embodiment, a method is used to performing operations with a virtual aircraft network. A data processing system with the virtual aircraft network is connected to a ground network. The operations are performed with the virtual aircraft network connected to the ground network.04-30-2009
20090112567PRELIMINARY 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 representation (e.g., one or more data structures) of the one or more diagrams of the deployment topology model. The deployment model tool begins creating preliminary representations of a deployment activity model until representation of a valid deployment activity model is created. Although the preliminary representations (assuming the first traversal attempt of the deployment topology model is unsuccessful) are discarded in some embodiments, other embodiments store the representations of the preliminary representations for analysis (e.g., analysis for the tool to learn, analysis to discover values for automatically defining attributes, etc.).04-30-2009
20090070093PROGRAM, INFORMATION STORAGE MEDIUM, AND GAME DEVICE - A game device calculates a shift angle A based on a magnitude of a velocity vector S of a moving object MO and inclination information that indicates an inclination of a controller, calculates a direction D of the moving object on a slope based on a direction of the velocity vector S of the moving object and the shift angle A, calculates a first force vector P03-12-2009
20130144591Computer Method And Apparatus Converting Process Engineering Application Data Into A Canonical Flowsheet Representation - Process engineering software applications have respective proprietary in nature and disconnected model representations of a manufacturing or processing facility. The invention method and apparatus extract from the various applications topology of equipment and streams for a facility. From the extracted data, a convertor or adapter of the invention system derives a common canonical model. To support the common canonical model (e.g., a Flowsheet object in embodiments), the converter/adapter maps or associates one or more physical assets to a logical asset, and arranges a working hierarchy of assets that can be navigated, queried and filtered.06-06-2013
20110246170APPARATUS AND METHOD FOR SIMULATING A RECONFIGURABLE PROCESSOR - A processor simulation technique to evaluate the performance of a processor that executes application programs is provided. The processor simulation technique may be used to optimize the execution of an application program. A simulator of a reconfigurable processor including a plurality of functional units models a processor by representing routing paths between functional units that generate operands and functional units that consume the operands. The size of each queue may be decided based on information regarding routing delays between functional units and stage information of iteration loops according to modulo scheduling received from a scheduler. A modeling code DB that stores host-oriented binary codes for operations of routing queues is also provided. The simulation may be performed by executing a host-directed binary code corresponding to a binary file instead of the binary file.10-06-2011
20110087479ONLINE BUILDING TOY - The present invention pertains to a method and apparatus for building online games. In one embodiment, the method may include providing a user interface that facilitates user selection of parts, and placing a set of parts selected by a user in a three-dimensional (3D) world. The method may also include joining parts within the set based on their proximity to each other in the 3D world to form one or more models for a game, and sending a model file for each of these models to a server via a network for use by various users.04-14-2011
20090037165Method and Apparatus for Processing Transactions in a Simulation Environment - A method, article of manufacture and apparatus for simulating a plurality of transactions. A first group of transactions with first simulation properties are provided and a second group of transactions with second simulation properties are provided. The first simulation properties are different from the second simulation properties. During software simulation of a hardware model, the first group of transactions and the second group of transactions are issued to the hardware model. The first group of transactions and the second group of transactions are processed using the hardware model. At least a portion of the first group of transactions and the second group of transactions is processed simultaneously using the hardware model. The first simulation properties are used to process the first group of transactions using the hardware model and wherein the second simulation properties are used to process the second group of transactions using the hardware model.02-05-2009
20100125443Systems and Methods for Running a Multi-Thread Simulation - Systems and methods for running a multi-thread simulation and evaluating the results during a simulation run to select the best thread.05-20-2010
20130158974MODELING AND PREDICTING CONTROL SYSTEM BEHAVIOR THROUGH FAST-FORWARDING - Methods and systems for modeling and predicting control system behavior through fast-forwarding are provided herein. The method includes obtaining sets of equivalent inputs, time zones, and a user-defined stop time. The method also includes taking a primary checkpoint of a main instance of a control system in response to a user input. The method includes fast-forwarding the control system by generating a secondary instance from the main instance at the primary checkpoint and subjecting the secondary instance to each combination of an input from each of the sets of equivalent inputs in each time zone. The method includes taking a secondary checkpoint from the primary checkpoint for each combination. For each secondary checkpoint, the method includes fast-forwarding the control system by generating a tertiary instance from the secondary instance and subjecting the tertiary instance to each combination as long as a time does not exceed the user-defined stop time.06-20-2013
20110010161MODELING COMPUTER APPLICATIONS AND STORAGE USED THEREBY - Embodiments of the invention provide a technique to model applications and storage used thereby. An aspect of the present invention is directed to a method for managing a computer system which includes at least one host computer and at least one storage system which are connected via a network, the at least one host computer having an application running thereon. The method comprises modeling an application running on a host of a computer system as an application object, which includes associating storage utilized by the application with the application object; tracking operation of the storage associated with the application object as a service being delivered by the storage to the application; and presenting result on the service being delivered by the storage to the application based on tracking the operation of the storage.01-13-2011
20120203535Formal Verification of Models Using Concurrent Model-Reduction and Model-Checking - Formal verification of models using concurrent model-reduction and model-checking. For example, a system for formal verification of models includes: one or more model reducers to reduce a model; one or more model checkers to check the model, wherein at least one of the model reducers is to run concurrently with at least one of the model checkers; and a model synchronizer to synchronize information between at least one of the model reducers and at least one of the model checkers.08-09-2012
20120203534SYSTEM AND METHOD FOR DETECTING UNREACHABLE STATES IN A STATEMATE STATECHART MODEL - The present invention provides a system and method for detecting unreachable states in a large commercial Statemate Statechart model. A system for checking the reachability of any given state in a Statemate Model, the said system comprises: an input means for receiving an Original Statemate Model (OSM), output means for displaying the result to a user, and a processor, wherein the processor is capable of executing the programmed instructions to: transform the OSM into First Statemate Model (FSM) by using translator; transform the OSM into Second Statemate Model (SSM) based on the determined length of the super step such that the set of all initial configurations of the SSM is a superset of all the stable configurations of the OSM by using translator; check the reachability of states of the OSM in the SSM by using bounded model checker (BMC); and send the result to the output means.08-09-2012
20110257957PERSONALIZED INFORMATION SERVICE METHOD AND INFORMATION PLATFORM - A personalized information service method for an information platform having several subscribers is provided. Each subscriber uses a portable device to communicate with the information platform, and the information platform stores several personalized behavior models respectively corresponding to the subscribers. For each subscriber, the personalized information service comprises the steps of collecting operating information related to the subscriber operating the portable device, and transmitting the operating information to the information platform. The information platform analyzes the operating information to adjust the personalized behavior model corresponding to the subscriber.10-20-2011
20100292981METHOD FOR DATA PROCESSING AND DISPLAY FOR DETECTING AND/OR PREDICTING POSSIBLE TRENDS - A method for detecting trends based on outcomes generated by a first process, comprising the steps of: (a) determining all possible outcomes associated with the first process, wherein the first process is associated with a range of possible outcomes; (b) coding the possible outcomes to provide a plurality of separate groups, wherein each possible outcome is systematically allocated to one of the groups; (c) allocating an identifier to each of the groups; (d) monitoring the first process such that actual outcomes generated by the first process are mapped to an identifier in accordance with coding step (b); (e) providing a matrix made up of rows and columns; (f) allocating each identifier generated in step (d) to the matrix, and (g) repeating step (f) until a trend of duplicating identifiers becomes self-evident.11-18-2010
20100082320ACCURACY IN A PREDICTION OF RESOURCE USAGE OF AN APPLICATION IN A VIRTUAL ENVIRONMENT - Described herein is a system for improving accuracy in a prediction of resource usage of an application running in a virtual environment. The system comprises a first hardware platform implementing a native hardware system in which an application natively resides and executes, the native hardware system operating to execute a predetermined set of benchmarks that includes at least one of a network-intensive workload and a disk-intensive workload, a second hardware platform implementing a virtual environment therein, the virtual environment operating to execute the predetermined set of benchmarks, and a third hardware platform operating to collect first resource usage traces from the first hardware platform that result from the execution of the predetermined set of benchmarks in the native hardware system and second resource usage traces from the second hardware platform that result from the execution of the predetermined set of benchmarks in the virtual environment. The third hardware platform further operating to perform a linear regression computation to generate at least one prediction model that predicts a resource usage of the application executing in the virtual environment based on the collected first and second resource usage traces.04-01-2010
20090187396Software Behavior Modeling Apparatus, Software Behavior Monitoring Apparatus, Software Behavior Modeling Method, And Software Behavior Monitoring Method - A software operation modeling device (07-23-2009
20090063123SYSTEMS, METHODS AND COMPUTER PRODUCTS FOR DATABASE CLUSTER MODELING - Generating in a computer system and deploying a data model of a plurality of database cluster configuration availability solutions over a computer network by creating a database cluster configuration modeling specification including objects contained in a unified model language diagram providing a definition of a database cluster configuration data model. Creating the database cluster configuration data model using the database cluster configuration modeling specification and upon receiving signals from a graphical user interface or from XML batch data files or from application programming interfaces, indicating the definition of the cluster configuration model. After creating the graphical database cluster configuration data model, constraints that specify a valid logical configuration are validated and the solution is transformed into data understandable by database cluster manager software applications and then transmitted over a network to multiple cluster manager targets to be incorporated as database cluster configuration availability solutions.03-05-2009
20120150526MODELIZING RESOURCES AND EXTERNAL DATA OF A PROGRAM FOR PROCEDURAL LANGUAGE CODING - A computer-implemented method of representing a software application to be coded in a procedural language is provided. An initial UML class diagram modelizing the software application is received. Data definition classes within the initial UML class diagram are identified. Class operations within the initial UML class diagram are identified. The initial UML class diagram is modified by a processor to generate an extended UML class diagram by applying a data object stereotype to the identified data definition classes, and applying a program stereotype to the identified class operations. The data definition classes represent logical data, and the class operations represents programs.06-14-2012
20080208561Method of Measuring a Large Population of Web Pages for Compliance to Content Standards that Require Human Judgement to Evaluate - Embodiments herein provide a method, computer program product, etc. of measuring a large population of web pages for compliance to content standards that require human judgment to evaluate. The method performs an automated analysis of a web space, comprising gathering information about structure and content of the web space. The performing of the automated analysis further comprises creating first data and second data. Specifically, the creating of the first data comprises creating page-relationship data based on a directory tree structure of servers in the web space or link distances amongst pages in the web space. The creating of the second data comprises analyzing web page content, comprising creating compliance-indicating data and/or content structure data for pages in the web space. In addition, the performing of the automated analysis can comprise performing the automated analysis on a web space that lacks objective standards violations that can be identified using software.08-28-2008
20110166848METHOD AND SYSTEM FOR MODELLING WATER TREATMENT AND HARVESTING - A method of modelling a water harvesting and treatment system, the method comprising: receiving modelling data, the modelling data comprising a plurality of parameters relating to intended application of the water harvesting and treatment system; accessing rainfall data for a geographic region for a predetermined historical period, the rainfall data comprising data for a plurality of predetermined time increments over the historical period; and generating a model of the water harvesting and treatment system based on the rainfall data and the modelling data.07-07-2011
20120016654BI-DIRECTIONAL PROJECTION - In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model.01-19-2012
20120016653INTERACTIVE BLUEPRINTING FOR PACKAGED APPLICATIONS - An interactive design of process model for packaged application software installation and configuration generates a process model from a natural language description of software installation or configuration related operation. A data structure representing one or more work products related to the process model is identified, and one or more elements of the data structure are identified that are related to one or more sub-processes of the process model. Input information associated with said one or more sub-processes is captured and stored. The input information is linked with the one or more elements of the data structure related to said one or more sub-processes. The one or more sub-processes in the process model may be also demonstrated through a simulation.01-19-2012
20120022848COMPUTER-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 including one or more conditions is defined and a set of definitions, which explicitly or inexplicitly indicates one or more definitions, of which at least one will be applied, and a similar object is searched for. If the set of definitions is related to an object which was used as the basis for defining the set of conditions for similarity, the set of definitions is applied to the object found. If the set of definitions is related to an object to be found, the set of definitions of the object found is applied to the object which was used as the basis for defining the set of conditions for similarity.01-26-2012
20120022849PLC SYMBOL STRUCTURE FOR A PLC CODE FOR AUTOMATICALLY GENERATING AN INPUT/OUTPUT MODEL, AND SIMULATION APPARATUS AND SIMULATION METHOD FOR TESTING THE PLC CODE USING SAME - Disclosed are a PLC (Programmable Logic Controller) symbol structure for a PLC code for automatically generating an input/output model, and a simulation apparatus and a simulation method for testing the PLC code using the same. In one embodiment, a computer-readable recording medium records a PLC code including a plurality of PLC symbols, wherein each of the PLC symbols includes a plurality of levels identified by an identifier, and a computer automatically generates an input/output model using the structure of each of the PLC symbols, thereby performing a simulation for testing the PLC code. The PLC symbol structure according to one embodiment systematically contains information required for automatically generating the input/output model, making it possible to automatically generate the input/output model for testing the PLC code in an easier manner without knowledge of simulation and modeling, and reducing the time consumed and the labor required for generating the input/output model.01-26-2012
20120209586Contextual Demonstration of Applications Hosted on Multi-Tenant Database Systems - Mechanisms and methods for providing a contextual demonstration of a customer relationship management (CRM) system can be tailored to illustrate the user-specific benefits of the CRM. An example method can include sending instructions to display a user interface having at least one pre-defined field on an electronic device's display. An explicit input corresponding to one of the pre-defined fields and made at the user interface can be received. A selection of the type of simulation can be received. The explicit input and the selected type of simulation can be processed to generate at least one output. Each output can represent a correlation between the explicit input and at least one of the at least one pre-defined fields. A presentation can be generated based at least in part on the at least one output and the selection of the type of simulation. The presentation can be displayed at the user interface.08-16-2012
20110106519SIMULATING AN APPLICATION - One example embodiment is a method that simulates a sampling period of an application to collect execution counts of basic blocks and compute cycles per instruction (CPI) data. A non-sampling period of the application is simulated to collect execution counts of basic blocks, and a comparison of the execution counts collected during the sampling period is performed to the execution counts collected during the non-sampling period. Based on the comparison, a determination is made whether to estimate CPI for the basic blocks during the non-sampling period using the CPI data collected during the sampling period.05-05-2011
20100094611SYSTEM AND METHOD FOR FEEDBACK-GUIDED TEST GENERATION FOR CYBER-PHYSICAL SYSTEMS USING MONTE-CARLO - A system and method for generating test vectors includes generating traces of a system model or program stored in memory using a simulation engine. Simulated inputs are globally optimized using a fitness objective computed using a computer processing device. The simulation inputs are adjusted in accordance with feedback from the traces and fitness objective values by computing a distance between the fitness objective value and a reachability objective. Test input vectors are output based upon optimized fitness objective values associated with the simulated inputs to test the system model or program stored in memory.04-15-2010
20090132227COUNTER EXAMPLE ANALYSIS SUPPORT APPARATUS - A counter example analysis support apparatus includes a counter example storage storing the counter example being a transition sequence of state and event that has not satisfied a verification condition as a result of the model checking; comprising: a related item list storage storing a related item list being a list associating a detection event, which is an event for detecting and generating the other-state, and a detected state, which is a state for determining the existence of the generation of the detection event; and a searching unit outputting a possible problem part from the counter example, wherein the searching unit determines whether a state included in the counter example is the detected state, and if the state included in the counter example is the detected state, determines whether a detection event corresponding to the related item list is generated before the detected state transits to a next state.05-21-2009
20090132226MIMICKING OF FUNCTIONALITY EXPOSED THROUGH AN ABSTRACTION - Various technologies and techniques are disclosed for mimicking functionality of an application platform. At runtime, an analysis is performed of an application platform to identify how a desired functionality is implemented by the application platform. When the analysis reveals that the application platform is using a known function that can be mimicked, a handshake with the application platform is bypassed and the desired functionality is mimicked. To mimic the functionality, the known function is started for the application platform that uses the desired functionality. An entry point of the known function is detected. Machine instructions are decoded in the known function. Code that mimics an effect of the machine instructions is generated. The code that mimics the effect of the machine instructions is then executed.05-21-2009
20090132225TECHNIQUE FOR CREATING SIMULATED SERVICING APPLICATIONS FROM DATA CAPTURED BY A CONFIGURABLE SOFTWARE PROBE - The present invention discloses a system for creating a simulated service application from data captured by a configurable software probe. Such a system can include a servicing application, a configurable software probe, and a simulator generation engine. The servicing application can be configured to provide at least one function to a requesting application. The configurable software probe can be embedded within the servicing application in order to dynamically capture function requests and corresponding return data. The simulator generation engine can be configured to generate a simulated servicing application that simulates a functioning of the servicing application.05-21-2009
20100250228MODELING A COMPOSITE APPLICATION - Techniques for modeling a composite application are provided. The techniques include identifying one or more entities that are processed in a user enterprise, identifying one or more actions to be performed during a lifecycle of the one or more entities, and modeling a composite application based on the one or more actions to be performed during a lifecycle of the one or more entities.09-30-2010
20120084070BI-DIRECTIONAL PROJECTION - In an embodiment, one or more computer-readable media holding executable instructions is provided. The instructions may be executed on a processing device to project a specification to a platform environment that includes a system model. The media may hold one or more instructions for accessing an algorithm model, the algorithm model being associated with the specification. The media may further hold one or more instructions for projecting the specification to the system model via a forward projection. The media may hold one or more instructions for receiving a reverse projection that includes specification changes, the specification changes identifying suggested changes to the specification. The media may further hold one or more instructions for modifying the algorithm model based on the specification changes, and the media may hold one or more instructions for storing the modified algorithm model.04-05-2012
20120130703METHODS AND APPARATUS FOR ADVANCING TIME IN A DISTRIBUTED BUSINESS SIMULATION - Methods and apparatus for advancing time in a distributed business process simulation 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 interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, simulation time may be warped from one breakpoint to another breakpoint thereby facilitating an efficient ratio of simulation time to real time.05-24-2012
20120130702VERIFICATION OF A COMPUTER PROGRAM IN RESPECT TO AN UNEXPECTED RESPONSE TO AN ACCESS REQUEST - Testing a computer program comprises identification of resource access requests by the computer program to a resource provided by an underlying host. The resource access requests may be intercepted and a determined response may be returned instead of the actual response of the underlying host. In some exemplary embodiments, the resource may a clock of the underlying host and the response may be the time of the clock. In some exemplary embodiments, the computer program may be tested to check for validity during execution on a cloud computing environment, in which access to resources may yield results that on a non-cloud computing environments are generally not expectable. The testing may be performed on a non-cloud computing environments and simulate scenarios applicable to cloud computing environments.05-24-2012
20100332210METHOD AND APPARATUS FOR PREDICTING OBJECT PROPERTIES AND EVENTS USING SIMILARITY-BASED INFORMATION RETRIEVAL AND MODELING - Method and apparatus for predicting properties of a target object, in particular, one of an origin and a source, comprise application of a search manager for analyzing parameters of a plurality of databases for a plurality of objects, the databases comprising an electrical, electromagnetic, acoustic spectral database (ESD), a micro-body assemblage database (MAD) and a database of image data whereby the databases store data objects containing identifying features, source information and information on site properties and context including time and frequency varying data. The method comprises application of multivariate statistical analysis and principal component analysis in combination with content-based image retrieval for providing two-dimensional attributes of three dimensional objects, for example, via preferential image segmentation using a tree of shapes and to predict further properties of objects by means of k-means clustering and related methods. By way of example, a fire event and residual objects may be located and qualified such that, for example, properties of the residual objects may be qualified, for example, via black body radiation and micro-body databases including charcoal assemblages.12-30-2010
20120136644PREDICTING SYSTEM PERFORMANCE AND CAPACITY USING SOFTWARE MODULE PERFORMANCE STATISTICS - An approach for predicting performance and capacity of an information technology (IT) system before the IT system is built is described, where the predicting uses a database of performance statistics measured for reusable software modules. A performance simulation modeling tool receives a set of performance statistics of a test computer. The set of performance statistics is associated with a set of software modules included in a library of reusable software modules. The set of software modules is required to build a target IT system. The set of performance statistics is received from a database of performance statistics resulting from individual executions on the test computer of each reusable software module in the library. The performance simulation modeling tool predicts computing resources required by the target IT system. The computing resources prediction follows the receipt of the set of performance statistics and precedes the target IT system being built.05-31-2012
20110184716METHOD AND DEVICE FOR ANALYZING AN EXECUTION OF A PREDETERMINED PROGRAM FLOW ON A PHYSICAL COMPUTER SYSTEM - The functionality of simulated, virtual hardware units is varied during the execution of a program flow on the virtual hardware units, for example via an interface device of a simulation device, in such a manner that the execution behavior changes of a program flow can be identified by using at least one faulty, physical hardware unit. A method and a device are used for analyzing an execution of a predetermined program flow on a physical computer system. The method and the device are used to determine execution behavior changes of software products which changes are due to faulty hardware components. The method and device allow execution behavior changes to be identified systematically, using an operating system and eliminates the need for expensive, physical hardware components and for modifications to a physical computer system.07-28-2011
20100299129Mapping Between Stress-Test Systems and Real World Systems - A method, system and computer program product for determining the reliability of a software system. Test data inputs are utilized to simulate conditions under which software is executed. One or more test data inputs replace variables in a first algorithm and a second algorithm. The first algorithm and the second algorithm determine a first test parameter and a second test parameter, respectively. The first test parameter and second test parameters are transmitted to a third algorithm along with selected test data inputs. The third algorithm evaluates the input of the first test parameter, second test parameter and selected test data inputs, and calculates the projected number of users for the software. The projected number of users for the software is output to facilitate optimal usage of the software system.11-25-2010
20120179447Hybrid Simulation System and Method - A hybrid simulation model includes a real model, a bus interface and an acceleration model. The real model simulates a group of instructions. The acceleration model includes a trace generation unit, a trace replay unit, a selection unit, a snapshot generation and load unit and a virtual breakpoint control unit. The trace generation unit records at least one trace file of the real model in a first simulation. The trace replay unit reads and accordingly accesses the at least one trace file. The selection unit dynamically switches to perform a real simulation or a trace simulation. The snapshot generation and load unit generates at least one status snapshot file and loads the at least one status snapshot file to the real model in repeated simulations. The virtual breakpoint control unit controls the selection unit to switch between the trace simulation and the real simulation according to a virtual breakpoint.07-12-2012
20090018813USING QUANTITATIVE MODELS FOR PREDICTIVE SLA MANAGEMENT - A method of using quantitative models for predictive service level agreement management builds quantitative models, executes the models to produce observations, and determines whether the observations conform to service level agreements. If the observations do not conform to the service level agreements, the method determines the service level agreements that are violated by the observations. Then, the method calculates analytic measures for use in the service level agreements based on the observations and the violations.01-15-2009
20090018812USING QUANTITATIVE MODELS FOR PREDICTIVE SLA MANAGEMENT - A method of using quantitative models for predictive service level agreement management builds quantitative models, executes the models to produce observations, and determines whether the observations conform to service level agreements. If the observations do not conform to the service level agreements, the method determines the service level agreements that are violated by the observations. Then, the method calculates analytic measures for use in the service level agreements based on the observations and the violations.01-15-2009
20090018811GENERATION OF TEST CASES FOR FUNCTIONAL TESTING OF APPLICATIONS - An automated system and method to generate functional conformance tests for applications are provided. The system and method in one aspect use Inputs, Outputs, Preconditions, Effects (IOPEs) paradigm associated with an application for automatically generating test goals. A planner component may accept these testing goals to generate a sequence of operations or invocations as a test case. Verification sequences are also generated. The system and method also allow generation of executable test cases, which can be applied to the various interfaces through which the application may be accessed.01-15-2009
20120232880PERFORMANCE ASSESSMENT OF A PROGRAM MODEL - An apparatus and a computer-implemented method performed by a computerized device comprising: receiving a model describing an aspect of a computer program; and determining comparative performance assessment of a property of the model by operating the model.09-13-2012
20090112568Method for Generating a Simulation Program Which Can Be Executed On a Host Computer - The invention relates to a method for generating a simulation program which can be executed on a computer for the purpose of simulating the function and execution time of a program which is provided to be executed on a target computer, the method comprising the following steps of: 04-30-2009
20080300851System and method for application migration in a grid computing environment - A system and method for assessing performance of a software application migrated to a grid infrastructure is provided. The system comprises a grid code analyzer for generating a directed acyclic graph (DAG) corresponding to the software application by performing static and dynamic analysis; a grid task generator for reducing the DAG generated by the grid code analyzer; and a grid simulator for simulating performance of the software application on one or more predetermined grid infrastructures. The grid simulator accepts the reduced DAG as input and produces performance data as output.12-04-2008
20080300850METHOD AND APPARATUS FOR PROCESSING XML FOR DISPLAY ON A MOBILE DEVICE - A method and apparatus are set forth for creating a Document Object Model of an XML document of predetermined type, comprising a first process for receiving and opening a compressed input file containing the XML document; a second process for opening and parsing the contents of a relationships file to create a map of name-value pairs and detecting a value for identifying the predetermined type from among a plurality of types of XML documents; and a further process for parsing data in the XML document according to the predetermined type, and building the Document Object Model.12-04-2008
20110004458METHODS 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 interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation.01-06-2011
20120239375Standardized Modeling Suite - An enhanced modeling tool associated with an entity may facilitate end-to-end modeling of problems in any application space. The enhanced modeling tool may collect modeling data from a variety of sources, check the collected data, find the best predictor variables for a given target variable, estimate the model, implement the model, and validate the model. The output of each of these steps may be in a standardized format to allow other steps to directly incorporate the output. An additional feature of the system may include a reporting capability that generates supporting documents related to model governance and risk compliance.09-20-2012
20120323551SYSTEMS AND METHODS FOR HIGHLY PARALLEL PROCESSING OF PARAMETERIZED SIMULATIONS - Systems and associated methods for highly parallel processing of parameterized simulations are described. Embodiments permit processing of stochastic data-intensive simulations in a highly parallel fashion in order to distribute the intensive workload. Embodiments utilize methods of seeding records in a database with a source of pseudo-random numbers, such as a compressed seed for a pseudo-random number generator, such that seeded records may be processed independently in a highly parallel fashion. Thus, embodiments provide systems and associated methods facilitating quicker data-intensive simulation by enabling highly parallel asynchronous simulations.12-20-2012
20120323550SYSTEM AND METHOD FOR SYSTEM INTEGRATION TEST (SIT) PLANNING - A method is implemented in a computer infrastructure having computer executable code tangibly embodied on a computer readable storage medium having programming instructions. The programming instructions are operable to receive a system architecture model of a system and receive trigger coverage rules. Additionally, the programming instructions are operable to determine system integration test (SIT) coverage for each connection and interface of the system architecture model and select a set of use cases execution scenarios to satisfy the SIT coverage.12-20-2012
20110238402SYSTEM AND METHODS FOR REMOTE MAINTENANCE IN AN ELECTRONIC NETWORK WITH MULTIPLE CLIENTS - A system for performing remote maintenance in an electronic network configured to serve a plurality of clients may comprise a client, a database, and a virtual machine. The client may include a plurality of processing resources. Each one of the plurality of processing resources may have a respective set of processing instructions stored on an respective associated computer readable memory. The database may include information correlating a list of processing resources with a respective set of processing instructions. The virtual machine may be operable to access the database and perform calculations simulating proposed combinations of processing resources and their respective set of processing instructions before approving a software update requested for the client.09-29-2011
20120278059SYSTEM AND METHOD FOR EXAMINING CONCURRENT SYSTEM STATES - A computer-implemented process, computer program product, and apparatus for examining concurrent system state space models. A system has concurrent events to create a modeled system. A minimal chain decomposition of the modeled system is created to identify a set of chains. All chains in the set of chains are extended, and a first set of paths is generated, wherein the first set of paths is a minimal set of paths covering all states of the modeled system. The first set of paths is explored. It is optionally determined whether all transitions have been covered. Responsive to a determination that all transitions have not been covered, remaining paths are explored by traversing a graph induced by the modeled system using a depth-first strategy.11-01-2012
20110320184SYSTEMS AND METHODS FOR HIGHLY PARALLEL PROCESSING OF PARAMETERIZED SIMULATIONS - Systems and associated methods for highly parallel processing of parameterized simulations are described. Embodiments permit processing of stochastic data-intensive simulations in a highly parallel fashion in order to distribute the intensive workload. Embodiments utilize methods of seeding records in a database with a source of pseudo-random numbers, such as a compressed seed for a pseudo-random number generator, such that seeded records may be processed independently in a highly parallel fashion. Thus, embodiments provide systems and associated methods facilitating quicker data-intensive simulation by enabling highly parallel asynchronous simulations.12-29-2011
20120101802PREDICTION APPARATUS, PREDICTION METHOD, AND RECORDING MEDIUM - Response performance of a new type of transaction processing based on a new program, when the new type of transaction processing is executed by a computer of an information processing system, is predicted. The information processing system executes transaction processing requiring access to a database system in response to an external processing request. Upon prediction of response performance each value of a plurality of parameters related to operation that affects response speed of a database system assumed in the new type of transaction processing is acquired. The acquired each value of the plurality of parameters is inputted to a predetermined evaluation formula to calculate an evaluation value related to response performance of the new type of transaction processing.04-26-2012
20120101801SYSTEM AND METHOD FOR DEPLOYING A SOFTWARE PROGRAM - A method for deploying a software program on a target computing device includes receiving late-binding configuration actions; combining the late-binding configuration actions with a target computing device-specific model to produce a final configuration model; and providing the final configuration model to the target computing device. The final configuration model is executed by the target computing device to configure the target computing device with the software program.04-26-2012
20120101800MODEL CHECKING FOR DISTRIBUTED APPLICATION VALIDATION - A model checking system is described herein that more effectively verifies and validates the design of distributed applications by providing a model and a generic framework to check application invariant properties, detect anomaly behaviors, and monitor application health. The model checking system checks on-line application behavior against application models derived from formal descriptions of the application. The system formulates the concrete application as an abstract model and a number of rules or properties that are expected to hold for the application under all conditions. The model checker compares the actual application execution with the models and either confirms that the properties hold true or reports that the properties are violated. Thus, the model checking system provides more efficient and thorough validation of distributed applications under more realistic production conditions.04-26-2012
20130013284SYSTEM AND METHODS FOR MODELING AND ANALYZING QUALITY OF SERVICE CHARACTERISTICS OF FEDERATED CLOUD SERVICES IN AN OPEN ECO-SYSTEM - A system and methods for modeling and analyzing Quality of Service (QoS) characteristics of federated cloud services in an open eco-system is disclosed. A plurality of system entities of a federated service system are identified, and each of the system entities is classified to provide a plurality of entity classifications. A plurality of inter-entity relationships of the system entities are identified, and each of the inter-entity relationships is classified as a primitive model to provide a plurality of inter-entity relationship classifications. A composite model of the federated service system comprising the system entities, the entity classifications, the inter-entity relationships, and the inter-entity relationship classifications is generated.01-10-2013
20110264434SYSTEM, METHOD AND COMPUTER PROGRAM PRODUCT FOR COMPARING RESULTS OF PERFORMING A PLURALITY OF OPERATIONS WITH RESULTS OF SIMULATING THE PLURALITY OF OPERATIONS - In accordance with embodiments, there are provided mechanisms and methods for comparing results of performing a plurality of operations with results of simulating the plurality of operations. These mechanisms and methods for comparing results of performing a plurality of operations with results of simulating the plurality of operations can enable optimized performance of operations, reduced processing time, increased confidence in processing results, etc.10-27-2011
20080221858Dynamic Online Multi-Parameter Optimization System and Method for Autonomic Computing Systems - An improved method and system for performing dynamic online multi-parameter optimization for autonomic computing systems are provided. With the method and system of the present invention, a simplex, i.e. a set of points in the parameter space that has been directly sampled, is maintained. The system's performance with regard to a particular utility value is measured for the particular setting of configuration parameters associated with each point in the simplex. A new sample point is determined using the geometric transformations of the simplex. The method and system provide mechanisms for limiting the size of the simplex that is generated through these geometric transformations so that the present invention may be implemented in noisy environments in which the same configuration settings may lead to different results with regard to the utility value. In addition, mechanisms are provided for resampling a current best point in the simplex to determine if the environment has changed. If a sufficiently different utility value is obtained from a previously sampled utility value for the point in the simplex, then rather than contracting, the simplex is expanded. If the difference between utility values is not sufficient enough, then contraction of the simplex is performed. In addition, in order to allow for both real and integer valued parameters in the simplex, a mechanism is provided by which invalid valued parameters that are generated by geometric transformations being performed on the simplex are mapped to a nearest valid value. Similarly, parameter values that violate constraints are mapped to values that satisfy constraints taking care that the dimensionality of the simplex is not reduced.09-11-2008
20130103379APPARATUS AND METHOD FOR VERIFYING INTEROPERABILITY BETWEEN APPLICATION SOFTWARE AND AUTOSAR SERVICE - The present invention relates to an apparatus and method for verifying interoperability between application software and AUTOSAR services. The apparatus includes an AUTOSAR interoperability configuration unit configured to configure an interoperability relationship between AUTOSAR service components defined to provide the AUTOSAR services and the components of the application software for an Electronic Control Unit (ECU) performing functions requested by the application software and a simulation unit configured to perform simulations in order to verify whether the interoperated AUTOSAR service components and the components of the application software are normally driven or not based on scheduled task timing.04-25-2013
20130124184CONTROLLER SUPPORT DEVICE, SIMULATION METHOD OF CONTROL PROGRAM, SUPPORT PROGRAM FOR A CONTROLLER, AND COMPUTER READABLE STORAGE MEDIUM FOR STORING THE SUPPORT PROGRAM OF THE CONTROLLER - A sequence control portion of a control program is configured to execute simulation for one period to generate an execution result related to the sequence control portion. A motion control portion is configured to execute simulation for one period to generate an execution result related to the motion control portion. A control period number is then increment updated. Whether or not a resumable control period is determined, and if determined as the resumable control period, content of a resuming data buffer (05-16-2013
20110313751Providing Compartmentalized Security in Product Reviews - A mechanism is provided for providing compartmentalized security in product reviews. A central authoritative state module within a compartmentalized security mechanism identifies a clearance level associated with a user that has been authenticated. Responsive to the clearance level of the user being sufficient to access the information, the central authoritative state module determines whether the information requires a simulation to be executed. Responsive to the information failing to require execution of a simulation, a coordination module in the compartmentalized security mechanism retrieves the information. A display and input interaction module on a client system then displays the information in accordance with the clearance level of the user thereby forming displayed information. Displaying the information in accordance with the clearance level of the user comprises displaying in detail only portions of the information of the product that the user has access to.12-22-2011
20130132060PREDICTING SERVICE REQUEST BREACHES - An approach for prioritizing work requests to resolve incidents in an information technology (IT) infrastructure is presented. Historical data of work requests to resolve incidents in the IT infrastructure is divided into first and second data sets. A first set of data fields of work requests in the first data set is used to generate incident concept(s). The incident concept(s) are combined with a second set of data fields of the work requests in the first data set to form a set of predictive variables. Utilizing the predictive variables, a statistical model is generated for predicting whether or not work requests will be resolved in accordance with a service level target. The statistical model is validated using the second data set. The statistical model is deployed to the IT infrastructure.05-23-2013
20080208560System and method of interlocking to protect software - mediated program and device behaviors - A method for rendering software resistant to reverse engineering. Replace at least one first constant (mathematical expression, etc.) in a computational expression with a second mixed mathematical and bitwise-Boolean expression, the first constant being simpler than the second expression and the second expression being based on the value or the variables found in the first constant (or expression). Evaluation of the second mixed mathematical and bitwise-Boolean expression produces a value preserving the value of the first constant, either: with the original value of the first constant or the original value of the result of the first expression, in which case the second mixed mathematical and bitwise-Boolean expression is obtained from the first constant by converting the first constant by mathematical identities; or, in an encoded form, as a new value, which can be converted back to the original value of the first constant by applying an information-preserving decoding function, in which case the second mixed mathematical and bitwise-Boolean expression is obtained from the first constant by modifying the first constant by a combination of conversion according to mathematical identities and transformation according to an information preserving encoding function.08-28-2008
20080201129SIMULATED COMPUTER SYSTEM FOR MONITORING OF SOFTWARE PERFORMANCE - A system S is defined which is capable of simulating a computer (virtual computer, VC) for the purpose of software performance monitoring. The system is implemented as a set of software modules (SM) that can be exchanged to change the behavior of the VC. The VC is driven by a CPU emulator, and can run any operating system (virtual operating system, VOS) that is supported by the available SM's. The system is designed to log accesses to system resources and the nature of these accesses. The system is particularly useful for determining whether an executable or file contains an unknown virus, with a very low risk of false positives. Detected viruses include encrypted, polymorphic, metamorphic and other virus types.08-21-2008
20090164202SYNCHRONIZATION OF A GRAPHICAL PROGRAM AND A ROBOT PROGRAM - A device and a method for synchronization of a robot program and a graphical program. The device includes a first converter adapted to convert a graphical program into a first sequence of tokens representing data for motions and actions contained in the graphical program. A second converter is adapted to convert the robot program into a second sequence of tokens representing data for motions and actions contained in the robot program. A modification command generator is adapted to compare the first and second sequences of tokens and based thereon generate modification commands. The first converter is adapted to receive the modification commands and edit the graphical program based on the modification commands so that the token sequence of the graphical program matches the token sequence of the robot program. The second converter is adapted to receive the modification commands and edit the robot program based on the modification commands so that the token sequence of the robot program matches the token sequence of the graphical program.06-25-2009
20130151229METHODS AND APPARATUS FOR SIMULATING RISK TOLERANCE AND ASSOCIATED ADVERSARY COSTS IN A DISTRIBUTED BUSINESS PROCESS - Methods and apparatus for simulating risk tolerance and associated adversary costs in 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 interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, the simulation server receives inputs from users indicative of risk tolerance levels and associated response actions. If the operational costs imposed by a selected response action are greater than a deterrence threshold associated with a particular adversary, the adversary is not deterred from causing a certain disruption to the simulated competitive market environment. If the operational costs imposed by a selected response action are greater than the deterrence threshold the adversary is deterred.06-13-2013
20100292980APPLICATION RESOURCE MODEL COMPOSITION FROM CONSTITUENT COMPONENTS - Techniques for composing an application resource model in a data stream processing system are disclosed. The application resource model may be used to understand what resources will be consumed by an application when executed by the data stream processing system. For example, a method for composing an application resource model for a data stream processing system comprises the following steps. One or more operator-level metrics are obtained from an execution of a data stream processing application in accordance with a first configuration. The application is executed by one or more nodes of the data stream processing system, and the application is comprised of one or more processing elements that are comprised of one or more operators. One or more operator-level resource functions are generated based on the obtained one or more operator-level metrics. A processing element-level resource function is generated based on the one or more generated operator-level resource functions. The processing element-level resource function represents an application resource model usable for predicting one or more characteristics of the application executed in accordance with a second configuration.11-18-2010
20130204603METHODS 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 interdependent business process models itself on a local client device at any chosen level of detail. A simulation server connects the separate client based simulations into one large simulation. Details of each local simulation may be hidden from other simulation participants. However, interruptions in business flow caused by simulated disruptions introduced at the simulation server and/or a client device are propagated to all of the effected simulation participants via the simulation server. In addition, if a client based model is not available, the server supplies a software agent to replace the inputs and outputs normally associated with that portion of the overall simulation.08-08-2013
20120284009SYSTEM AND METHOD FOR ADAPTING SOFTWARE ARCHITECTURE - The present invention is a method for determining during run-time an adaptation to a software architecture comprising a plurality of components. The method includes the steps of—evaluating constraints for the adaptation relating to a functional dependence of components of the software architecture,—determining during run-time a context for the software architecture taking into account information on the state of the architecture,—selecting among a plurality of context models a context model corresponding to the determined context,—evaluating constraints for the adaptation imposed by the selected context model,—taking a decision on performing the adaptation based on the outcome of the evaluation steps.11-08-2012
20130185047SIMULATION MODELLING - A method of simulation including selecting program elements from a library to use in a simulation model defining a network including the program elements and interactions therebetween. The method stores the simulation model and divides the simulation model into portions each having at least one program element. The method also runs each portion on a processing core and collating the results. A simulation architecture having a first library containing program elements is also included. The architecture includes a second library that contains a simulation model network that defines interactions between program elements and links to selected program elements in the first library. There is a plurality of processing cores to run portions of the simulation model and a controller to allocate portions of the simulation model to each of the plurality of processing cores dependent on the number of interactions between program elements.07-18-2013
20120029901System and method for time virtualization in computer systems - A system and method for time virtualization, comprising a time virtualizer running on a first digital computer and adapted to intercept time-dependent requests from a plurality of applications executing on the first or another digital computer, wherein on intercepting a time-dependent request from an application, the time virtualizer returns an expected result to the requesting application comprising a virtual time rather than a clock time, the virtualized time being established by the time virtualizer and differing from the clock time, is disclosed.02-02-2012
20120296624Monitoring Enterprise Performance - The techniques provided herein include obtaining a model of an enterprise operation that specifies initiation and one or more evolution milestones of one or more business entities, formulating one or more performance metrics for the enterprise operation, wherein the one or more performance metrics are calculated from the one or more business entities, the one or more evolution milestones, and one or more relevant external events, and using the one or more business entities and one or more performance metrics to automatically create an executable performance monitoring model for the enterprise operation, wherein the executable performance monitoring model processes data in the one or more business entities, the one or more evolution milestones, and the one or more relevant external events to compute the one or more performance metrics for the enterprise operation.11-22-2012
20120078606DEVELOPING SYSTEM AND METHOD FOR OPTIMIZING THE ENERGY CONSUMPTION OF AN APPLICATION PROGRAM FOR A DIGITAL SIGNAL PROCESSOR - A developing system and method for optimizing the energy consumption of an application program for a DSP are provided. The system includes an instructional wise energy consumption database, a program code generating unit, a program compiling unit, and a DSP simulator; wherein the instructional wise energy consumption database includes energy consumption data of a DSP when the DSP executes at least one instruction; the program code generating unit is adapted to edit and generate a program code; the program compiling unit is adapted to receive the program code, and according to the program code and the instructional wise energy consumption database it compiles the program code, and generate a plurality of assembly codes; the DSP simulator is adapted to receive the assembly codes and at least one stimulus, to simulate the total and the amount of energy every instruction of the assembly codes consume, and transmit the results to the program compiling unit; as the total energy consumption result higher than a predetermined energy consumption value, the program compiling unit modifies the compiling scheme to recompile the program code and transmits the new assembly codes to the a DSP simulator, until the simulation results reach or lower than the predetermined energy consumption value, if the program compiling unit cannot meet the limitation with all the existing compiling scheme, the simulation results will transmit to the program code generating unit to allow to edit or recompose the program code according to the simulation results and meet the expected energy consumption value.03-29-2012

Patent applications in class Software program (i.e., performance prediction)