Abstract: Operations include (a) identifying bounds corresponding to two or more inference variables corresponding to a nested method invocation context, (b) determining that resolution of a first inference variable can be determined as a function of a resolution of a second inference variable, (c) propagating bounds corresponding to the second inference variable from the nested method invocation context to an outer method invocation context without propagating bounds corresponding to the first inference variable, (d) resolving a constraint set to resolve the second inference variable, and (e) resolving the first inference variable based on the resolution of the second inference variable.

Abstract: A method, system and computer program product, the method comprising: receiving a partial description of a combinatorial model defining a test space and comprising a set of attributes, a respective domain for each attribute defining possible values for the attribute, and restrictions, each comprising an attribute, a respective value and a logical operator, the partial description comprising an attribute and a value thereof; computing a similarity measurement between the partial description and each model in a corpus, based on similarity of attributes and domains, and not on a test space defined by compared models, whereby similarity between models is indifferent to a size of the test space of the models; selecting models from the corpus according to the computed similarity measurements; determining elements from the selected models to be suggested for modifying the partial description; and outputting the suggestions to modify the partial description useful for completing the combinatorial model.

Abstract: The present disclosure provides a method and device for distributing an application. The method includes: acquiring a card category of a card to be displayed, where the card includes a download entry of the application and is loaded on a preset desktop, and provides a subset of functions of the application; acquiring real-time card information corresponding to the card category according to the card category; and displaying the card in a preset displaying format on the preset desktop based on the real-time card information.

Abstract: One example method involves generating executable code, mapping a testcase to the executable code, where the testcase is associated with a test, identifying a dependent code component, notifying an owner of the dependent code component of a relation between the dependent code component and the executable code, initiating a test of the executable code, and resolving any problems that are identified during the test of the executable code. In this example, the entire method is performed during a code development phase.

Abstract: The technology disclosed relates to a self-service customization protocol for a single page website that implements a support component add-in to the CRM website. The self-service customization protocol may be configured to customize at least one page element of the customized component, wherein the page element is configured to allow a website visitor to interface with a service provided via the website, which may be edited by customers without having to perform coding. In some embodiments, code may be generated for the customized component via an engine.

Abstract: A system for producing a computer program code collaboratively using blockchain includes a plurality of computer nodes, the plurality of computer nodes forming a distributed network for collaborative work. Each of the computer nodes communicates directly with the others, and is operated by a user in accordance with a common smart contract. Contributions of each of the users are entered into the blockchain at respective computer nodes as blocks when transactions have been completed in accordance with the following steps: writing code for inclusion in said computer software program; submitting the code for the computer software program to the distributed network to complete a transaction to add a block with the code to the blockchain of the computer software program; detecting by the distributed network of the submission of code for the computer software program; and adding the code as a block to the blockchain of the computer software program.

Abstract: A novel method of reporting pertinent information in the event of an error during the execution of a software application is disclosed. The software application includes one or more error reporting structures, which are used to store the pertinent information for each error that is encountered. The pertinent information may include, for example, the file name, the function name, the line number within the function, and others. In some embodiments, a macro is used to populate one or more fields of the error reporting structure. Various methods of identifying the location of the error reporting structure are also disclosed.

Abstract: Systems and methods are provided for updating expansion read-only memory (ROM) code to execute for device-specific initialization. An exemplary method comprises first accessing one or more copies of a ROM code in at least one of a plurality of repositories. The ROM code can be configured to execute an initialization process for a specific device in the computer system. The method can then select one of the one or more copies of the ROM code based on a selection criterion to yield a selected ROM code. The method can then copy the selected ROM code to a system memory of the computer system. The method can then execute the selected ROM code in the system memory to initialize the specific device.

Abstract: A system provides support for a device interrogation framework. The system may include an electronic device and an application server. The electronic device may perform a device interrogation to identify one or more device characteristics, and adaptively disable one or more application functions of a software application according to the device characteristics. For example, the electronic device may send the device characteristics to the application server, and the application server may apply a set of feature support criteria to determine particular application functions to enable or disable on the electronic device. The application server may send a compatibility determination to the electronic device specifying which application functions of the software application to disable.

Abstract: Customization of a plurality of servers in a computer network. A server customizer module is generated that includes a server customizer initialization file containing a plurality of arguments for populating and running a plurality of standardized applications, scripts and utilities on each server. The server customizer module is installed on each of the plurality of servers for subsequent execution as part of the server build/customization process. A server unattended install launch module, cooperative with the server customizer module is generated that includes an unattended install launch initialization file for launching a plurality of standardized processes on each server. The server unattended install launch module is installed on each of the plurality of servers for subsequent execution as part of the server build/customization process. The server customizer module and server unattended install launch module are executed on each of the plurality of servers to complete customization of each server.

Abstract: Provided is a modulo scheduling method. The modulo scheduling method includes conducting a search, based on a data dependency graph of a loop, for a recurrence in which a sum of iteration distances between command nodes is less than a predetermined critical value; and determining a processing order of the recurrence.

Abstract: A computer-implemented method and apparatus, the method comprising: responsive to a user of a mobile device selecting a specific application, starting a parent application with a parameter associated with the specific application, wherein the parent application is configured to provide a functionality of the specific application; retrieving from a local database in the mobile device a configuration of the specific application, wherein the configuration comprises a set of modules used by the specific application and a manner of usage thereof; and activating the set of modules to provide the functionality of the specific application by the parent application.

Abstract: Methods, systems and non-transitory computer readable media involves receiving information of a new library from a patch management repository. A symbolic link to the new shared library is created and a request to an application process to replace a shared library is communicated. To replace the shared library, the application process periodically checks reference state of the shared library till it reaches a free-state. When the shared library reaches the free-state, the application process unloads the shared library from memory space and loads the new shared library to the memory space. The application process continues performing one or more pre-define functions during the replacement of the shared library.

Abstract: Techniques to update a web application are described. A method includes receiving an application update request for a requested web application from a service worker web application executing in a web browser on a client device, the application update request comprising a cached version indicator for a local cached copy of the requested web application on the client device; determining whether an updated requested web application is available based on the cached version indicator. When the cached version indicator is less than a current version indicator, an archived copy of the previous version of the requested web application indicated by the cached version indicator and a current copy of the current version of the requested web application are retrieved, and a delta update is generated based on the archived copy and current copy. The delta update is sent to the service worker web application. Other embodiments are described and claimed.

Abstract: Techniques are described herein that are capable of trimming unused dependencies using a package graph and a module graph. For instance, the package graph and the module graph may be traversed to determine whether dependencies of an application are used during execution of the application. A version of the application may be configured to include the dependencies that are used and to not include the dependencies that are not used. For instance, the version of the application may be configured to be utilized at deployment time.

Abstract: An improved development and deployment environment and processes for developing and deploying object-oriented web-based scan-task enabled applications, wherein web-based scan-task enabled client computers use scan task specifications and task decoders to retrieve and decode a scan tasks encapsulated on each web page requested and received from a web server supported by an application server and database server, and then perform specified actions, including the display of web controls, required by the scan task script contained within the decoded scan task, corresponding to the served web page.

Abstract: Techniques for managing an upgrade operation comprising multiple upgrade process executing on multiple host machines (or hosts) for upgrading software applications on the multiple hosts. Techniques are disclosed for managing notifications that are generated by the multiple upgrade processes during execution, and more particular, techniques for reducing the number of notifications that are sent to a user. The techniques include: only sending a subset of the generated notifications to a user, the subset being selected at the host machines based upon notifications level criteria specified by the user for the host machines; consolidating multiple generated notifications into a fewer number of consolidated notifications and only sending consolidated notifications to the user; combination of criteria-based selection and notifications consolidation.

Abstract: Annotation processors defined by a module of a module system are used for processing annotations. Annotation processors defined by a module of a module system may be used with annotation processors defined by non-module code. A predefined deterministic process is used to select annotation processors for processing annotations. The predefined deterministic process imposes an order for searching and/or using annotation processors.

Abstract: A modeling environment is provided allowing a user to generate, from a source representation of a model, a target representation of a model and a listing of the optimization performed during generation of the target representation which is associated with the target representation or the source representation. The model may represent a system, such as a dynamic system. The source representation of the model may be a graphical or textual representation. In some embodiments a user may specify whether to implement the optimization.

Abstract: Systems and methods are provided for manipulating objects in a framework software application that embeds another software application that does not natively support object manipulation controls of the framework software application. To overcome this difficulty, a user interface of the embedded software application is provided in an embedded window disposed within a framework window. Moreover, the user interface of the framework software application is provided in the framework window. Next, a transparent interface element, configured to detect events generated by the object manipulation controls of the framework software application, is generated, and is positioned over the embedded window.