Patent classifications
G06F8/30
SYSTEM PERFORMANCE LOGGING OF COMPLEX REMOTE QUERY PROCESSOR QUERY OPERATIONS
Described are methods, systems and computer readable media for performance logging of complex query operations.
Cloud Assisted Behavioral Automated Testing
A computer readable storage medium, system and method for improving automated testing systems to include a first and second behavioral data. The first behavioral data is collected periodically and the second behavioral data is collected in real time. The receipt of the first behavioral data and a second behavioral data are followed by the receipt of a system configuration template. A test case is updated based on the first and second behavioral data, and an automated test environment is reconfigured based on the first behavioral data, second behavioral data, and the system configuration template. The test executes in the automated test environment producing a test result.
Systems and methods for a code generation tool for software development systems
Systems and methods for code generation are described. The method may include accessing an application programming interface (API) specification written in a first computer programming language. The method may also include processing the API specification in the first computer programming language with a code generation tool. Furthermore, the method may include generating, from the API specification, code in each of a plurality of different computer programming languages different from the first computer programming language and different from each other.
METHODS AND APPARATUS TO ELIMINATE PARTIAL-REDUNDANT VECTOR LOADS
Methods, apparatus, systems and articles of manufacture are disclosed to eliminate partial-redundant vector load operations. An example apparatus includes a node grouper to associate a vector operation with a node group, a candidate verifier to perform a dependencies test on a subset of the node group, and identify a subset of the node group as a candidate when the subset satisfies the dependencies test, and a code optimizer to determine replacement code based on a characteristic of the candidate in the node group and compare an estimated cost associated with executing the replacement code to a threshold. The example apparatus also includes a code generator to generate machine code using the replacement code when the estimated cost of executing the replacement code satisfies the threshold.
Distributed automated synthesis of correct-by-construction controllers
A method includes: receiving a mathematical model of a control system, with state variables and control parameters; discretizing at least a part of a space to obtain a set of tuples; determining for each tuple at least one successor state; obtaining an initial winning set of tuples; determining an updated winning set of tuples, including comparing the at least one successor state with the initial winning set of tuples, where the comparison is distributed over available processing elements by choosing one processing element from the available processing elements for each tuple to perform the comparison and where the available processing elements are used simultaneously at least in part; repeating the determination of the updated winning set of tuples to obtain a new updated winning set of tuples if a convergence measure does not meet a criterion, and constructing a controller for the control system from the new updated winning set.
Distributed automated synthesis of correct-by-construction controllers
A method includes: receiving a mathematical model of a control system, with state variables and control parameters; discretizing at least a part of a space to obtain a set of tuples; determining for each tuple at least one successor state; obtaining an initial winning set of tuples; determining an updated winning set of tuples, including comparing the at least one successor state with the initial winning set of tuples, where the comparison is distributed over available processing elements by choosing one processing element from the available processing elements for each tuple to perform the comparison and where the available processing elements are used simultaneously at least in part; repeating the determination of the updated winning set of tuples to obtain a new updated winning set of tuples if a convergence measure does not meet a criterion, and constructing a controller for the control system from the new updated winning set.
COMPUTER DATA SYSTEM DATA SOURCE REFRESHING USING AN UPDATE PROPAGATION GRAPH
Described are methods, systems and computer readable media for data source refreshing.
Application Code Hiding Apparatus by Modifying Code in Memory and Method of Hiding Application Code Using the Same
An application code hiding apparatus includes a secret code dividing part, a secret code caller generating part, a code analyzing part, a dummy code generating part, a code encrypting part, a code disposing part, a code decryptor generating part, a disposed code importer generating part, a code loader generating part, a memory inner code modifier generating part and a decrypted code caller generating part.
DEVELOPMENT PLATFORM FOR MULTI-WIRELESS TRANSMISSION CAPABILITIES
The disclosure is directed at a method and apparatus for product development. Many companies are trying to enter markets with new wireless products or by adding wireless connectivity to their existing products. Some of these companies develop the need to build customized hardware that meets specific requirements depending on the application. The system and method of the disclosure provides quicker hardware development cycles to create opportunities to bring products to market faster.
FIELD PROGRAMMABLE BLOCK SYSTEM DELIVERING CONTEXT-AWARE SERVICES IN RESOURCE-CHALLENGED ENVIRONMENTS
The programmable communication system supports communication between both user devices message broker server(s) using a processor-based programmable modular block device implementing an execution engine and programmed to communicate with other processors through a message broker server using a predefined communication protocol. The block device includes a device port for coupling to sensor(s) and actuator(s), and a communication port to communicate with other processors using said predefined communication protocol. An editor program discovers and acquires information about the block device and about other devices in communication with the block device directly or via a message broker. The editor generates and downloads to the block device a rules-based program based on the acquired information. The block device uses the execution engine to execute the program and thereby obtain information through the ports and provide information and control signals.