Abstract: One embodiment relates to a computer method of evaluating proposed edits to a target layer of an integrated circuit. In the method, a number of editable regions is determined for metal layers overlying the target layer, where an editable region for a metal layer is laterally arranged between segments of the metal layer. The method identifies a number of possible vertical milling paths that extend from an exterior surface of the integrated surface to the target layer. Each possible vertical milling path passes through at least one editable region. The method generates a number of possible edit plans that are based on both the proposed edits and the number of possible vertical milling paths, where each edit plan places edits in a different combination of possible vertical milling paths.

Abstract: A system and method are described that model a passive multiplexer, which may be used for a junction of a plurality of signal filters (e.g., radio frequency, microwave, satellite, etc.). Illustratively, based on obtaining parameters for the individual signal filters, an initial resonant frequency offset vector estimation may be calculated and input into a convergence algorithm to determine a set of multiplexer parameters. In particular, the convergence algorithm is generally different from the initial resonant frequency offset vector estimation calculation, and the initial resonant frequency offset vector estimation assists in achieving better (e.g., faster, more frequent) convergence on a set of multiplexer parameters from the convergence algorithm.

Abstract: A system and method for automatically generating a displayable model of an application. A first and second screenshots of a first and second screens produced by an application may be captured and stored in a model. Transition information related to a transition from the first to the second screen may be obtained and stored in the model. A session may be recorded by recording screenshots and related events. Other embodiments are described and claimed.

Abstract: A method for training a ranking application. The method includes ranking the help postings to create an initial ranking using initial parameter values, and storing user interactions with the help postings to obtain stored interactions. Simulations are performed using the stored interactions to generate revised parameter values for the ranking application. Performing the simulations includes calculating relevance values from the stored interactions, creating a test posting, assigning, to the test posting, an initial score and a relevance value randomly selected from the relevance values to generate a test ranking, and simulating user interactions with the test ranking to generate simulated rankings. The simulated rankings are analyzed to obtain revised parameter values. The method further includes ranking, using the revised parameter values, the help postings to generate a revised ranking, and displaying the help postings in the forum according to the revised ranking.

Abstract: Systems and methods for on-demand simulation based learning for an automation framework. According to one embodiment, the system or method comprises an automated process in a real computing environment that encounters a novel, divergent, or defined state that the automation cannot handle. The state is replicated in a simulated computing environment which a user interacts with to resolve the simulated issue. The user's actions are captured and replicated in the real computing environment in order to resolve the issue. Optionally, the user's actions are analyzed and added to the automation database or rules.

Abstract: An example system may include error simulation capabilities. In one embodiment, the system obtains a configuration list associated with an application and a simulation trace associated with a first simulation of the application based on a simulation list. The configuration list comprises one or more functions associated with the application and one or more error return values for each function. The simulation list comprises zero or more functions to be executed during the first simulation. The system updates the simulation list based on the simulation trace. The system updates the simulation list based on the configuration list. The system updates the updated simulation list based on the configuration list. Upon determining that the updated simulation list comprises a function associated with the application, the system causes a second simulation of the application to be performed, wherein the second simulation is based on the updated simulation list.

Abstract: A system and method is disclosed in an emulation environment that dynamically remaps user designs. In one embodiment, a request is received to load an integrated circuit design to be emulated in a desired partition within the emulator. The emulator automatically determines the availability of the partition requested. If the partition is not available, the design is dynamically remapped to a different partition that is available. In another embodiment, clocks associated with the integrated circuit design are also dynamically remapped. In yet another embodiment, the user can control the size of the partitions (e.g., the number of printed circuit boards in a partition).

Abstract: 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.

Abstract: A method of modeling behavior of a mobile application includes determining an action associated with the mobile application based on source code of the mobile application. The method further includes dynamically crawling through the mobile application based on the action and generating a graphical user interface (GUI) behavioral model based on dynamically crawling through the mobile application.

Abstract: A method of semantic translation of a class of diagrams to input/output-extended finite automata is provided. The method includes receiving a data representation of a diagram, said diagram comprising a plurality of blocks and said diagram being associated with a graphical modeling environment which defines semantics for executing the diagram, and processing, using a computing device, the data representation of the diagram to translate the diagram to an input/output-extended finite automata model.

Abstract: A process for forming a wireless mesh network (WMN) in which client coverage is calculated using a point-to-point propagation loss model and optimal routing and power allocation is determined to quantify the value of network flow. In one embodiment, the process calculates loss based on access point locations, operating characteristics and terrain and environment information. In one embodiment, the network flow and coverage subproblem values are combined via a penalty function. The process creates WMN topologies that maximize client coverage area by choice of access point locations, subject to constraints on network flow and power allocation, number and technical capabilities of access points, background and environmental noise, and radio propagation over terrain.

Abstract: A system, method, and computer readable medium. A method includes receiving input for a simulation model, the simulation model including a sensor. The method includes concurrently executing the simulation model and control code for a simulated physical controller, where the control code interacts with the simulation model according to a state of the sensor. The method includes generating revised control code based on the executed simulation model and control code, and generating controller-specific control code based on the revised control code. The method includes executing the simulation model and the controller-specific control code, the controller-specific control code interacting with the simulation model.

Abstract: An automated system and method for knowledge transfer, end user support and performance tracking during a life cycle of an enterprise application are disclosed. In one embodiment, knowledge information associated with the enterprise application is captured. Further, a simulated enterprise application is created based on the captured knowledge information. In addition, the end users are allowed to use the simulated enterprise application and actual performance of the simulated enterprise application is tracked.

Abstract: An operating system emulator determines energy consumption by hardware components being simulated during testing of mobile applications. The operating system emulator can be configured to track and determine the energy consumption of hardware components by using predefined energy utilization specifications. As the operating system emulator executes an application, the operating system emulator can track the utilization of the hardware components by the application being tested. To determine energy consumption, the operating system emulator can utilize energy consumption specifications of the hardware components and the utilization of the hardware components by the application.

Abstract: In computer system simulations, previous translations of simulation virtual addresses to physical host addresses can be remembered in a cache. During execution of a simulation program, the simulated computer system generates a simulation virtual address. The simulation virtual address may be translated to a host address. Information associated with the translation can be cached, and subsequent accesses to the simulation virtual address can use the cached information to compute the host address.

Abstract: The subject disclosure is directed towards using fingerprints, comprising lists of simulation results corresponding to partial (random sampled) simulation results, to determine whether a full simulation may be avoided by reusing simulation results from a previous full simulation. Before running a full simulation, a current fingerprint is obtained via a partial simulation. If a previous fingerprint matches (is identical or similar to) the current fingerprint, the associated previous results are reused. Also described is indexing fingerprint data to facilitate efficient lookup-based fingerprint matching.

Abstract: 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.

Abstract: Workloads that are and are not appropriate for transformation and processing on a cloud computing environment are identified. A user entity is provided with a measurement of at least one of the value which will be realized, and the effort which will be required. A plurality of attributes is specified. Input data represents the extent to which the user entity processing system possesses the given attribute. The input data for each attribute is employed to derive a corresponding numerical parameter value, which are to compute a final score.

Abstract: 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.

Abstract: 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.

Abstract: An approach is presented for predicting performance and capacity of an information technology (IT) system. Sets of component-level and middleware-based performance statistics are retrieved. The sets of component-level performance statistics measure individual performances of reusable software modules in test runs of the software modules. The middleware-based performance statistics represent a contribution of customized middleware to the performance of the IT system in a test run of the customized middleware. Based on the sets of component-level and middleware-based performance statistics and before the IT system is built, a prediction of computing resource requirements and characteristics of the performance of the IT system is generated. Generating the prediction results in a recommendation of computing resources required to build the IT system without over-specifying the computing resources.

Abstract: A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment.

Abstract: A method, apparatus and product for completion of partial coverage tasks. The method comprising obtaining a partial coverage task defining a test with respect to a functional coverage model of a System Under Test (SUT), wherein the functional coverage model defining functional attributes and respective domains thereof, wherein the functional coverage model further defining one or more restrictions on value combinations of the functional attributes; and enhancing the partial coverage task to include an assignment of a value to a functional attribute, wherein the functional attribute is unassigned in the partial coverage task, wherein the value is an only valid assignment to the functional attribute in view of assignments of other functional attributes and in view of the restrictions.

Abstract: A method for evaluating the performance of an application when migrated from a first environment in which the application is currently executing to a second, different environment includes generating a virtual application that mimics the resource consuming behavior of the application, executing the virtual application in the second environment, and evaluating the performance of the virtual application in the second environment.

Abstract: Systems and methods for controlling settings of a design system include receiving, via a communications interface, identifying data associated with a multiphysics modeling system. Instructions are transmitted via the communication interface or another interface. The instructions include model settings related to a multiphysics model at least partially residing in the multiphysics modeling system. Model results are received that are at least partially derived from the transmitted model settings. At least a portion of the received model results are displayed in a graphical user interface associated with the design system.

Abstract: A method is provided for testing a feature provider module of a data storage management application (DSMA), the feature provider module providing a feature. The method includes (a) receiving, at a simulation module of the DSMA when the DSMA is not in communication with an external feature implementation component, a test feature command from the feature provider module, (b) at the simulation module, simulating behavior of an interface module in communication with the external feature implementation component, and (c) at the simulation module, returning a feature response to the feature provider module, the feature response communicating the simulated behavior.

Abstract: A method for performing response time measurements may include defining rules for response time collecting in a metadata object model. The response time measurements defined at the metadata object level may be may be collected during a user session that uses one or more metadata object models in accordance with modeled information in an object model. The collected response time measurements may be transformed to modeled response time data. The modeled response time data may be associated with the object model and used to generate a report of the response time measurements.

Abstract: Programming or modeling environments in which programs or models are simulated or executed with tunable sample times are disclosed. The tunable sample times can be changed during the simulation or execution of the programs or models without recompiling the programs or models. The sample times are parameterized and the value of the sample times is changed during the simulation or execution of the programs or models. The sample times may be changed manually by a user. Alternatively, the sample times may be automatically changed by programmatically defining when and how the sample times are determined.

Abstract: A system and method for simulating new instructions without compiler support for the new instructions. A simulator detects a given region in code generated by a compiler. The given region may be a candidate for vectorization or may be a region already vectorized. In response to the detection, the simulator suspends execution of a time-based simulation. The simulator then serially executes the region for at least two iterations using a functional-based simulation and using instructions with operands which correspond to P or less lanes of single-instruction-multiple-data (SIMD) execution. The value P is a maximum number of lanes of SIMD exection supported both by the compiler. The simulator stores checkpoint state during the serial execution. In response to determining no inter-iteration memory dependencies exist, the simulator returns to the time-based simulation and resumes execution using N-wide vector instructions.

Abstract: A computer implemented method, system, and/or computer program product manages capacity in a service-provider system. A software model of a physical service-provider system is created and stored in memory. A parameter for running the software model with real-time metrics from the physical service-provider system as inputs to the software model is established. If the parameter is met, then the software model is run using the real-time metrics from the physical service-provider system as inputs. A pre-determined action, which adjusts capacity in the service-provider system and is prescribed by a specific model output, is established. If the specific model output, which resulted from using the real-time metrics from the physical service-provider system as inputs for running the software model, is output from the software model, then the pre-determined action is executed.

Abstract: 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.

Abstract: A system and method for setting a first indicator indicating that interrupts are virtually locked, receiving a first interrupt at a processor of a computing device, setting a second indicator indicating the receipt of the first interrupt and recording a first timestamp based on the receipt of the first interrupt. The system and method further adapted to virtually execute a routine for the first interrupt that includes determining if the second indicator is set, record a second timestamp based on the virtual execution of the routine and determine an interrupt latency based on the first and second timestamp.

Abstract: Power consumption is estimated for an application being executed by a circuit. Power consumption values are estimated for a set of base events executed by the circuit. The application is then reduced to an equivalent sequence of base events selected from the set of base events. Lastly, the estimated power consumption values for the base events in the equivalent sequence of base events are summed.

Abstract: A system for designing a circuit, which includes a module, uses a computer. A user may program or adapt the computer to perform computer-aided design functions. The computer obtains a description of the module from the user. The computer parses the description of the module to identify a port of the module, and to obtain information about the port. The computer presents to the user the information that it has obtained about the port.

Abstract: A method of preparing a test for an electronic system including a plurality of pieces of equipment interconnected by at least one communications link, in which method, in order to perform the test, use is made of a test bench appropriate for the electronic system under test, which test bench is connected to the system and controlled in application of a command sequence established from at least one informal functional specification; while preparing the test, the informal functional specification, the command sequence, and a link identifying the informal functional specification from which the command sequence was established are all recorded so that after execution of the command sequence and after the test results have been recorded, it is possible to read the link and identify unambiguously the informal functional specification that corresponds to the test results obtained.

Abstract: Analyzing the performance of multi-threaded applications. An analysis and visualization of thread executions is performed on a graphical timeline using samples of thread execution. This allows users to understand when their application threads are executing, what they were executing, the degree of concurrency in thread execution, and the order in which work is performed in their application. The visualizations and analysis also allow users to sample thread execution contexts using a graphical user interface, as well as the generation of execution profile reports that may be filtered for a specific time range of execution and a subset of the threads running in the application.

Abstract: The method of modeling thermal problems using a non-dimensional finite element method is a computerized method for modeling thermal systems that relies on the variational principle. The variational principle specifies the total potential of the system, given by a scalar quantity ?, which is defined by an integral form for a continuum problem. The solution of the continuum problem is a function that makes ? stationary with respect to the state variables. The governing equation of the problem is used to calculate the potential ?. The non-dimensional form of the potential is obtained by insertion of the defined non-dimensionless parameters. The element non-dimensional stiffness matrix and the non-dimensional load vectors are then obtained by invoking the stationarity of the non-dimensional potential ? with respect to a non-dimensional temperature vector {?}.

Abstract: A method for modeling and simulating a system comprising first and second interrelated components is disclosed. The method comprises modeling the behavior of said first and second components using first and second specifications. Each of said first and second specifications includes a functional specification and an associated simulation element. The method further comprises simulating the behavior of said first and second components using said first and second specifications. The simulation elements communicate with one another to provide a simulation system.

Abstract: A system and method for providing a static model map of behaviors in a middleware system, for use in identifying problems. In accordance with an embodiment, the system provides a view of the system which allows for analysis of the various components. Locations within the system where a request spends its time are categorized into either “wait” or “execution” locations. The components exhibit static behaviors which affect the response time and can be predefined for different types of components and analyzed independently. In turn the behaviors can be 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 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.

Abstract: Computer implemented methods and systems for designing a true experiment, and optionally conducting the experiment and analyzing the experimental data are described. Information required to design the true experiment is identified. Questions are presented to a user eliciting responses that provide the required information. The required information is extracted from responses received from the user. The true experiment is designed based on the required information.

Abstract: According to one general aspect, a method may include simulating a memory circuit, wherein the memory circuit is configured to store data. The method may also include receiving, by the simulated memory circuit, a memory access operation. The method may further include dynamically determining, in response to the memory access, if, based on a set of predefined criteria, the simulated memory circuit should generate a memory error as the result of the memory access. The method may also include, if the simulated memory circuit is to generate the memory error, generating the memory error as the result of the memory access.

Abstract: A system is described for processing predicates in the course of analyzing a program, based on a general-purpose theory of pointers. The system converts location expressions in the predicates into logical formulae that are interpretable by a theorem prover module, producing converted predicates. This conversion associates the location expressions with location objects. More specifically, the conversion represents variables as explicitly-specified location objects, and location terms (such as a field-type access terms and dereference-type terms) as constructor-specified location objects. The theory of pointers is also expressed by a set of axioms which constrain the operation of the theorem prover module.

Abstract: A device, method and system for monitoring, predicting, and accelerating interactions with a computing device includes determining a current interaction context at a computing device based on interactions occurring at the computing device, predicting a number of potential subsequent interactions, speculatively executing at least some of the potential subsequent interactions, and presenting interactive representations of the speculatively-executed interactions at the computing device.

Abstract: The invention relates to a product design support system for supporting product design business so as to design and develop a product in a short time.

Abstract: A system, method and software product emulate and profile an application playing on a mobile device. The mobile device is emulated using a model based upon characteristics related to performance of the mobile device. The application is played and monitored within the model to determine resource utilization of the application for the mobile device.

Abstract: 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.

Abstract: Coverage data may be collected for a model. The coverage data may include model coverage data and code coverage data for test cases input to the model. The coverage data may be presented to a user as data indicating a correspondence between coverage outcomes for the model and coverage outcomes for the code used to implement the model.

Abstract: Computer method, apparatus and system chains model-to-model transformations. In a series of model transformations, there are respective bridges before and after each model transformation. For each pair of consecutive model transformations in the series, the respective bridge (i) receives a model output from a first model transformation of the pair, the received model being in the respective output model format of the first model transformation of the pair, (ii) prepares the received model as input to a second model transformation of the pair, including preparing the received model to be in the respective input model format of the second model transformation of the pair, and (iii) inputs the prepared model to the second model transformation of the pair. The series of model transformations and respective bridges provide chaining of the model-to-model transformations. Each model transformation in the series is able to be separately configured.

Abstract: The disclosure includes a method of and associated system for placing nodes in a wireless local area network (WLAN). The method includes receiving user-specified parameters regarding the network. The parameters can include a layout of a building or other space, and requirements for the WLAN. An algorithm then employs these parameters to automatically create and optimized layout of multiple wireless access points for the WLAN. The method can display the layout and provide various types of information to the user.

Abstract: Synthesizing a message sequence chart (MSC) from a communicating finite-state machine (CFSM), by transforming the CFSM to a Petri net model, generating a labeled finite digraph with each path representing a linearization of an occurrence net segment of the Petri net, decomposing the diagraph into segments, and mapping where each segment to a compositional MSC.