Issued Patents All Time
Showing 1–17 of 17 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8805755 | Decomposable ranking for efficient precomputing | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Vishesh M. Parikh | 2014-08-12 |
| 8713024 | Efficient forward ranking in a search engine | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Chad Walters +2 more | 2014-04-29 |
| 8626781 | Priority hash index | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Hui Shen | 2014-01-07 |
| 8620907 | Matching funnel for large document index | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Chad Walters +1 more | 2013-12-31 |
| 8478704 | Decomposable ranking for efficient precomputing that selects preliminary ranking features comprising static ranking features and dynamic atom-isolated components | Knut Magne Risvik, Michael J. Hopcroft, John G. Bennett, Karthik Kalyanaraman, Vishesh M. Parikh | 2013-07-02 |
| 7962901 | Using dynamic analysis to improve model checking | Stephen McCamant | 2011-06-14 |
| 7912877 | Leveraging garbage collection to dynamically infer heap invariants | Ajeet Ganesh Shankar | 2011-03-22 |
| 7657876 | System and method for using data address sequences of a program in a software development tool | — | 2010-02-02 |
| 7343598 | Cache-conscious coallocation of hot data streams | Ran Shaham | 2008-03-11 |
| 7089389 | System and method for the discovery and use of repetitively accessed data | — | 2006-08-08 |
| 7073032 | System and method for the discovery and use repetitively accessed data | — | 2006-07-04 |
| 6971092 | System and method for analyzing data accesses of a trace from a computer-executable program to determine data access patterns | — | 2005-11-29 |
| 6934942 | System and method for using data address sequences of a program in a software development tool | — | 2005-08-23 |
| 6813693 | System and method for the discovery and use of repetitively accessed data | — | 2004-11-02 |
| 6360361 | Field reordering to optimize cache utilization | James R. Larus, Robert I. Davidson | 2002-03-19 |
| 6330556 | Data structure partitioning to optimize cache utilization | James R. Larus, Robert I. Davidson | 2001-12-11 |
| 6321240 | Data structure partitioning with garbage collection to optimize cache utilization | James R. Larus | 2001-11-20 |