Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method and apparatus for expressing and checking relationships between types

Method and apparatus for expressing and checking relationships between types

US Patent 8225294 · Granted Jul 17, 2012

Estimated economic value: $31,820,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Critical section speedup using help-enabled locks2025
Critical section speedup using help-enabled locks2024
Critical section speedup using help-enabled locks2021
Adaptive techniques for improving performance of hardware transactions on multi-2018
System and method for implementing constrained data-driven parallelism2017
Transactional execution of native methods2017
System and method for implementing reader-writer locks using hardware transactio2017
Synchronization between concurrent notifier and waiter transactions using transa2016
System and method for implementing reader-writer locks using hardware transactio2016
Obstruction-free data structures and mechanisms with separable and/or substituta2016
Efficient non-blocking K-compare-single-swap operation2015
Obstruction-free data structures and mechanisms with separable and/or substituta2015