P

Inventor

TZOREF RACHEL

IL11 patents
⚠️ This page may combine multiple inventors who share the name “TZOREF RACHEL”. Patents are grouped by organization below to help distinguish them — per-person disambiguation is on the roadmap.

IBM

3 patents
US8356287B2Jan 15, 2013

Device, system and method of debugging computer programs

IBM15 citations83
US7835898B2Nov 16, 2010

Satisfiability (SAT) based bounded model checkers

IBM5 citations70
US7783806B2Aug 24, 2010

Deadlock prevention in a computing environment

IBM4 citations61

TZOREF RACHEL

2 patents
US8612952B2Dec 17, 2013

Performance optimization based on data accesses during critical sections

TZOREF RACHEL5 citations67
US9600347B2Mar 21, 2017

Verifying synchronization coverage in logic code

TZOREF RACHEL0 citations36

TRAININ EHUD

2 patents
US8561030B2Oct 15, 2013

Synchronization coverage in logic code

TRAININ EHUD2 citations58
US8561031B2Oct 15, 2013

Synchronization coverage in logic code

TRAININ EHUD2 citations58

GEIST DANIEL

2 patents
US8108195B2Jan 31, 2012

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL2 citations57
US8489380B2Jul 16, 2013

Satisfiability (SAT) based bounded model checkers

GEIST DANIEL0 citations44

NIR-BUCHBINDER YARDEN

1 patent
US8479166B2Jul 2, 2013

Detecting locking discipline violations on shared resources

NIR-BUCHBINDER YARDEN17 citations81

GOLDSTEIN MAAYAN

1 patent
US8593946B2Nov 26, 2013

Congestion control using application slowdown

GOLDSTEIN MAAYAN4 citations56