| 9329971 |
Performance analysis system for analyzing inter-thread communications to enhance performance in multithreaded system |
Andre Heilper, Javier Merino Cacho |
2016-05-03 |
| 9087150 |
Performance analysis system for analyzing inter-thread communications to enhance performance in multithreaded system |
Andre Heilper, Javier Merino |
2015-07-21 |
| 8340942 |
Identifying opportunities to improve multiprocess system performance |
Andre Heilper |
2012-12-25 |
| 7712081 |
Using code motion and write and read delays to increase the probability of bug detection in concurrent systems |
Eitan Farchi, Shmuel Ur |
2010-05-04 |
| 7574697 |
Testing parallel applications using code instrumentation |
Eitan Farchi, Yarden Nir, Shmuel Ur |
2009-08-11 |
| 7453910 |
Synchronization of independent clocks |
Yuval Harel, Andre Heilper |
2008-11-18 |
| 7412692 |
Determining minimal sets of bug solutions for a computer program |
Shay Bushinsky, Eitan Farchi, Shmuel Ur |
2008-08-12 |
| 6925638 |
Mutability analysis in Java |
Larry Koved, Bilha Mendelson, Sara Porat |
2005-08-02 |
