| 9459979 |
Detection of hardware errors using redundant transactions for system test |
Harold W. Cain, III, David M. Daly, Michael C. Huang, Jose E. Moreira, Mauricio J. Serrano |
2016-10-04 |
| 9400700 |
Optimized system for analytics (graphs and sparse matrices) operations |
William P. Horn, Joefon Jann, Manoj Kumar, Jose E. Moreira, Pratap C. Pattnaik +3 more |
2016-07-26 |
| 9304835 |
Optimized system for analytics (graphs and sparse matrices) operations |
William P. Horn, Joefon Jann, Manoj Kumar, Jose E. Moreira, Pratap C. Pattnaik +3 more |
2016-04-05 |
| 9304863 |
Transactions for checkpointing and reverse execution |
Harold W. Cain, III, David M. Daly, Jose E. Moreira, Mauricio J. Serrano |
2016-04-05 |
| 9251014 |
Redundant transactions for detection of timing sensitive errors |
Harold W. Cain, III, David M. Daly, Michael C. Huang, Jose E. Moreira, Mauricio J. Serrano |
2016-02-02 |
