Issued Patents 2004
Showing 1–2 of 2 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 6795878 | Verifying cumulative ordering of memory instructions | Aaron C. Brown, Steven Farago, Robert James Ramirez | 2004-09-21 |
| 6785773 | Verification of global coherence in a multi-node NUMA system | Steven Farago, Liang-Haw Leu, Lawrence Allyn McConville | 2004-08-31 |