Abstract: An optimizing compiler includes a vector optimization mechanism that optimizes vector operations that are reformatting-resistant, such as source instructions that do not have a corresponding reformatting operation, sink instructions that do not have a corresponding reformatting operation, a source instruction that is a scalar value, a sink instruction that may produce a scalar value, and an internal operation that depends on lanes being in a specified order. The ability to optimize vector instructions that are reformatting-resistant reduces the number of operations to improve the run-time performance of the code.

Abstract: Example implementations described herein are directed to systems and methods for validating and deploying microservices. In an example implementation, a plurality of similarities are calculated between a user environment and multiple pilot environments from application deployment test results. The test results are based on compatibility of catalogs of applications with each of the pilot environments. A list is presented with one or more of the catalogs of applications that are indicated as compatible and similar to the user environment based on the calculated similarities. The user can select catalog from the list that is deployed in the user environment.

Abstract: Disclosed are a compatibility method based on Hybrid, an adapter, an operation device, a system and a computer-readable storage medium, wherein, the method comprises: a JS adaptation component acquires a second component data from a JS component of a second Hybrid; the JS adaptation component encapsulates the second component data as a parameter data packet applicable for the first Hybrid; the JS adaptation component transmits a first component data to a bridge module of the first Hybrid; the native adaptation component acquires the parameter data packet from the bridge module; the native adaptation component parses the parameter data packet to acquire the class name and the method name; the native adaptation component invokes an interface of the native component of the corresponding second Hybrid according to the class name and the method name and according to a preset calling rule.

Abstract: Methods, systems, and computer-readable media for request authorization using service coordination are disclosed. An authorization data structure and an operation data structure are selected based at least in part on a request for an operation. The authorization data structure comprises a directed acyclic graph representing a flow of data between service operations associated with authorization of the operation, and the operation data structure comprises a directed acyclic graph representing a flow of data between a service operations associated with execution of the operation. Authorization of the operation is attempted using the authorization data structure, comprising invoking one or more of the service operations associated with authorization. If the authorization is successful, then the execution of the operation is initiated using the operation data structure, comprising invoking one or more of the service operations associated with execution.

Abstract: Certain aspects of the present disclosure provide techniques for autonomously testing a web-based application. The techniques generally include an analysis module searching a page of the web-based application for one or more fillable form fields and identifying a fillable form field in the page. The analysis module determines a field type associated with the fillable form field, determines a field data format based on the field type of the fillable form field and generates a test data entry based on the field data format. The analysis module then enters the test data entry into the respective fillable form field and submits the test data entry to a server.

Abstract: In general, in one aspect, the invention relates to a method for processing requests from client devices. The method includes receiving, from a client device, a request for an entity associated with a web application, where the request is associated with a user, making a first determination, by traversing a logical application hierarchy of the web application, that the user is permitted to view the entity, and based on the first determination, providing the entity to the client device.

Abstract: An automated validation tool includes a hardware processor that receives a message that indicates a first element, a second element, and a third element of a first webpage. The message is generated in response to a detected change to source code for the first webpage. The processor determines that the first element and the second element exist on a second webpage and that the third element does not exist on the second webpage, that activating the first element on the second webpage performs a first function, and that activating the second element on the second webpage does not perform a second function. The second webpage represents the first webpage after the detected change is implemented. The processor communicates a response that indicates the determinations.

Abstract: A first client computing device, including a display and a processor. The processor may execute a distributed source code authoring management system client configured to communicate with a codebase host server. The processor may output a graphical user interface (GUI) of the distributed source code authoring management system client and may receive a first edit to a code file in an editor window included in the GUI. The editor window may provide real-time mark-up of the code file. In response to the first edit, the processor may transmit change set information including the first edit to a codebase host server. The processor may receive, from the codebase host server, a first conflict notification indicating that the first edit and a second edit to the code file have a pending merge conflict. The processor may output the first conflict notification to the display for display in the editor window.

Abstract: A system for providing dynamic code deployment and versioning is provided. The system may be configured to receive a first request to execute a newer program code on a virtual compute system, determine, based on the first request, that the newer program code is a newer version of an older program code loaded onto an existing container on a virtual machine instance on the virtual compute system, initiate a download of the newer program code onto a second container on the same virtual machine instance, and causing the first request to be processed with the older program code in the existing container.

Abstract: The present application relates to systems for programing devices, such as unmanned autonomous vehicles or “drones,” with a card-based format and methods for using the same. The system and methods generally comprise a programing system that receives one or more instructional cards selected by a user. The system generates an executable program based on the instructional cards received, and transmits the program to a device for execution.

Abstract: Methods and systems are disclosed for defining deployment data that identify a manner in which to divide a software package of source code deliverables into smaller discrete software package. A triggering event occurring in response to a modification of one or more source code deliverables causes a set of source code deliverables to be identified. One or more particular metadata identifiers associated with the modified one or more source code deliverables may be used to define a group of source code deliverables. The group of source code deliverables includes a subset of the set of source code deliverables that may also be associated with the one or more particular metadata identifiers. One or more packaging rules may facilitate defining deployment data identifying package transmissions for the group of source code deliverables. The deployment data may then be output to one or more devices.

Abstract: A computer generates a parallel program, based on an analysis of a single program that includes a plurality of tasks written for a single-core microcomputer, by parallelizing parallelizable tasks for a multi-core processor having multiple cores. The computer includes a macro task (MT) group extractor that analyzes, or finds, a commonly-accessed resource commonly accessed by the plurality of tasks, and extracts a plurality of MTs showing access to such commonly-accessed resource. Then, the computer uses an allocation restriction determiner to allocate the extracted plural MTs to the same core in the multi-core processor. By devising a parallelization method described above, an overhead in an execution time of the parallel program by the multi-core processor is reduced, and an in-vehicle device is enabled to execute each of the MTs in the program optimally.

Abstract: A system, method, and computer program product is provided for migrating an application from a source computing environment having a source Operating System (OS) to a target computing environment, the target computing environment having a target OS. The method may include discovering applications and resources on the source computing environment; preparing a migration computing environment having the target OS based on the discovered applications and resources; instantiating a virtual migration sandbox in the migration computing environment; instantiating the application within the virtual migration sandbox; and, capturing in-process and out-of-process calls made by the application during execution; updating the migration computing environment based on the captured in-process and out-of-process calls.

Abstract: A method and an apparatus that execute a parallel computing program in a programming language for a parallel computing architecture are described. The parallel computing program is stored in memory in a system with parallel processors. The parallel computing program is stored in a memory to allocate threads between a host processor and a GPU. The programming language includes an API to allow an application to make calls using the API to allocate execution of the threads between the host processor and the GPU. The programming language includes host function data tokens for host functions performed in the host processor and kernel function data tokens for compute kernel functions performed in one or more compute processors, e.g., GPUs or CPUs, separate from the host processor.

Abstract: A runtime environment identifies a request for a proxy object whose class implements a plurality of interfaces. Responsive to the request, the runtime object generates a class for the proxy object. Generating the class comprises determining that two or more interfaces, of the plurality of interfaces, define a respective method body with a same method signature. Responsive to determining that the two or more interfaces define a respective method body with a same method signature, the runtime environment may (a) omit a method body, in the class, for a particular method corresponding to the method signature, (b) include a method body that triggers a runtime error, or (c) include a method body that includes operations to select a default method declared in one of the two or more interfaces.

Abstract: A software component assigning system for a vehicle includes electronic control units connected to a common network in the vehicle, one of the electronic control units being an integrated control electronic control unit which is configured to: acquire a first rank value of each of the electronic control units, the first rank value becoming higher as a probability of occurrence of a malfunction is higher; acquire a second rank value of an additional software component that is additionally arranged in any one of the electronic control units, the second rank value becoming higher as a level of importance; and decide an electronic control unit to arrange the additional software component from among the electronic control units such that the additional software component is arranged in the electronic control unit of which the first rank value is lower as the second rank value of the additional software component is higher.

Abstract: The present disclosure relates to system(s) and method(s) for guiding a user in software development lifecycle using machine learning. The system is configured to receive real-time contextual information from a user device and user profile data from a profile database. Further, the system is configured to determine a current issue faced by the current user of the user device. In the next step, the system is configured to enforce a historical solution, from the set of historical solutions, associated with the current issue. If the historical solution is not applicable to address the current issue, the system is configured to extract one or more new solutions, from one or more secondary data sources. Finally, the system is configured to suggest the one or more new solutions to the current user, thereby guiding the current user to address the current issue.

Abstract: A method for model checking path reduction based on interpolation comprises: reading a C program, performing grammatical and semantic analysis on the C program, and extracting CFG from an abstract syntax tree; adding safety (S) interpolation and error (E) interpolation to the CFG and extending the CFG; in a process of generating ARG according to the CFG, determining, in each state, whether the safety interpolation and the error interpolation are implied by current path formula. The method improves the verification efficiency by computing the S interpolation and the E interpolation, which makes the algorithm of the model checking a better use in large-scale programs. The S interpolation can be used to avoid the unnecessary traversal, greatly reducing the number of ARG state. The E interpolation can be used to quickly determine whether there is a true counterexample in the program, accelerating the program's verification and improving the efficiency.

Abstract: Described are examples for processing a configuration file having a certain file format for defining static values. One or more static data values defined in the configuration file based on the JSON format can be determined. One or more expressions, defined according to an expression language, can be detected in the configuration file based on the file format. Via a platform engine and based on the expression language, the one or more expressions can be interpreted. The one or more static data values and the one or more expressions can be stored in memory as an in-memory representation of the configuration. An instance of a service for resolving one or more values related to the one or more expressions can be executed by the platform engine and based on the representation of the configuration.

Abstract: An information handling system may include a field-programmable gate array (FPGA), and a hypervisor to manage virtual machines. The hypervisor may host a first FPGA service manager that loads instances of binary images for FPGA services into respective regions of the FPGA for the benefit of software applications. The virtual machine may host a second FPGA service manager that receives a request for an FPGA service from a software application running in the virtual machine, and sends a query to the first FPGA service manager to determine whether a binary image for the FPGA service exists on the FPGA. The first FPGA service manager may receive the query and, if a binary image instance for the FPGA service exists on the FPGA, may provide information to the second FPGA service manager to facilitate the use of the FPGA service by the software application running in the virtual machine.