| 9600347 |
Verifying synchronization coverage in logic code |
Eitan Farchi, Ehud Trainin, Aviad Zlotnick |
2017-03-21 |
| 8612952 |
Performance optimization based on data accesses during critical sections |
Moshe Klausner, Aharon Kupershtok, Yousef Shajrawi, Yaakov Yaari |
2013-12-17 |
| 8593946 |
Congestion control using application slowdown |
Maayan Goldstein, Onn Menahem Shehory, Shmuel Ur |
2013-11-26 |
| 8561031 |
Synchronization coverage in logic code |
Ehud Trainin, Aviad Zlotnick |
2013-10-15 |
| 8561030 |
Synchronization coverage in logic code |
Ehud Trainin, Aviad Zlotnick |
2013-10-15 |
| 8489380 |
Satisfiability (SAT) based bounded model checkers |
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovotz, Ohad Shacham |
2013-07-16 |
| 8479166 |
Detecting locking discipline violations on shared resources |
Yarden Nir-Buchbinder, Orna Raz-Pelleg, Shmuel Ur, Aviad Zlotnick |
2013-07-02 |
| 8356287 |
Device, system and method of debugging computer programs |
Shmuel Ur, Elad Yom-Tov |
2013-01-15 |
| 8108195 |
Satisfiability (SAT) based bounded model checkers |
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham |
2012-01-31 |
| 7835898 |
Satisfiability (SAT) based bounded model checkers |
Daniel Geist, Mark Ginzburg, Yoad Lustig, Ishai Rabinovitz, Ohad Shacham |
2010-11-16 |
| 7783806 |
Deadlock prevention in a computing environment |
Yarden Nir-Buchbinder, Shmuel Ur |
2010-08-24 |
