| 8930911 |
Execution difference identification tool |
Maxwell O. Drukman, Stephen Richard Lewallen |
2015-01-06 |
| 8423982 |
Speculative compilation |
Stephen Naroff, Matthew H. Austern, Fariborz Jahanian, Stan Jirman, P. Anders I. Bertelrud |
2013-04-16 |
| 8255876 |
Execution difference identification tool |
Maxwell O. Drukman, Stephen Richard Lewallen |
2012-08-28 |
| 8116179 |
Simultaneous viewing of multiple tool execution results |
Stephen Richard Lewallen, Maxwell O. Drukman |
2012-02-14 |
| 8086904 |
Event-based setting of process tracing scope |
Stephen Richard Lewallen, Maxwell O. Drukman |
2011-12-27 |
| 7877738 |
Speculative compilation |
Stephen Naroff, Matthew H. Austern, Fariborz Jahanian, Stan Jirman, P. Anders I. Bertelrud |
2011-01-25 |
| 6957334 |
Method and system for secure guaranteed transactions over a computer network |
Paul Rubin |
2005-10-18 |
| 6474544 |
Electronic vault for use in processing smart product transactions |
Rinaldo Salvatore Di Giorgio, Diana Neiman, Michael S. Bender |
2002-11-05 |
| 6378075 |
Trusted agent for electronic commerce |
Ronald Martinez, Paul Rubin |
2002-04-23 |
| 6341353 |
Smart electronic receipt system |
Gary Herman, Ronald Martinez |
2002-01-22 |
| 6216227 |
Multi-venue ticketing using smart cards |
Jonathan Ziegler |
2001-04-10 |
| 6138235 |
Controlling access to services between modular applications |
Efrem Lipkin |
2000-10-24 |
| 6131165 |
Permit for controlling access to services in protected memory systems |
Efrem Lipkin |
2000-10-10 |
| 5761511 |
Method and apparatus for a type-safe framework for dynamically extensible objects |
Jonathan J. Gibbons, Michael Day, Michael J. Jordan |
1998-06-02 |
| 5590331 |
Method and apparatus for generating platform-standard object files containing machine-independent code |
Brian T. Lewis |
1996-12-31 |
