Abstract: Mechanisms are provided for ensuring access to long-term stored electronic documents. In one example, one or more methods may provide for automatically ensuring access to long-term stored electronic documents. In another example, one or more algorithms may provide for automatically ensuring access to long-term stored electronic documents.

Abstract: Embodiments provide systems, methods, and computer program products for dynamically hooking multiple levels of application code. A server receives identifying information that identifies a target function of a target application to hook. The server pauses a target process of the target application. The server locates the target function within the target application code based on the received identifying information. The server then hooks the located function outside of the target application, thereby creating hooked code during application runtime.

Abstract: Mechanisms are provided for performing a live update of an operating system. The mechanisms receive an update to an operating system and clone a root volume group associated with an operating system instance executing in a first logical partition of the data processing system to generate a cloned root volume group. The mechanisms apply the update to the cloned root volume group to generate an updated and cloned root volume group and boot a second logical partition of the data processing system using the updated and cloned root volume group. Moreover, the mechanisms mirror the original root volume group associated with an operating system instance executing in a first logical partition and import the mirrored root volume group into the second logical partition. The mechanisms migrate application instances to the second logical partition by restarting the application instances in the second logical partition using the mirrored root volume group.

Abstract: A system and method for performing functional decomposition of a software design to generate a computer-executable FSM and a graphical representation of the design in a decomposition diagram stored in a program database with source code, test code, and other program data. The method includes searching for pre-existing software modules that meet program design requirements. Modules needing work are displayed on Gantt or PERT charts as tasks, and may be annotated with start dates, and completion dates. Percent complete of the design is automatically generated and updated, and may be displayed on the charts. The decomposition is automatically used to introduce error detection states into the FSM for recognizing invalid states and saving checkpoints, and for recognizing and repairing both race conditions and deadlock conditions in the design.

Abstract: Mechanisms are provided for ensuring access to long-term stored electronic documents. In one example, one or more systems may provide for automatically ensuring access to long-term stored electronic documents. In another example, one or more algorithms may provide for automatically ensuring access to long-term stored electronic documents.

Abstract: An arrangement for verifying the completeness and compatibility of software components in an electronic control unit includes a bootloader and a CompleteCompatible verification component. The bootloader is arranged to, upon start-up of the electronic control unit, verify the completeness and compatibility of the CompleteCompatible verification component, and upon such verification being positive initiate the CompleteCompatible verification component. The CompleteCompatible verification component is arranged to, upon performance thereof, verify the completeness and compatibility of further software components in the electronic control unit.

Abstract: A method, system, and computer-readable medium (CRM) for performing a staged points-to analysis of an object-oriented codebase, including obtaining the codebase and a points-to query, slicing the codebase to obtain a program slice, and performing a type analysis of the program slice to compute a type set. The method, system, and CRM include refining the program slice, after performing the type analysis, by resolving virtual dispatch sites based on the type set, and performing, after refining the program slice, a context-insensitive points-to analysis of the program slice to compute a first points-to set. The method, system, and CRM include re-refining the program slice, after performing the context-insensitive points-to analysis, by resolving the virtual dispatch sites based on the first points-to set, and performing, after re-refining the program slice, a context-sensitive points-to analysis of the program slice to compute a second points-to set, which is provided to a developer.

Abstract: According to a present invention embodiment, a system imports information from a source profile into a target profile. The system maps one or more entities within the source profile to one or more entities of the target profile pertaining to configuring a system including a plurality of system components. Properties of the one or more entities within the source profile are compared to properties of corresponding mapped entities in the target profile. The values of the properties of the one or more entities within the target profile are set to the property values of the corresponding one or more mapped entities within the source profile in response to the comparison indicating the properties correspond. Embodiments of the present invention further include a method and computer program product for importing information from a source profile into a target profile in substantially the same manner described above.

Abstract: Systems and methods for cloud management are disclosed. For example, one disclosed method includes the steps of receiving access information for a cloud service provider; receiving configuration information for a cloud instance; receiving a command to create the cloud instance; requesting and receiving a node from the cloud service provider; causing the node to be configured as a cloud node, comprising causing a software package to be installed and configured on the cloud node; configuring the cloud instance and incorporating the node into the cloud instance; and providing access to the cloud instance.

Abstract: Embodiments relate to systems and methods for generating a progress indicator in a programming loop. In embodiments, a programming language or application programming interface (API) can contain a loop operator that registers the occurrence of each iteration in a loop, and passes that information to a user interface to display an indicator of loop progress to a programmer or user. The progress notification can be a thermometer-style graph, a progress bar, or other graphical or other display representing the progress of the programming or process loop. In embodiments, the progress indicator and related information can be dumped to a log file, to create a record of loop progress to review and perform debugging operations, in the event of a crash during execution of the loop.

Abstract: A metadata driven user interface system and method are provided. In an exemplary embodiment, a software-based customer relationship management system and method may include the metadata driven user interface system.

Abstract: Systems, methods and computer readable media can operate to protect against non-functional software updates. Some implementations can provide for storing both a new load and a previous load in non-volatile memory of a customer premise equipment (CPE) device. After storing both loads, a software update can be applied to the CPE device, the software update comprising the new load to be used as a primary load replacing the previous load used by the CPE device. The device can then be rebooted using the new load as the primary load and a determination can be made whether the CPE device is operating correctly using the new load as the primary load. If the CPE device fails to operate correctly using the new load as the primary load, the CPE device can revert to the previous load as the primary load.

Abstract: A method, apparatus, and/or computer program product performs selective speculative class-based optimization through the use of a type propagation analysis of class. Responsive to a determination that the type of class is not a fixed type, a determination is made as to whether the class is sub-classed. Responsive to a determination the class is not sub-classed, a virtual synthetic property method is created. The virtual synthetic property method is accommodated in an enhanced java virtual machine using a stack frame type. The stack frame type has associated metadata for throwing an exception and an invisibility property. The virtual synthetic property method, along with a virtual guard, is inlined, and a slow path is created. The slow path handles executions of the virtual synthetic property method when sub-classes of the class, which override an implementation of the virtual synthetic property method, are loaded in the future.

Abstract: A system obtains first code that includes one or more lines of code, the lines of code including first information associated with one or more data types or one or more routine types. The system removes the first information from the lines of code; and generates one or more instructions that, when executed, enable the system to obtain the first information or second information. The second information is associated with at least one data type that is different than the one or more data types or at least one routine type that is different than the one or more routine types. The system modifies the lines of code based on the one or more instructions; generates second code based on the first code and the modified lines of code; and outputs the second code.

Abstract: A method, apparatus, and/or computer program product performs selective speculative class-based optimization through the use of a type propagation analysis of class. Responsive to a determination that the type of class is not a fixed type, a determination is made as to whether the class is sub-classed. Responsive to a determination the class is not sub-classed, a virtual synthetic property method is created. The virtual synthetic property method is accommodated in an enhanced java virtual machine using a stack frame type. The stack frame type has associated metadata for throwing an exception and an invisibility property. The virtual synthetic property method, along with a virtual guard, is inlined, and a slow path is created. The slow path handles executions of the virtual synthetic property method when sub-classes of the class, which override an implementation of the virtual synthetic property method, are loaded in the future.

Abstract: A system and method for performing functional decomposition of a software design to generate a computer-executable FSM and a graphical representation of the design in a decomposition diagram stored in a program database with source code, test code, and other program data. The method includes searching for pre-existing software modules that meet program design requirements. Modules needing work are displayed on Gantt or PERT charts as tasks, and may be annotated with start dates, and completion dates. Percent complete of the design is automatically generated and updated, and may be displayed on the charts. The decomposition is automatically used to introduce error detection states into the FSM for recognizing invalid states and saving checkpoints, and for recognizing and repairing both race conditions and deadlock conditions in the design.

Abstract: A method of statically testing dependence in a dataflow program is provided, the method comprising receiving a dataflow program which provides parameters, including consumption rates, production rates on connections between actors in the program and a number of initial samples (delays) on the connections, generating from the parameters a model of a precedence graph for the dataflow program representing dependence constraints between distinct firings of the number of actors. For the model, determining a feedback distance between multiple firings of a same actor, determining sets of parallel regions comprising a given number of actor firings of a same actor, composing mutually independent component regions comprising at least a part of the sets of parallel regions, and composing one or more composite regions comprising one or more component regions and/or one or more sets of parallel regions, being composed so that a pre-determined criteria is satisfied.

Abstract: A system and method for efficiently reinstalling computer software, which tracks frequency of utilization for each software application loaded onto the computer and reinstalls applications based on frequency of utilization, with the option to reinstall a computer operating system first or to reinstall computer applications along with libraries, so that computer users can resume working as soon as possible instead of waiting many hours for the entire reinstallation image to complete before a computer system reboot allows for continuation of computer usage.

Abstract: A system obtains code that includes sequences of code; identifies, within a first sequence of code and based on obtaining the code, a first routine that, when executed, enables an array of values to be generated. The array of values is associated with a variable included within the first routine. The system determines whether the routine includes a particular term, and identifies, within the routine, a first identifier when the routine includes the particular term. The first identifier corresponds to a second sequence of code that identifies a first data structure that stores information that identifies one or more second routines. The system identifies, within the data structure, a second routine based on the particular term and a second identifier corresponding to the first routine; executes, using the variable, the second routine to generate a result; and outputs the result based on executing the second routine.

Abstract: A method and apparatus for proving hover help support is described. In one embodiment, the method includes loading a documentation file generated from application source code. The method may also include parsing the documentation file to determine a context of elements within the documentation file. Furthermore, the method may include generating a model of the documentation file based on the context of the elements and storing the model in a memory.