In various embodiments, a spectral graph partitioner (SP) of a graph partitioning system (GPS) may partition a data flow graph associated with a program into a plurality of subgraphs to be used to perform analysis or debugging. The SP may generate estimated eigenvectors for a matrix representing the graph through minimization of a function on the vectors. The SP may generate multiple eigenvectors to perform the clustering in a multi-dimensional space described by the eigenvectors. The SP may refine the clustering by repeating generation of eigenvectors to describe higher-dimensional spaces and perform further clustering. The SP may also determine quality metrics for the clusters and may stop refinement based on the quality metrics. The GPS may select between utilizing the SP or utilizing one or more other partitioners based on various factors such as, for example, graph size or quality metrics. Other embodiments may be described and/or claimed.

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.

A computer-readable memory device may include instructions to store data describing a state machine model including source states and destination states. The device may also include instructions to store, for each of the source states, a condition field identifying a condition upon which, when satisfied, the state machine model transitions from the source state to one of the destination states. The device may also include instructions to store, for each of source states, a destination field identifying the one of the destination states. Each of at least two of the source states may identify an identical destination state in the corresponding destination field. Each of at least two of the source states may identify an identical condition in the corresponding condition field.

Methods and systems of translation include performing a search of translation hypotheses for input source code in a first programming language to a second programming language. A constraint is extracted from the input source code. The constraint is applied to the translation hypotheses to generate a source code output in the second programming language.

This application relates to the field of computer software, and discloses an apparatus, method and readable storage medium for computational logic processing. The method is applied to apparatus including a server side and a client side. In this method, the client side obtains and sends input data and configuration data to the server side. The server side parses the configuration data to generate static computational subgraphs, and then connects the input data and the static computational subgraphs to generate dynamic computational subgraphs. Finally, the dynamic computational subgraphs is executed to obtain computational results. Therefore, decoupling between the computational logics and the input data is implemented, reusing of the computational logics can be implemented, and development efficiency of software developers is improved. In addition, an error of the computational logics in implementation is irrelevant with the application module because of computational logics' independent implementation, deployment, management, and operation, improving maintainability of the application module.

Provided are methods, devices/apparatus and computer programs for configuring a programmable automation device. The method includes receiving a user-defined behavior description for defining a runtime behavior of the automation device and automatically generating a control program and a configuration for the automation device based on the behavior description. The control program and configuration may then be used for resource-saving operation of automation devices.

A method includes generating an ablation programming language, which defines commands for (i) setting ablation protocol parameters and respective values, (ii) setting a configuration of an ablation system, (iii) applying automatic logic that relates the ablation protocol parameters and the values to the configuration of the ablation system, and (iv) generating one or more graphical user interfaces (GUIs) showing one or more of the parameters of the ablation protocol and the system configuration. The ablation programming language is provided for subsequent use with the ablation system.