Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Automatic verification of determinism for parallel programs

Automatic verification of determinism for parallel programs

US Patent 9069893 · Granted Jun 30, 2015

Estimated economic value: $3,617,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Near real-time analytics using structures representing data distributions2025
Real-time reporting based on instrumentation of software2025
Similarity of binaries2021
Textual query editor for graph databases that performs semantic analysis using e2020
Similarity of binaries2019
Code searching and ranking2019
In-memory graph pattern matching2018
Searching and ranking of code in videos2017
Methods for single-owner multi-consumer work queues for repeatable tasks2017
Speculative prefetching of remote data2016
Speculative prefetching of remote data2016
Methods for single-owner multi-consumer work queues for repeatable tasks2015