Issued Patents 2004
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 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 |