| 11301397 |
Multiple processor computing device with configurable electrical connectivity to peripherals |
Igor Smolyar |
2022-04-12 |
| 11068422 |
Software-controlled interrupts for I/O devices |
Amy Tai, Igor Smolyar, Michael Wei, Nadav Amit |
2021-07-20 |
| 10878085 |
Compilation-time checks to secure processes from speculative rogue cache loads |
Michael Wei, Nadav Amit |
2020-12-29 |
| 10824717 |
Dynamic binary translation to secure processes from speculative rogue cache loads |
Michael Wei, Nadav Amit |
2020-11-03 |
| 10713353 |
Separate cores to secure processes from speculative rogue cache loads |
Michael Wei, Nadav Amit |
2020-07-14 |
| 10599835 |
32-bit address space containment to secure processes from speculative rogue cache loads |
Nadav Amit, Michael Wei |
2020-03-24 |
| 10379751 |
Memory swapper for virtualized environments |
Assaf Schuster, Nadav Amit |
2019-08-13 |
| 9811268 |
Memory swapper for virtualized environments |
Assaf Schuster, Nadav Amit |
2017-11-07 |
| 9535802 |
Management and recovery of distributed storage of replicas |
Eitan Rosenfeld |
2017-01-03 |
| 9195550 |
Method for guaranteeing program correctness using fine-grained hardware speculative execution |
Robert W. Wisniewski |
2015-11-24 |
| 8261283 |
System and method for backfilling with system-generated predictions rather than user runtime estimates |
Yoav Etsion, Dror Feitelson, David Talby |
2012-09-04 |
