Issued Patents All Time
Showing 25 most recent of 26 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10430400 | User controlled file synchronization limits | Paul Franklin Vernon, II, Timothy E. Beres | 2019-10-01 |
| 9946720 | Searching data files using a key map | Timothy E. Beres, Alan M. Frost | 2018-04-17 |
| 9900300 | Protection against unauthorized cloning of electronic devices | Alan M. Frost | 2018-02-20 |
| 9773118 | Data deduplication with encryption | Alan M. Frost | 2017-09-26 |
| 9641328 | Generation of public-private key pairs | Alan M. Frost | 2017-05-02 |
| 9489440 | Opportunistic, priority-based object synchronization | Adam D. Stritzel, John Brezak, Chin Hung Lam, Patrick Jakubowski, Ciprian Gociman +3 more | 2016-11-08 |
| 9202074 | Protection of shared data | Timothy E. Beres | 2015-12-01 |
| 8868833 | Processor and cache arrangement with selective caching between first-level and second-level caches | Jeffrey M. Mason | 2014-10-21 |
| 8839004 | Secure cloud computing infrastructure | Jeffrey M. Mason | 2014-09-16 |
| 8473880 | Synchronization of parallel memory accesses in a dataflow circuit | Prasanna Sundararajan | 2013-06-25 |
| 8473904 | Generation of cache architecture from a high-level language description | Prasanna Sundararajan, Robert Gwilym Dimond, Lauren B. Wenzl, Jeffrey M. Mason | 2013-06-25 |
| 8468510 | Optimization of cache architecture generated from a high-level language description | Prasanna Sundararajan, Andrew R. Putnam | 2013-06-18 |
| 8332597 | Synchronization of external memory accesses in a dataflow machine | — | 2012-12-11 |
| 7930662 | Methods for automatically generating fault mitigation strategies for electronic system designs | Prasanna Sundararajan, John D. Corbett, Jeffrey M. Mason | 2011-04-19 |
| 7917567 | Floating-point processing unit for successive floating-point operations | Jeffrey M. Mason | 2011-03-29 |
| 7823117 | Separating a high-level programming language program into hardware and software components | — | 2010-10-26 |
| 7817655 | Determining sizes of FIFO buffers between functional blocks in an electronic circuit | Jeffrey M. Mason | 2010-10-19 |
| 7315991 | Compiling HLL into massively pipelined systems | — | 2008-01-01 |
| 7310594 | Method and system for designing a multiprocessor | Satish R. Ganesan, Usha Prabhu, Sundararajarao Mohan, Ralph D. Wittig | 2007-12-18 |
| 6991101 | Device for labeling and storing computer discs | — | 2006-01-31 |
| 6817005 | Modular design method and system for programmable logic devices | Jeffrey M. Mason, Steve E. Lass, Bruce E. Talley | 2004-11-09 |
| 6794299 | Various methods of controlling conformal film deposition processes, and a system for accomplishing same | Richard J. Markle | 2004-09-21 |
| 6583645 | Field programmable optical arrays | Sundararajarao Mohan, Ralph D. Wittig | 2003-06-24 |
| 6539534 | Apparatus and method for automatically generating circuit designs that meet user output requirements | — | 2003-03-25 |
| 5659484 | Frequency driven layout and method for field programmable gate arrays | Eric F. Dellinger, Walter A. Manaker, Jr., Carl M. Stern, William R. Troxel, Jay T. Young | 1997-08-19 |