| |
 |
Shaz Qadeer Patents |
|
Inventor: Qadeer; Shaz
Address: Seattle, WA
No. of patents: 2
Patents:
| Patent Number |
Title Of Patent |
Date Issued |
| 7316005 |
Data race detection using sequential program analysis |
January 1, 2008 |
| A concurrent program is analyzed for the presence of data races by the creation of a sequential program from the concurrent program. The sequential program contains assertions which can be verified by a sequential program analysis tool, and which, when violated, indicate the presence |
| 6892319 |
Method for verifying abstract memory models of shared memory multiprocessors |
May 10, 2005 |
| A method of verifying a protocol for a shared-memory multiprocessor system for sequential consistency. In the system there are n processors and m memory locations that are shared by the processors. A protocol automaton, such as a cache coherence protocol automaton, is developed. The prot |
|
|
|
