Issued Patents All Time
Showing 51–68 of 68 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7895400 | Hybrid cache coherence using fine-grained hardware message passing | Pranay Koka, Robert Kroeger | 2011-02-22 |
| 7865084 | Multi-chip systems with optical bypass | Ashok V. Krishnamoorthy, Ronald Ho, Ilya Sharapov, John E. Cunningham | 2011-01-04 |
| 7856421 | Maintaining memory checkpoints across a cluster of computing nodes | Darpan Dinker, Michael J. Koster | 2010-12-21 |
| 7823013 | Hardware data race detection in HPCS codes | Roy Stuart Moore, Pranay Koka, Robert Kroeger | 2010-10-26 |
| 7698509 | Snooping-based cache-coherence filter for a point-to-point connected multiprocessing node | Michael J. Koster, Christopher L. Johnson | 2010-04-13 |
| 7562190 | Cache protocol enhancements in a proximity communication-based off-chip cache memory architecture | Michael J. Koster | 2009-07-14 |
| 7496712 | Proximity communication-based off-chip cache memory architectures | Michael J. Koster | 2009-02-24 |
| 7444473 | Speculative memory accesses in a proximity communication-based off-chip cache memory architecture | Michael J. Koster | 2008-10-28 |
| 7315919 | Bandwidth reduction technique in a snooping-based cache-coherent cluster of multiprocessing nodes | Michael J. Koster | 2008-01-01 |
| 7213106 | Conservative shadow cache support in a point-to-point connected multiprocessing node | Michael J. Koster | 2007-05-01 |
| 7174430 | Bandwidth reduction technique using cache-to-cache transfer prediction in a snooping-based cache-coherent cluster of multiprocessing nodes | Michael J. Koster | 2007-02-06 |
| 7103517 | Experimental design and statistical modeling tool for workload characterization | Ilya Gluhovsky | 2006-09-05 |
| 7054874 | Modeling overlapping of memory references in a queueing system model | Ilya Gluhovsky | 2006-05-30 |
| 6285974 | Hardware verification tool for multiprocessors | Sriram Mandyam, Ramanathan Raghavan, Robert James Ramirez, Miwako Tokugawa | 2001-09-04 |
| 6021261 | Method and system for testing a multiprocessor data processing system utilizing a plurality of event tracers | Archie D. Barrett, Jr., Sriram Mandyam, Brett Adam St. Onge, Robert James Ramirez | 2000-02-01 |
| 5928334 | Hardware verification tool for multiprocessors | Sriram Mandyam, Ramanathan Raghavan, Robert James Ramirez, Miwako Tokugawa | 1999-07-27 |
| 5740353 | Method and apparatus for creating a multiprocessor verification environment | Jeffrey Thomas Kreulen, Sriram Mandyam, Shahram Salamian, Ramanathan Raghavan | 1998-04-14 |
| 5692153 | Method and system for verifying execution order within a multiprocessor data processing system | Nadeem Malik, Avijit Saha, Shahram Salamian | 1997-11-25 |