Issued Patents All Time
Showing 1–10 of 10 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9151724 | Method and capacitive sensor for counting aerosol nanoparticles | Maja Remskar, Ivan Iskra, Marko Virsek, Damjan Golob | 2015-10-06 |
| 8799882 | Compiler support for optimizing decomposed software transactional memory operations | David Tarditi, Timothy L. Harris, Avraham E. Shinnar | 2014-08-05 |
| 8352711 | Coordinating chores in a multiprocessing environment using a compiler generated exception table | Eric D. Tribble, Christopher W. Brumme | 2013-01-08 |
| 7861237 | Reducing unnecessary software transactional memory operations on newly-allocated data | David Tarditi | 2010-12-28 |
| 7810085 | Removal of unnecessary read-to-update upgrades in software transactional memory | Avraham E. Shinnar, Timothy L. Harris, David Tarditi | 2010-10-05 |
| 7788652 | Representing type information in a compiler and programming tools framework | David Tarditi | 2010-08-31 |
| 7707566 | Software development infrastructure | Vinod Grover, Charles Mitchell, David Gillies, Mark Roberts, David Tarditi +4 more | 2010-04-27 |
| 7685581 | Type system for representing and checking consistency of heterogeneous program components during the process of compilation | David Tarditi | 2010-03-23 |
| 7590806 | Filtering of transactional memory operations using associative tables | Timothy L. Harris | 2009-09-15 |
| 7086041 | Extensible type system for representing and checking consistency of program components during the process of compilation | David Tarditi | 2006-08-01 |