Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Asynchronous assertions

Asynchronous assertions

US Patent 8548966 · Granted Oct 1, 2013

Estimated economic value: $5,042,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Similarity of binaries2021
Similarity of binaries2019
Code searching and ranking2019
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
Automatic verification and synthesis for weak memory models2015
Automatic verification and synthesis for weak memory models2015
Abstraction-guided synthesis2015
Abstraction-guided synthesis2015