| 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 |
