| 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 |
