Patent Leaderboard
USPTO Patent Rankings Data through Dec 31, 2025
Home › Atomic program verification

Atomic program verification

US Patent 8793471 · Granted Jul 29, 2014

Estimated economic value: $2,012,000 ⓘ

Assignee

Inventors

View full patent text on Google Patents →

More Patents by These Inventors

Bonding multiple peripheral ports to a single virtual machine2025
Systems, methods, and apparatuses for making writes to persistent memory2025
Write protection using an immutable root of trust2025
System for live migration of virtual machines with assigned peripheral devices2024
Systems, methods, and apparatuses for making writes to persistent memory2024
Address validation using signatures2024
System for live migration of virtual machines with assigned peripheral devices2023
Address validation using signatures2023
System for live migration of virtual machines with assigned peripheral devices2022
Address validation using signatures2022
Safe oversubscription of connection tracking entries2021
Increasing granularity of dirty bit information in hardware assisted memory mana2021