Issued Patents All Time
Showing 1–21 of 21 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7802249 | Techniques for implementing pluggable virtual machines | Sheng Liang | 2010-09-21 |
| 7444648 | Fully lazy linking with module-by-module verification | Gilad Bracha, Sheng Liang | 2008-10-28 |
| 7051343 | Module-by-module verification | Gilad Bracha, Sheng Liang | 2006-05-23 |
| 6766521 | Dataflow algorithm for symbolic computation of lowest upper bound type | Gilad Bracha, Sheng Liang | 2004-07-20 |
| 6763397 | Fully lazy linking | Gilad Bracha, Sheng Liang | 2004-07-13 |
| 6742006 | Method and apparatus for selective execution of a computer program | William J. Raduchel, Glenn C. Scott | 2004-05-25 |
| 6651080 | Techniques for implementing pluggable virtual machines | Sheng Liang | 2003-11-18 |
| 6618769 | Module-by-module verification | Gilad Bracha, Sheng Liang | 2003-09-09 |
| 6618855 | Caching untrusted modules for module-by-module verification | Gilad Bracha, Sheng Liang | 2003-09-09 |
| 6601114 | Fully lazy linking with module-by-module verification | Gilad Bracha, Sheng Liang | 2003-07-29 |
| 6510437 | Method and apparatus for concurrent thread synchronization | Lars Bak | 2003-01-21 |
| 6418444 | Method and apparatus for selective excution of a computer program | William J. Raduchel, Glenn C. Scott | 2002-07-09 |
| 6345313 | Recovery of synchronization constructs | — | 2002-02-05 |
| 6167424 | Method and apparatus for concurrent thread synchronization | Lars Bak | 2000-12-26 |
| 6108754 | Thread-local synchronization construct cache | — | 2000-08-22 |
| 5875461 | Method of synchronizing one of the objects with one of the threads at a time | — | 1999-02-23 |
| 5859982 | Computer system and method for executing methods of downloaded programs with reduced run-time memory space requirements | — | 1999-01-12 |
| 5797004 | System and method for caching and allocating thread synchronization constructs | Jonathan Payne | 1998-08-18 |
| 5794049 | Computer system and method for executing architecture specific code with reduced run-time memory space requirements | — | 1998-08-11 |
| 5765157 | Computer system and method for executing threads of execution with reduced run-time memory space requirements | William N. Joy | 1998-06-09 |
| 5504568 | Print sequence scheduling system for duplex printing apparatus | Vijay A. Saraswat, Daniel G. Bobrow, Markus P. J. Fromherz, Pierre C. Berlandier, John H. Conley | 1996-04-02 |