Abstract: A substrate processing apparatus includes a plurality of arms used for transferring a substrate, a plurality of processing sections for processing the substrate, a recipe storage section storing at least one recipe for designating at least one of the plurality of arms as a usable arm and at least one of the plurality of processing sections as a usable processing section and for specifying processing conditions in the usable processing section, and a control unit for, according to the at least one recipe, controlling the plurality of arms and the plurality of processing sections so that a substrate is transferred using the usable arm and is processed in the usable processing section under the processing conditions.

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.

Abstract: A method for generating machine code for driving an execution unit is introduced to incorporate with at least the following steps: Data access instructions of a kernel, which are associated with the same memory surface, are collected. An address pattern associated with the data access instructions is analyzed to generate a global-id address. Machine code containing the global-id address is generated.

Abstract: Methods and systems are described for controlling settings of an automation system, such as a home and/or business automation system. According to at least one embodiment, an apparatus for controlling settings of an automation system includes a processor, a memory in electronic communication with the processor, and instructions stored in the memory which are executable by a processor to receive instructions about an intended action by a user of the home automation system, continuously detect behavior of the user with the home automation system, determine whether the intended action has occurred based on the detected behavior, and adaptively update one or more settings of the home automation system when the intended action is determined to have occurred.

Abstract: A method for virtually calibrating a CNC machine including the steps of selecting a true axis of movement of a toolhead of the CNC machine, instructing the toolhead to travel along the true axis of movement, selecting multiple points along an actual axis traveled by the toolhead, comparing the distance of the multiple points along the actual axis from the true axis to determine offset amounts from the true axis corresponding to a lack of straightness, and modifying g-code instructions to compensate for the offset amounts before uploading the g-codes to a CNC controller.

Abstract: Systems, methods, and computer-readable media are disclosed for testing a software application. An exemplary method includes storing a control file identifying a test case for testing a software application. A first expected result may be extracted from a device storing expected results of the software application, the first expected result being identified by the control file. A first actual result may be extracted from a device storing actual results output by the software application, the first actual result being identified by the control file. The first expected result may be compared with the first actual result to determine whether the first actual result matches the first expected result. A result file indicating whether the test case passed or failed is generated, and the test case has passed when the first actual result matches the first expected result. The result file may be stored in a storage device.

Abstract: In a dynamic computing environment, it is a nontrivial task to verify code running in the environment because most approaches to software similarity require extensive and time-consuming analysis of a binary, or the approaches fail to recognize executables that are similar but nonidentical. A biosequence-based method for quantifying similarity of executable binaries is used to identify allowed codes in a real-world multi-user environment.

Abstract: Exemplary methods, apparatuses, and systems assign a plurality of branch instructions within a computer program to a plurality of prime numbers. Each branch instruction is assigned a unique prime number within the plurality of prime numbers. A run-time branch trace value is determined to be divisible, without a remainder, by a first prime number of the plurality of prime numbers. The run-time branch trace value was generated during execution of the computer program. An output is generated indicating that a first branch instruction assigned to the first prime number was executed.

Abstract: A method and system is provided for automated generation of the functional test cases for testing a software system. In an embodiment, the invention provides an expressive decision table (EDT), a requirement specification notation designed to reduce translation efforts. It implements a novel scalable row-guided random algorithm with fuzzing (RGRaF) (pronounced R-graph) to generate test cases. The invention also implements two new coverage criteria targeted at requirements and requirement interactions. The invention also provides fuzzing at time boundaries to achieve scalability. According to an embodiment, the invention also provides the feature of generating error in case the generated functional test case corresponds to system property violation of the software system. According to another embodiment, the system can also reject the functional test case if there is an improbable condition of the software system.

Abstract: A system for shifting energy demand from on-peak time windows to off-peak time windows by using hot water heater load shifting, while providing the end user with the level of service (i.e., availability of hot water) according to the user's customary use described by service quality criteria. The shift is accomplished by a controller located at the end user establishment and in communication with a central control server. The controller monitors local water heater temperature and controls heating elements in accordance with a demand shift process commanded by the central control server. The controller may determine usage and remaining capacity for reporting back to the central control server. A volumetric capacity and usage determination is disclosed. The control server may select water heaters according to use and/or capacity. Further embodiments may regulate load dependent properties of the power including voltage, phase and/or frequency.

Abstract: Processor hardware detects when memory aliasing occurs, and assures proper operation of the code even in the presence of memory aliasing. Because the hardware can detect and correct for memory aliasing, this allows a compiler to make optimizations such as register promotion even in regions of the code where memory aliasing can occur. The compiled code is then executed on the processor hardware, which detects memory aliasing at run-time and assures proper operation of the code even when memory aliasing occurs.

Abstract: Method and system are provided for automated system testing in a complex software environment. The method includes: collecting data during a test run of a product under test that involves multiple systems and resources where a test run introduces one or more product code change sets, the collected data including a product trace of the execution of the product under test at a product code level; and storing the last good collected data. Based on the test failing, comparing a current product trace with a last good product trace; determining a difference between the current and last good traces and identifying a failing product program referenced in the product trace; looking through the introduced product code change sets to determine if a code change is found for the failing program indicating that the error is likely to be in the code change set, and generating an appropriate defect prompt.

Abstract: A technique is provided for determining a similarity score between a source program and a test program. The technique includes generating an abstract syntax tree for both programs and converting the subtrees of each syntax tree into hash vectors. Vectors in the abstract syntax tree for the source program are dimension reduced and made accessible in a spatial data structure such as an R-tree. The structure is searched using the hash vectors from the test program abstract syntax tree and candidate matching vectors are found. A search is conducted among the candidate matching vectors for pairs that have a degree of similarity above a given threshold and these are the reported results.

Abstract: Extensions to a debugger are identified in a debugger database which is read automatically when the debugger loads. The debugger watches for trigger events in its execution environment and optionally for load conditions in a debuggee program's internal state. If a trigger event occurs and a load condition is met, then the debugger automatically loads an extension for use. Some extensions provide debugging routines that are specifically designed to support debugging of applications which use a specific programming model.

Abstract: A computer-implemented method for creating an object for data access is provided. The computer-implemented method includes defining a function-expression in source code using an object-oriented programming language. The defined function-expression is exposed in a graphical user interface of a development tool used to create the object. A selection of at least one field among a list of available fields for data access is received. The defined function-expression is included in the list of available fields. An integrated development environment is also provided.

Abstract: Provided are a method, system, and article of manufacture for specifying user defined or translator definitions to use to interpret mnemonics in a computer program. A mnemonic is processed in the computer program having a user defined definition and a translator definition. The mnemonic is interpreted according to the user defined definition in response to previously processing a mnemonic command specifying the mnemonic and the user defined definition. The mnemonic is interpreted according to the translator definition in response to previously processing a mnemonic command specifying the mnemonic and the translator definition.

Abstract: Systems and methods generate code from an executable model. The model may operate on variables having floating point data types. The systems and methods may unpack the sign, exponent, and mantissa components of the floating point variables, and interpret them as boolean, integer, or fixed-point data types. The systems and methods may include operators that operate on the extracted sign, exponent, and mantissa components, and that produce sign, exponent, and mantissa outputs having boolean, integer or fixed-point data types. The systems and methods may pack the sign, exponent, and mantissa components of the output into an integer and reinterpret the integer as a floating point data type. Having replaced the floating point data types with boolean, integer or fixed-point data types, the generated code may be suitable for programmable logic devices and/or microcontrollers that lack Floating Point Units (FPUs).

Abstract: A method for firmware debug trace capture includes creating a hand-off block (“HOB”), capturing first debug trace statements during a boot sequence of a computer and writing the first debug trace statements to the HOB. A trace memory buffer can be created and the first debug trace statements can be copied from the HOB to the trace memory buffer. Second debug trace statements are captured during the boot sequence and appended to the trace memory buffer. In some configurations, the first debug trace statements can be written to the HOB during the pre-Extensible Firmware Interface initialization (“PEI”) phase of the boot sequence and the second debug trace statements can be written to the trace memory buffer during the driver execution (“DXE”) phase of the boot sequence.

Abstract: A control device of a machine with a plurality of position-controlled axes controls the position-controlled axes in accordance with a part program while processing a system program. Through the control of the position-controlled axes, an end effector is moved along a track defined by the part program via at least one intermediate element relative to a base body of the machine under position control. While processing the system program, the control device checks before control of the position-controlled axes with a parameterizable model of the machine, whether the end effector can move along the track without collisions. Before checking the part program, the control device receives initial measured values characteristic of an actual configuration of the machine, determines parameters of the model based on the initial measured values and parameterizes the model in accordance with the determined parameters.

Abstract: Systems and methods for deploying development environments are described. A request to create a development environment is received from a user. The request is evaluated to identify a stored template appropriate for the requested development environment. An instruction sequence is then generated to create the requested development environment, based on the determined template. The instructions in the instruction sequence are transmitted to multiple virtual machine hosts. Upon successful creation of the development environment, a response is returned to the requesting user with access information for the development environment.