Issued Patents All Time
Showing 1–21 of 21 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12231141 | Analog-to-digital converter, signal conversion device, and signal conversion method | — | 2025-02-18 |
| 10193946 | Method for downloading multimedia file and electronic device | — | 2019-01-29 |
| 7802249 | Techniques for implementing pluggable virtual machines | Timothy G. Lindholm | 2010-09-21 |
| 7506317 | Method for enabling comprehensive profiling of garbage-collected memory systems | Steffen Grarup | 2009-03-17 |
| 7444648 | Fully lazy linking with module-by-module verification | Gilad Bracha, Timothy G. Lindholm | 2008-10-28 |
| 7310718 | Method for enabling comprehensive profiling of garbage-collected memory systems | Steffen Grarup | 2007-12-18 |
| 7197511 | Methods and apparatus for type safe, lazy, user-defined class loading | Gilad Bracha | 2007-03-27 |
| 7120572 | Memory efficient program pre-execution verifier and method | — | 2006-10-10 |
| 7051343 | Module-by-module verification | Gilad Bracha, Timothy G. Lindholm | 2006-05-23 |
| 6996707 | Method, system, and article of manufacture for limiting access to program files in a shared library file | David Connelly, Benjamin Renaud | 2006-02-07 |
| 6954922 | Method apparatus and article of manufacture for time profiling multi-threaded programs | — | 2005-10-11 |
| 6766521 | Dataflow algorithm for symbolic computation of lowest upper bound type | Gilad Bracha, Timothy G. Lindholm | 2004-07-20 |
| 6763397 | Fully lazy linking | Gilad Bracha, Timothy G. Lindholm | 2004-07-13 |
| 6754898 | Method and apparatus for converting a lightweight monitor to a heavyweight monitor | Hong Zhang | 2004-06-22 |
| 6691304 | Monitor conversion in a multi-threaded computer system | Hong Zhang, Lars Bak | 2004-02-10 |
| 6651080 | Techniques for implementing pluggable virtual machines | Timothy G. Lindholm | 2003-11-18 |
| 6618769 | Module-by-module verification | Gilad Bracha, Timothy G. Lindholm | 2003-09-09 |
| 6618855 | Caching untrusted modules for module-by-module verification | Timothy G. Lindholm, Gilad Bracha | 2003-09-09 |
| 6601114 | Fully lazy linking with module-by-module verification | Gilad Bracha, Timothy G. Lindholm | 2003-07-29 |
| 6430569 | Methods and apparatus for type safe, lazy, user-defined class loading | Gilad Bracha | 2002-08-06 |
| 6385722 | Method, system, and article of manufacture for limiting access to program files in a shared library file | David Connelly, Benjamin Renaud | 2002-05-07 |