Abstract: A device may include communication logic to receive a request to perform an activity on behalf of a client, where the activity is related to a primary application and a secondary application. The communication logic may send a response that allows the client to perform the activity when the client is authorized. The device may include evaluation logic to determine whether the client is related to the primary license and to determine whether a secondary license related to the secondary application is available. The evaluation logic may allocate the available secondary license to the client for use with the secondary application when the secondary license is available. The evaluation logic may authorize the client to perform the activity when the secondary license is allocated to the client.

Abstract: A locked element and methodology are provided for use in a block diagram model of a graphical modeling environment. The locked element displays within the block diagram model but access to the functionality of the locked element requires authorization. Without authorization the locked element will not function. Authorization may also be required to access the implementation details of the locked element. Without authorization the implementation details of the locked element cannot be viewed or modified. In certain implementations, any code generated from a locked element without authorization is obfuscated.

Abstract: A system and method automatically ensures consistency among a design model and one or more test models that test the design model. The system may include a broker adapted to construct an interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization states. It may also identify the outputs, inputs, and initialization setting objects of the test models. Proposed changes to the design model's interface may be captured by the broker, and applied to the design model and to the test models atomically. Proposed changes to a given test model that implicate the design model's interface also may be captured, and applied to the given test model, the other test models, and the design model atomically. Default behaviors may be defined for applying the proposed changes to the other test models and the design model.

Abstract: A device receives text that includes data values, and parses the text to identify data types associated with the data values. The device generates, based on the data values and the data types, a graphical representation of the text that includes data cells corresponding to the data values, and provides the graphical representation for display. The device receives one or more selections of one or more data cells in the graphical representation, stores the one or more selections as a selection history, and provides the selection history for display.

Abstract: A system and method automatically ensures consistency among a design model, an interface specification and one or more tests that test the design model. The system may include a broker adapted to construct the interface specification. The interface specification identifies the interface of the design model, e.g., its external inputs, external outputs, and initialization settings. It may also identify the outputs, inputs, and initialization setting objects of the tests. Proposed changes to any one of the design model's interface, the interface specification and the interfaces of the tests may be captured by the broker, and applied to the other two.

Abstract: A code verification tool verifies that code generated from a model represents all of the functionality of the model and does not contain any unintended functionality. The code verification tool may receive for examination a model or an intermediate representation (IR) of the model and the generated code or an intermediate representation of the generated code. The code verification tool may create further intermediate representations of the model and/or the generated code in order to compare the functionality presented in both.

Abstract: A method and apparatus are provided to model, analyze, and build linear time invariant systems with delays. The method and apparatus model a linear time invariant system as a linear fractional transformation of matrices of a delay free linear time invariant model with a bank of pure delays. The method and apparatus of the present invention can further accommodate input delays and output delays associated with the linear time invariant system with delays.

Abstract: One or more computer-readable storage media for storing computer-executable instructions executable by processing logic is provided. The media storing one or more instructions that when executed by the processing logic causes the processing logic to receive data in a first format for conversion to a second format different than the first format, wherein the data includes information having a first type and information having a second type and display the data in the first format via a graphical interface. One or more translation rules are received relating to processing the information having the first type or the information having the second type. The one or more translation rules are pre-applied to the data in the first format. Effects of the pre-applied rules on the displayed data are displayed via the graphical interface. The data in the first format is converted to the data in the second format based on the one or more translation rules.

Abstract: A computing-device implemented method may include receiving an instruction and dynamically performing tests in a modeling environment in response to the instruction. The dynamically performing tests may include selecting a polymorphic entity, displaying a context menu associated with the polymorphic entity on a display, activating in the context menu a menu item that is linked to one of one or more requirements, generating the test, and performing the test to produce a test result.

Abstract: A system receives cache conditions and software information related to a software application, and automatically generates an optimal cache management scheme for the software application based on the received cache conditions and software information.

Abstract: One or more computer-readable media store executable instructions that, when executed by processing logic, perform parallel processing. The media store one or more instructions for initiating a single programming language, and identifying, via the single programming language, one or more data distribution schemes for executing a program. The media also store one or more instructions for transforming, via the single programming language, the program into a parallel program with an optimum data distribution scheme selected from the one or more identified data distribution schemes, and allocating the parallel program to two or more labs for parallel execution. The media further store one or more instructions for receiving one or more results associated with the parallel execution of the parallel program from the two or more labs, and providing the one or more results to the program.

Abstract: A computing device-implemented method includes receiving a program, analyzing and transforming the program, determining an inner context and an outer context of the program based on the analysis of the program, and allocating one or more portions of the inner context of the program to two or more labs for parallel execution. The method also includes receiving one or more results associated with the parallel execution of the one or more portions from the two or more labs, and providing the one or more results to the outer context of the program.

Abstract: A system for providing model level protection for resources holding data accessed by multiple tasks in a model is discussed. The protection occurs at the model level so that the protection mechanism does not interfere with model dynamics. Resources concurrently accessed by multiple tasks are identified so that a unified protection mechanism can be applied to the resource. A user interface may be provided which enables the selection of a particular type of protection mechanism for the data in the resource. User supplied protection mechanisms may also be implemented.

Abstract: In a graphical modeling environment, a method of providing varying levels of protection relating to functionalities associated with at least some elements of a block diagram model, the method including: receiving a selection of one of the elements; receiving an indication of a desired authorization required to use at least one function of the selected element; implementing the indicated authorization for the use of the at least one function; and preventing, without obtaining of the authorization, an attempted use of the at least one function.

Abstract: A computer-implemented method for estimating a time-varying parameter of a nonlinear system includes receiving input data for the nonlinear system, the input data including a desired state and a desired state derivative of the nonlinear system for a number of time points, generating for one of the plurality of time points an approximate time-varying parameter based on at least the desired state, the desired state derivative, an approximate state of the nonlinear system, and a Lyapunov function, and providing the approximate time-varying parameter for the one of the plurality of time points.

Abstract: A system is configured to: conduct asynchronous updates, of a display, based on a fixed rate when operating in an asynchronous state; determine whether to switch to a synchronous state from the asynchronous state based on the asynchronous updates; conduct synchronous updates, of the display, after switching to the synchronous state; receive a lock request, and conduct updating of the display based on the lock request. The synchronous updates may be performed independent of the fixed rate.

Abstract: A graphical model is received and includes a plurality of entities and connectivity information between the entities. The entities include properties, behavioral descriptions, and optionally behavioral constraints. A symbolic expression is received. The symbolic expression represents a property of a first entity in the graphical model. A second entity is identified. The second entity includes the property represented by the symbolic expression. The second entity is identified based on at least one of the connectivity information, a behavioral description, or a behavioral constraint. The symbolic expression is propagated to the second entity. The second entity is expressed in terms of the propagated symbolic expression. An updated graphical model is generated.

Abstract: A computer-implemented method for generating code based on a graphical model may include: translating the graphical model into a graphical model code, the graphical model code including a first graphical model code function; performing a lookup of the first graphical model code function in a hardware specific library, the hardware specific library comprising a plurality of relationships between graphical model code functions and hardware specific functions, where the first graphical model code function is one of the graphical model code functions; obtaining a matched hardware specific function based on the lookup, wherein the matched hardware specific function is one of the hardware specific functions from the hardware specific library; and modifying the graphical model code based on the matched hardware specific function.

Abstract: A computer-implemented method for automatically modifying software code in an integrated development environment, includes the steps of: analyzing software code, wherein the software code is stored in at least one file on a computer readable medium; displaying to a user at least one indication that the software code can be automatically modified; receiving a selection from the user to automatically modify the software code; modifying the software code without modifying the at least one file; and displaying the modified software code to the user.

Abstract: A method, system and apparatus for managing data in a buffer reduces the data density of the buffer by downsampling input buffer data. The buffer holds a plurality of input data points associated with an index. The buffer may have a capacity and a data density that represents a logical distance between indices of adjacent input data points. When the buffer is at or near the capacity, a rule may be applied to the data buffer. The rule may downsample the input data and reduces the data density of the buffer. The rule may include, for example, removing every kth input data point, or removing the least-used data points. Removed data points may be retrieved by deriving the removed data points from data points that remain in the buffer.