| 6897851 |
Methods and apparatus for formatted entry of electronic ink |
Paul T. Keyser, Michael P. Perrone, David Sawin, Jeffrey S. Schaffer, Jayashree Subrahmonia |
2005-05-24 |
| 6456740 |
System and method for identifying form type in a handwriting recognition based form completion system |
Yi-Min Chee, Michael Karasick, Danny Soroker, Samuel Weber |
2002-09-24 |
| 5740443 |
Call-site specific selective automatic inlining |
— |
1998-04-14 |
| 5671419 |
Interprocedural data-flow analysis that supports recursion while only performing one flow-sensitive analysis of each procedure |
Michael G. Burke, Michael Hind |
1997-09-23 |
| 5535394 |
Methods for distinguishing dynamically allocated storage along different call paths and for providing a compact representation of alias analysis |
Michael G. Burke, Jong-Deok Choi |
1996-07-09 |
| 5485616 |
Using program call graphs to determine the maximum fixed point solution of interprocedural bidirectional data flow problems in a compiler |
Michael G. Burke, Jong-Deok Choi |
1996-01-16 |
