6 results about "Verified computing" patented technology

An adaptive redundancy-scheduling system for column-oriented neural-network compute arrays is disclosed. The system periodically verifies correctness of compute columns through concurrent redundant-column execution and adjusts test intervals and substitution thresholds in response to observed error statistics. Redundant columns are activated only when measured fault probability exceeds a programmable confidence level, maintaining yield and reliability with minimal performance impact. Verification tasks occur during non-critical compute intervals, and error history is retained for long-term reliability prediction.

Mechanisms are provided to perform intelligent compliance verification for monitored computing environments. The mechanisms train a first artificial intelligence (AI) computer model to generate rules from natural language content, to thereby generate a first trained AI computer model. The mechanisms train a second AI computer model to verify compliance of a monitored computing environment with rules generated by the first AI computer model, to thereby generate a second trained AI computer model. The mechanisms receive a regulation electronic document that comprises natural language content describing a regulation and determining compliance of a monitored computing environment based on a processing of the regulation electronic document by the first trained AI computer model to generate a rule corresponding to the regulation electronic document, and application of the generated rule by the second trained AI computer model to verify compliance of the monitored computing environment.

A method for verifying an application configured to execute on a client device. A challenge request is sent to the application. A candidate challenge response is received from the application in response to the challenge request and then provided as input to a verification computation along with a challenge input. Based on an output of the verification computation, it is determined that the candidate challenge response was generated by providing the challenge input to a challenge computation. Based on the determination that the candidate challenge response was generated by providing the challenge input to the challenge computation, the application is verified.

A method and system for linking media content. An example method includes a computing system obtaining a key term from a first media-content item. Further, the method includes the computing system identifying one or more candidate matches for the obtained key term. In addition, the method includes, for at least one identified candidate match, the computing system determining whether the candidate match is a match for the key term, with the determining including (i) determining a level of similarity between the first media-content item and one or more second media-content items associated with the candidate match and (ii) using a trained machine-learning model to validate the candidate match, based on at least the determined level of similarity and a set of features characteristic of matching. Still further, the method includes, based on the validating of the candidate match, the computing system establishing a link corresponding with the match.

There is provided a computer-implemented method for validating vocal audio recordings on a computing system, the method comprising the steps of: generating, using a first computational model, natural