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