| 12201845 |
Anchor system for retaining a device in tissue |
Elmar Fischer, Robert Gaffney, Varghese George, Kyle Horlen, Mir Imran +1 more |
2025-01-21 |
| 12151098 |
Anchor system for retaining a device in tissue |
Paul R. Spehr, Katherine PITTS, Isabell PINA, Kenneth R. COSGROVE |
2024-11-26 |
| 7555711 |
Generating a text layout boundary from a text block in an electronic document |
Hui Chao, Xiaofan Lin |
2009-06-30 |
| 7036115 |
Code generation by matching and satisfiability search |
— |
2006-04-25 |
| 6553362 |
Case-reduced verification condition generation system and method using weakest precondition operator expressed using strongest postcondition operators |
James B. Saxe, David L. Detlefs |
2003-04-22 |
| 6349296 |
Method for clustering closely resembling data objects |
Andrei Broder, Steven C. Glassman, Mark Manasse, Geoffrey G. Zweig |
2002-02-19 |
| 6343376 |
System and method for program verification and optimization |
James B. Saxe, David L. Detlefs |
2002-01-29 |
| 6230155 |
Method for determining the resemining the resemblance of documents |
Andrei Broder |
2001-05-08 |
| 6119124 |
Method for clustering closely resembling data objects |
Andrei Broder, Steven C. Glassman, Mark Manasse, Geoffrey G. Zweig |
2000-09-12 |
| 6009269 |
Detecting concurrency errors in multi-threaded programs |
Michael Burrows, Stefan Savage, Patrick Sobalvarro |
1999-12-28 |
| 5909677 |
Method for determining the resemblance of documents |
Andrei Broder |
1999-06-01 |
| 5446901 |
Fault tolerant distributed garbage collection system and method for collecting network objects |
Susan S. Owicki, Andrew Birrell, Edward P. Wobber |
1995-08-29 |