Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7590978 | Inferring object invariant method and system | K. Rustan M. Leino | 2009-09-15 |
| 7559054 | Abstract interpretation with a congruence abstract domain and/or a heap succession abstract domain | K. Rustan M. Leino | 2009-07-07 |
| 7358882 | Video processing method and apparatus | Chia-Hsin Chen, Chiu-Yuan Lin | 2008-04-15 |
| 7183723 | PWM illumination control circuit with low visual noise for driving LED | Chung-Che Yu, Shih-Chung Huang | 2007-02-27 |