| 9336066 |
Hybrid linear validation algorithm for software transactional memory (STM) systems |
Bratin Saha, Ali-Reza Adl-Tabatabai |
2016-05-10 |
| 9052947 |
Unified optimistic and pessimistic concurrency control for a software transactional memory (STM) system |
Ali-Reza Adl-Tabatabai, Moshe Maury Bach, Sion Berkowits, James H. Cownie, Yang Ni +3 more |
2015-06-09 |
| 8954986 |
Systems and methods for data-parallel processing |
Mohan Rajagopalan, Ali-Reza Adl-Tabatabai, Yang Ni, Richard L. Hudson |
2015-02-10 |
| 8627048 |
Mechanism for irrevocable transactions |
Bratin Saha, Ali-Reza Adl-Tabatabai |
2014-01-07 |
| 8195898 |
Hybrid transactions for low-overhead speculative parallelization |
Ali-Reza Adl-Tabatabai |
2012-06-05 |
| 8086827 |
Mechanism for irrevocable transactions |
Bratin Saha, Ali-Reza Adl-Tabatabai |
2011-12-27 |
| 7770157 |
System and method for improving virtual machine performance using an offline profile repository |
Matthew R. Arnold, Vadakkedathu T. Rajan |
2010-08-03 |
