Abstract: One embodiment is a methodology for model verification. An embodiment obtaining, by a processor, a model for a system; identifying, by the processor, at least one block within the model that has a branching structure; identifying, by the processor, at least one model variable affecting a switching condition of the identified at least one block; generating, by the processor, an extended finite state machine modeling a switching behavior of the identified at least one block by using the at least one model variable; combining, by the processor, at least one output variable of the extended finite state machine with at least one of a first output port and a second output port of the system included in the model; and performing, by the processor, model verification and coverage of the model that utilizes outputs from the first output port and the second output port to verify the model.

Abstract: Systems and methods are provided for analyzing a script file to generate a list of commands associated with access of one or more tables in at least one database and analyzing the generated list of commands to determine the one or more tables to be accessed. The system and methods further provide for generating a grouping of the commands for each of the one or more tables to be accessed such that each table of the one or more tables has one or more associated commands, distributing each grouping of commands to be processed in parallel, executing the grouped commands in parallel to determine column names to be accessed for each of the one or more tables, and generating a result list comprising a list of table names and a list of column names for each table in the list of table names to be accessed by the script file.

Abstract: Aspects of the present invention provide an approach for performing a computer program update on a target computer. In an embodiment, a target computer having a location, a user, a computer program, and a computer program update is determined. An expected install duration for installing the computer program update is determined. A social media service associated with the user is monitored. A user location is detected from the social media service and an update time window is estimated based on the user location and the distance that the user is away from the target computer location. A decision is made whether to install the computer program update based on the update time window and the expected install duration.

Abstract: As a portion of processing for activation an apparatus or when an application is installed, a Lib management module determines whether there is a plurality of libraries in a setting of a class path, and, in a case of determining that a plurality of libraries are set, expands the set libraries, and after integrating them as a new library, sets the newly generated library as the class path. In addition, the Lib management module deletes libraries that are included in the library after the integration except for those that are directly accessed.

Abstract: A method includes translating at least one application source code file associated with a legacy controller in a distributed control system to instructions executable by a controller simulation computing device, wherein the legacy controller is associated with a legacy operating system and the controller simulation computing device is associated with a second operating system different from the legacy operating system. The method also includes simulating operation of the legacy controller using the instructions and an emulation of the legacy operating system in the controller simulation computing device. The method further includes determining configuration data for the legacy controller during the simulated operation of the legacy controller. In addition, the method includes saving the configuration data to a configuration data file.

Abstract: The number, popularity, sophistication, etc. of mobile applications have grown dramatically with the rise of smartphones, tablets, and other such devices. Alternatives to native application development, including approaches such as hybrid application development which may employ among other things a container paradigm, inter alia address various of the drawbacks associated with native application development. A flexible, extensible, and dynamically configurable Feature Vector (FV) facility addresses one challenge with approaches such as hybrid application development—controlling an application's access to features (e.g., functions, methods, resources, etc.) and the efficient administration, management, etc. same.

Abstract: Multi-data analysis based proactive defect detection and resolution may include analyzing operational data for an application to determine whether a functionality related to the application is below a predetermined threshold associated with the functionality related to the application, and based on the analysis, generating an indication to perform defect analysis related to the functionality related to the application. A sentiment analysis may be performed on consumer data related to the application to determine a sentiment of the consumer data related to the application, and a natural language processing (NLP) analysis may be performed on the consumer data related to the application to determine a function associated with a negative sentiment. Application code and process data related to the application may be analyzed to determine a defect associated with the application. Further, a code of the application may be modified to correct the defect associated with the application.

Abstract: Provided is a non-transitory computer readable storage medium storing a program causing a computer to execute a process, the process including: obtaining an analysis result of a program hierarchically structured by a plurality of hierarchies; identifying an exclusion request of a check content of a same kind as a specific check content by referring to a storage unit storing information about a past exclusion request of a check content when the specific check content in the analysis result is displayed in association with a part corresponding to the specific check content of the program; outputting reference information for an exclusion request of the specific check content based on a request result of the exclusion request of the check content of the same kind, and a difference between positions in the plurality of hierarchies of the specific check content and the check content of the same kind in the program.

Abstract: A method includes receiving stateful code that is called from a first location and executed at a second location. The method includes acquiring contextual information associated with the stateful code. The method includes determining a location for storage of state information based on the contextual information. The method includes, based on the determined location, transforming the stateful code into stateless code. The transforming includes storing state information for the stateful code into storage at the determined location. In response to the determined location being the first location, the stateless code includes: retrieving the state information from the storage; from the first location, sending a call to the second location; at the first location, receiving a response from the second location; and storing the new state information into the storage at the first location. One argument of the call includes the retrieved state information. One return value includes new state information.

Abstract: This disclosure provides a computer-implemented method for debugging a program including a SQL statement. The method comprises indicating one or more first positions of source code of the program. Each of the one or more first positions corresponds to a fragment of the SQL statement at which a breakpoint can be set. The method further comprises receiving an input of setting breakpoint at one of the one or more first positions. The method further comprises presenting an execution context generated in response to execution of the program reaching a breakpoint set based on the input.

Abstract: It is often desired to add or change the functionality of an existing executable, also known as binary. Simply splicing in new machine code into the binary will not work due to host system-specific and platform-specific limitations. The present invention will enable adding any new code to an existing program while overcoming the aforementioned consistency limitations and maintaining the original functionality.

Abstract: A system includes a policy manger that includes a policy to describe policy attributes of an application that define whether the application can be deployed as a container server or as a non-container server. An application analyzer analyzes a given application with respect to the policy attributes to classify the given application as a container model or a non-container model. A deployment controller generates a corresponding container server for the given application if the given application is classified as a container model or generates a corresponding non-container server for the given application if the given application is classified as a non-container model.

Abstract: Methods of compiling source code are provided. A method includes identifying a first array of structures (AOS), having a plurality of array elements, each array element being a structure with a plurality of fields, and performing structure peeling on the first AOS to convert a data layout of the first AOS to an array of structure of arrays (AOSOA) including a plurality of memory blocks of uniform block size. At least one of the plurality of memory blocks is allocated for each field of the plurality of fields. The method further includes allocating a number of complete memory blocks to accommodate all of the plurality of array elements of the AOS.

Abstract: A generator system includes at least one generator, at least one generator controller, and a power bus. The power bus transmits power to a load circuit. Data communications are also transmitted by the power bus. In one example, multiple generator controllers exchange messages over the power bus. In another example, one or more generator controllers exchange messages with a central controller over the power bus. The messages may include a status for the generators, output values for the generators, or commands for the generators.

Abstract: Embodiments of the invention are directed to techniques for redirecting data streams from a production environment to validate non-production software code. In some embodiments, a front-end computer executing a first version of software can receive a request message from a requesting computer, generate a request payload using the request message, transmit the request payload to a processor computer, receive a response payload from the processor computer, generate a reply message using the response payload, and provide, to a validation computer that is executing a second version of the software, the request message, the request payload, and the response payload. The validation computer can generate a modified request payload using the request message and a modified reply message using the response payload. To detect potential errors in the second version, the modified request payload is compared with the request payload and the modified reply message is compare with the reply message.

Abstract: A drill guidance device, a method to control a trajectory of a drill, and a non-transitory computer readable medium that determine the corrected drill angle and send an output signal to a drill controller configured to control an angle of a drill. The corrected drill angle is determined by at least one of a slant angle data and a formation property data received from a sensor device. The drill guidance device, the method to control a trajectory of a drill, and the non-transitory computer readable medium can be implemented in a measuring while drilling model to provide live guidance during a drilling operation or a predictive model to plan prior to the start of a drilling operation. The corrected drill angle is acted upon by a drill controller to maximize the productivity of an oil reservoir.

Abstract: A temperature control method is provided for controlling a plasma processing apparatus that is capable of changing a temperature setting for each step of a plasma process including multiple steps. The method includes a transfer step of performing an entry process for transferring a workpiece into a processing chamber of the plasma processing apparatus and/or an exit process for transferring the workpiece out of the processing chamber, a process execution step of executing the plasma process including multiple steps, and a temperature control step of performing a first temperature control and/or a second temperature control. The first temperature control includes controlling a temperature to a temperature setting of a next process according to a time execution of the plasma process is completed, and the second temperature control includes controlling the temperature to the temperature setting of the next process in parallel with the entry process and/or the exit process.

Abstract: In one embodiment of the present invention, a print orientation tool efficiently determines an orientation of a three-dimensional (3D) model such that, when 3D printed, the structural integrity of the resulting 3D object is optimized. In operation, the print orientation tool configures a stress analysis engine to slice the 3D model into two-dimensional (2D) cross-sections. The stress analysis engine then compute structural stresses associated with the 2D cross-sections. The print orientation tool translates the structural stresses to weakness metrics. Subsequently, the print orientation tool evaluates the orientations of the cross-sections in conjunction with the corresponding weakness metrics to select a printing orientation that minimizes weaknesses in the 3D model. Advantageously, by aligning the 3D model to the print bed based on the optimized printing orientation, the user mitigates weaknesses in the corresponding 3D object attributable to the 3D printing manufacturing process.

Abstract: A device may receive test plan information, associated with a test plan for performing a test of an application, including information associated with a use case for which the application is to be tested. The device may obtain a test plan inspection model, associated with analyzing the test plan, including test plan rules. A test plan rule, of the test plan rules, may be associated with a condition for identifying a crowd-sourcing issue associated with implementing the test plan using crowd-sourced testing. The device may determine, based on the test plan information and the test plan rule, whether the condition is satisfied. The device may identify, based on whether the condition is satisfied, the crowd-sourcing issue as being associated with the test plan. The device may generate a recommendation associated with the crowd-sourcing issue. The device may provide information associated with the crowd-sourcing issue or information associated with the recommendation.

Abstract: Implementations generally relate to managing module dependencies. In some implementations, a method includes determining, at a server, dependencies associated with each software module of a process. The method further includes aggregating the dependencies associated with the software modules. The method further includes storing the aggregated dependencies in one or more configuration files, where the configuration file includes one or more dependency paths associated with each of the dependencies. The method further includes updating one or more of the dependency paths in the configuration files based on one or more changes to one or more of the dependency paths.