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