| 10176225 |
Data processing service |
Siddartha Naidu, Amit Agarwal, Michael Sheldon, Andrew Kadatch, Jordan Tigani |
2019-01-08 |
| 9916116 |
Memory access and detecting memory failures using dynamically replicated memory based on a replication policy |
Engin Ipek, Douglas C. Burger, Thomas Moscibroda, Edmund B. Nightingale |
2018-03-13 |
| 8996456 |
Data processing service |
Siddartha Naidu, Amit Agarwal, Michael Sheldon, Andrew Kadatch, Jordan Tigani |
2015-03-31 |
| 8984239 |
Hardware and operating system support for persistent memory on a memory bus |
Edmund B. Nightingale, Benjamin Lee, Engin Ipek, Christopher Frost, Douglas C. Burger |
2015-03-17 |
| 8918363 |
Data processing service |
Siddartha Naidu, Amit Agarwal, Michael Sheldon, Andrew Kadatch, Jordan Tigani |
2014-12-23 |
| 8813043 |
Unifying type checking and property checking for low level programs |
Shaz Qadeer, Shuvendu K. Lahiri |
2014-08-19 |
| 8543863 |
Efficiency of hardware memory access using dynamically replicated memory |
Engin Ipek, Thomas Moscibroda, Douglas C. Burger, Edmund B. Nightingale |
2013-09-24 |
| 8533404 |
Hardware and operating system support for persistent memory on a memory bus |
Edmund B. Nightingale, Benjamin Lee, Engin Ipek, Christopher Frost, Doug Burger |
2013-09-10 |
| 8386836 |
Managing memory faults |
Doug Burger, James R. Larus, Karin Strauss |
2013-02-26 |
| 8255742 |
Dynamically replicated memory |
Engin Ipek, Edmund B. Nightingale, Douglas C. Burger, Thomas Moscibroda |
2012-08-28 |
| 8219741 |
Hardware and operating system support for persistent memory on a memory bus |
Engin Ipek, Edmund B. Nightingale, Benjamin Lee, Christopher Frost, Doug Burger |
2012-07-10 |
| 8201024 |
Managing memory faults |
Doug Burger, James R. Larus, Karin Strauss |
2012-06-12 |
