Issued Patents All Time
Showing 1–14 of 14 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7971166 | Method, system, and program product for automated verification of gating logic using formal verification | Gary A. Van Huben | 2011-06-28 |
| 7661050 | Method and system for formal verification of partial good self test fencing structures | Gary Van Huben | 2010-02-09 |
| 7448008 | Method, system, and program product for automated verification of gating logic using formal verification | Gary A. Van Huben | 2008-11-04 |
| 7111130 | Coherency management for a “switchless” distributed shared memory computer system | Michael A. Blake, Pak-kin Mak, Gary A. VanHuben | 2006-09-19 |
| 7085898 | Coherency management for a “switchless” distributed shared memory computer system | Michael A. Blake, Pak-kin Mak, Gary A. VanHuben | 2006-08-01 |
| 6988173 | Bus protocol for a switchless distributed shared memory computer system | Michael A. Blake, Steven M. German, Pak-kin Mak, Gary A. Van Huben | 2006-01-17 |
| 6738872 | Clustered computer system with deadlock avoidance | Gary A. Van Huben, Michael A. Blake, Pak-kin Mak | 2004-05-18 |
| 6738871 | Method for deadlock avoidance in a cluster environment | Gary A. Van Huben, Michael A. Blake, Pak-kin Mak | 2004-05-18 |
| 5862360 | System resource enable apparatus with wake-up feature | Patrick J. Meaney | 1999-01-19 |
| 5715472 | System resource enable method | Patrick J. Meaney | 1998-02-03 |
| 5710933 | System resource enable apparatus | Patrick J. Meaney | 1998-01-20 |
| 5710936 | System resource conflict resolution method | Patrick J. Meaney | 1998-01-20 |
| 5692209 | System resource conflict resolution apparatus | Patrick J. Meaney | 1997-11-25 |
| 4564944 | Error correcting scheme | Richard F. Arnold, John Cocke, Don Coppersmith, Gary E. Strait | 1986-01-14 |