Abstract: An improved static program analysis procedure is provided by formulating a set of seeding configurations, and selecting a subset of queries posed by the static program analysis procedure. In response to one or more queries of the subset of queries being answered positively under at least one configuration of the set of seeding configurations, the one or more queries are determined to be valid queries. Each query of the valid queries is evaluated under each configuration of the set of seeding configurations to determine an accuracy score for each seeding configuration. A seeding configuration having a highest accuracy score is selected as a tool configuration to be used with the static program analysis procedure.

Abstract: Systems and methods enable a virtual machine, including any applications executing thereon, to quickly start executing and servicing users based on pre-staged data blocks supplied from a backup copy in secondary storage. An enhanced media agent may pre-stage certain backed up data blocks which may be needed to launch the virtual machine, based on predictive analysis pertaining to the virtual machine's operational profile. The enhanced media agent may also pre-stage backed up data blocks for a virtual-machine-file-relocation operation, based on the operation's relocation scheme. Servicing read requests to the virtual machine may take priority over ongoing pre-staging of backed up data. Read requests may be tracked so that the media agent may properly maintain the contents of an associated read cache. Some embodiments of the illustrative storage management system may lack, or may simply not require, the relocation operation, and may operate in a “live mount” configuration.

Abstract: Systems and methods enable a virtual machine, including applications executing thereon, to quickly start executing and servicing users based on pre-staged data blocks supplied from a backup copy in secondary storage. Substantially concurrently with the ongoing execution of the virtual machine, a virtual-machine-file-relocation operation moves data blocks from backup to a primary storage destination that becomes the virtual machine's primary data store after relocation completes. An enhanced data agent, operating in conjunction with an enhanced media agent in a storage management system, coordinates restoring the virtual machine and launching the relocation operation. The enhanced media agent pre-stages certain backed up data blocks based on predictive analysis pertaining to the virtual machine's operational profile. The enhanced media agent also pre-stages backed up data blocks for the relocation operation, based on the operation's relocation scheme.

Abstract: According to one embodiment, a method, computer system, and computer program product for memory corruption diagnosis is provided. The present invention may include generating a pattern expression (PE) header file, wherein a plurality of common datatypes associated with a software program are pre-defined. The invention may further include generating a PE for each of the plurality of common datatypes, and generating a PE table by merging the generated PEs for each of the plurality of common datatypes. Upon discovery that memory corruption has occurred, the invention may include transmitting a recorded state of the software program as a core dump file to a server, and using a dump utility to identify overlay content of the core dump file. Lastly, the invention may include identifying a possible source program of the memory corruption by matching the PE tables against the illegally-written overlay content.

Abstract: Embodiments involve a data organization procedure and a development environment system that is set up to carry out the data organization procedure. The data organization procedure according to an embodiment envisages that a stored data set or a data set to be stored is organized according to a first structure, whereby the data set is subdivided according to aspects of the content and/or according to access rights aspects into partial data sets, whereby in addition to the first structure another structure is envisaged, according to which the data set is organized, whereby the data set is subdivided into authority areas, whereby each authority area includes at least one partial data set according to the first structure, whereby each partial data set includes at least one data unit, and whereby a responsible user set is allocated to each authority area, whereby the user set includes at least one user.

Abstract: An approach is provided for predicting an exception during a debugging of software code before the debugging encounters the exception. A number of lines X is received. During a debugging of a line number L of the code, upcoming lines consisting of line numbers L+1 through L+X are executed. Based on the execution of the upcoming lines, the exception is predicted to be encountered at line number M, which is within a range of line numbers L+1 through L+X. During the debugging of the line number L, and based on the prediction and the line number being within the range, a warning is displayed that the exception is to be encountered at line number M.

Abstract: Aspects extend to methods, systems, and computer program products for partially reconfiguring acceleration components. Partial reconfiguration can be implemented for any of a variety of reasons, including to address an error in functionality at the acceleration component or to update functionality at the acceleration component. During partial reconfiguration, connectivity can be maintained for any other functionality at the acceleration component untouched by the partial reconfiguration. Partial reconfiguration is more efficient to deploy than full reconfiguration of an acceleration component.

Abstract: A method and terminal for OTA upgrading are described. In the method, a system image file of a terminal to be upgraded is saved in the form of data blocks. The method includes: acquiring and parsing an OTA upgrade package to obtain respective differential upgrade files for the system image file; reading data blocks corresponding to respective differential upgrade files in the system image file, and performing an upgrading operation on corresponding data blocks to upgrade the system image file. Split system image files are used rather than files in a file system as data for differential comparison. Thus metadata in the file system are also included in differential data packet. After the upgrading, the image in the terminal is fully consistent with the image in a production process and does not conflict with a system check mechanism.

Abstract: Various embodiments are generally directed to techniques for supporting the distributed execution of a task routine among multiple secure controllers incorporated into multiple computing devices. An apparatus includes a first processor component and first secure controller of a first computing device, where the first secure controller includes: a selection component to select the first secure controller or a second secure controller of a second computing device to compile a task routine based on a comparison of required resources to compile the task routine and available resources of the first secure controller; and a compiling component to compile the task routine into a first version of compiled routine for execution within the first secure controller by the first processor component and a second version for execution within the second secure controller by a second processor component in response to selection of the first secure controller. Other embodiments are described and claimed.

Abstract: An on-chip system uses a time measurement circuit to trap code that takes longer than expected to execute by breaking code execution on excess time consumption.

Abstract: An apparatus for automatic conversion of existing systems management software applications to run in multiple middleware runtime frameworks by automating the unification of runtime framework ontologies and isolating runtime dependent code in the build process of system management applications through the introduction of a runtime dependency processor and performing runtime dependency analysis.

Abstract: Techniques for updating an application installed on a communication device may include determining that an update for a private portion of the application is available at a server, sending a request for the update to the server, receiving an updated version of the private portion from the server, and installing the updated version of the private portion on the portable communication device without updating the public portion.

Abstract: The disclosed embodiments provide a system that facilitates execution of a software program. During operation, the system obtains an execution unit associated with execution of a software program, wherein the execution unit includes a start and an end. Next, the system identifies a set of fields accessed within the execution unit. The system then calculates one or more memory distances among the set of fields from a set of memory addresses of the set of fields during runtime of the software program on the computer system, wherein the one or more memory distances include a difference in memory address between a first field and a second field in the set of fields. Finally, based at least in part on a memory distance in the one or more memory distances exceeding a threshold, the system stores an indication that the execution unit has a suboptimal memory layout.

Abstract: The present disclosure relates to a method, apparatus, and non-transitory computer readable medium for generating communication firmware and a program plug-in based on product information and a program template. Aspects of the disclosure provide a method that includes receiving first information related to a product; selecting, from a program template library, a target program template based on the first information; and generating communication firmware and a program plug-in based on the first information and the target program template. The communication firmware is configured to be built in a device related to the product, the program plug-in is configured to be installed in a terminal, and the device and the terminal are configured to implement a function of the product by using the communication firmware and the program plug-in, respectively.

Abstract: Concepts and technologies are disclosed herein for service creation and management. A processor can detect an event relating to a service, and access a service creation database to identify a recipe associated with the service. The recipe can define a resource to be used to provide the service. The processor can access an inventory to determine if the resource is available, identify a service control to control the service, instruct an infrastructure control to allocate virtual machines to host components of the service, and issue instructions to the service control. The instructions can instruct the service control to load service functions to the virtual machines.

Abstract: A technique for deploying an application in a cloud computing environment includes: collecting, when a user is deploying an application, metadata and instructions on deploying the application, the metadata comprising service metadata, application metadata and topology metadata, wherein the service metadata comprise metadata on a service required for deploying the application, the application metadata comprise metadata on the application, and the topology metadata comprise metadata indicative of a relationship between the service and the application; and storing the collected metadata and instructions as a model for re-deploying the application.

Abstract: An authoring tool may comprise a plurality of predefined functions displayed in a visual manner. A user may select functions from the predefined functions to create a logic map. The authoring tool may read metadata from a metadata store corresponding to the functions. The authoring tool may generate an intermediate language, and compile the metadata from the intermediate language to a desired language. The authoring tool may execute the logic map on data in a data management system.

Abstract: This application discloses a computing system to identify portions of source code in a test bench that correspond to class objects, and insert handle tracking code at locations in the test bench associated with the identified portions of source code. During simulation of the test bench, the computing system can execute the handle tracking code, which generates handle occupancies corresponding to memory pointers associated with the class objects. Each of the handle occupancies can include a handle reference or memory pointer for a class object, a location in the test bench corresponding to usage of the memory pointer, and a simulation time associated with the generation of the handle occupancy. The computing system can arrange the handle occupancies, synchronize the handle occupancies to portions of source code in the test bench, and display the handle occupancies and the test bench source code in a debug window.

Abstract: Techniques provided implement automatic data type annotation in dynamically-typed source code. A codebase, which may comprise a plurality of source code files, is scanned at a global level. The resulting scanned data may describe characteristics of the codebase, including variable and function usage. Based on inferences drawn from the scanning, data types are determined for different variables, expressions, or functions to facilitate conversion from dynamically-typed source code to statically-typed source code. For example, if a function is called once with a parameter value of data type A (e.g., class A), and another time with a parameter value of data type B (e.g., class B), a conversion tool may annotate the parameter variable in the declaration of the function with a data type D (e.g., class d) when data type D is identified as a common ancestor (e.g., superclass) to both data type A and data type B.

Abstract: System, methods, and software products automatically extract software design from a requirements document. A requirements hierarchical decomposition table is generated from the requirements document defining a plurality of decomposition levels. An initial hierarchical decomposition design having a plurality of decomposition levels based upon the requirements hierarchical decomposition table is generated. Input and/or output parameters for each decomposition level in the hierarchical decomposition design are identified, and a current hierarchical decomposition design is generated based upon the initial hierarchical decomposition graph and the input and/or output parameters.