| 11494414 |
Progressive query computation using streaming architectures |
Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more |
2022-11-08 |
| 10140358 |
Progressive query computation using streaming architectures |
Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more |
2018-11-27 |
| 9659280 |
Information sharing democratization for co-located group meetings |
Andrew Craig Bragdon, Ken Hinckley, Meredith June Morris |
2017-05-23 |
| 9607045 |
Progressive query computation using streaming architectures |
Danyel A. Fisher, Steven M. Drucker, Jonathan D. Goldstein, Badrish Chandramouli, John C. Platt +1 more |
2017-03-28 |
| D766055 |
Wrench |
Douglas W. Ford |
2016-09-13 |
| 9015674 |
Identifying execution paths that satisfy reachability queries |
Mike Barnett, Akash Lal, Shaz Qadeer |
2015-04-21 |
| 8740261 |
Fitting assembly |
Douglas W. Ford |
2014-06-03 |
| 8696902 |
High pressure connect fitting |
Douglas W. Ford |
2014-04-15 |
| 8656361 |
Debugging code visually on a canvas |
Andrew Craig Bragdon, Kael R. Rowan, Jens K. Jacobsen |
2014-02-18 |
| 8561015 |
Source code semantic zoom and spatial layout |
Kael R. Rowan |
2013-10-15 |
| 8453106 |
Graphical user interface for exploring source code execution behavior |
Jonathan de Halleux, Nikolai Tillmann |
2013-05-28 |
| 8307541 |
Assembly for placing an insert into communication with an analytical chemical instrument |
Douglas W. Ford |
2012-11-13 |
| 8201854 |
Hybrid ferrule |
Douglas W. Ford |
2012-06-19 |
| 7793259 |
System and method for managing user interaction data in a networked environment |
George G. Robertson, Mary P. Czerwinski |
2010-09-07 |
| 7739622 |
Dynamic thumbnails for document navigation |
Mary P. Czerwinski, Brian R. Meyers, Gina D. Venolia, Steven M. Drucker, George G. Robertson |
2010-06-15 |
| 7614035 |
Cartographic software maps |
— |
2009-11-03 |
| 7526755 |
Plug-in pre- and postconditions for static program analysis |
Manuel A. Fahndrich |
2009-04-28 |
| 7421680 |
Persisted specifications of method pre-and post-conditions for static checking |
Manuel A. Fahndrich |
2008-09-02 |
