Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Method for guaranteeing program correctness using fine-grained hardware speculative execution

Method for guaranteeing program correctness using fine-grained hardware speculative execution

US Patent 9195550 · Granted Nov 24, 2015

Estimated economic value: $3,572,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Introducing selective energy efficiency in a virtual environment2022
Multiple processor computing device with configurable electrical connectivity to2022
Software-controlled interrupts for I/O devices2021
Compilation-time checks to secure processes from speculative rogue cache loads2020
Dynamic binary translation to secure processes from speculative rogue cache load2020
Separate cores to secure processes from speculative rogue cache loads2020
32-bit address space containment to secure processes from speculative rogue cach2020
Introducing selective energy efficiency in a virtual environment2019
Memory swapper for virtualized environments2019
Method and apparatus for a hierarchical synchronization barrier in a multi-node 2018
Multi-petascale highly efficient parallel supercomputer2018
Memory swapper for virtualized environments2017