Issued Patents All Time
Showing 25 most recent of 29 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10699049 | System design using accurate performance models | — | 2020-06-30 |
| 10331829 | System design using accurate performance models | — | 2019-06-25 |
| 9696379 | Three-dimensional processing system having at least one layer with circuitry dedicated to scan testing and system state checkpointing of other system layers | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2017-07-04 |
| 9569402 | 3-D stacked multiprocessor structure with vertically aligned identical layout operating processors in independent mode or in sharing mode running faster components | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2017-02-14 |
| 9471535 | 3-D stacked multiprocessor structures and methods for multimodal operation of same | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-10-18 |
| 9442884 | 3-D stacked multiprocessor structures and methods for multimodal operation of same | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-09-13 |
| 9389876 | Three-dimensional processing system having independent calibration and statistical collection layer | Philip G. Emma, Allan M. Hartstein, Michael B. Healy, Alper Buyuktosunoglu | 2016-07-12 |
| 9383411 | Three-dimensional processing system having at least one layer with circuitry dedicated to scan testing and system state checkpointing of other system layers | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-07-05 |
| 9336144 | Three-dimensional processing system having multiple caches that can be partitioned, conjoined, and managed according to more than one set of rules and/or configurations | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-05-10 |
| 9298672 | 3-D stacked multiprocessor structure with vertically aligned identical layout operating processors in independent mode or in sharing mode running faster components | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-03-29 |
| 9257152 | Memory architectures having wiring structures that enable different access patterns in multiple dimensions | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2016-02-09 |
| 9195630 | Three-dimensional computer processor systems having multiple local power and cooling layers and a global interconnection structure | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2015-11-24 |
| 9190118 | Memory architectures having wiring structures that enable different access patterns in multiple dimensions | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2015-11-17 |
| 9063807 | Method and structure for provably fair random number generator | Brian Chan Monwai, Viresh Paruthi | 2015-06-23 |
| 8997030 | Enhanced case-splitting based property checking | Hari Mony | 2015-03-31 |
| 8978001 | Enhanced case-splitting based property checking | Hari Mony | 2015-03-10 |
| 8826073 | 3-D stacked multiprocessor structures and methods to enable reliable operation of processors at speeds above specified limits | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2014-09-02 |
| 8799710 | 3-D stacked multiprocessor structures and methods to enable reliable operation of processors at speeds above specified limits | Alper Buyuktosunoglu, Philip G. Emma, Allan M. Hartstein, Michael B. Healy | 2014-08-05 |
| 8312071 | Method and structure for provably fair random number generator | Brian Chan Monwai, Viresh Paruthi | 2012-11-13 |
| 8301870 | Method and apparatus for fast synchronization and out-of-order execution of instructions in a meta-program based computing system | — | 2012-10-30 |
| 7836256 | Method and apparatus for application-specific dynamic cache placement | Rajiv Alazhath Ravindran, Zehra N. Sura | 2010-11-16 |
| 7752369 | Bounded starvation checking of an arbiter using formal verification | Brian Chan Monwai, Viresh Paruthi | 2010-07-06 |
| 7711929 | Method and system for tracking instruction dependency in an out-of-order processor | William E. Burky | 2010-05-04 |
| 7665070 | Method and apparatus for a computing system using meta program representation | — | 2010-02-16 |
| 7660971 | Method and system for dependency tracking and flush recovery for an out-of-order microprocessor | Vikas Agarwal, William E. Burky, Balaram Sinharoy | 2010-02-09 |