| |
|
Inventor: Qadeer; Shaz
Address: San Francisco, CA
No. of patents: 1
Patents:
| Patent Number |
Title Of Patent |
Date Issued |
| 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 |
|
|
|
